Matemática computacionalAs Tabelas-Verdade fornecem um teste rigoroso e completo para a validade ou invalidade de formas de argumento da Logica Proposicional, alem de se constituir em um algoritmo. Quando existe um algoritmo que determina se as formas de argumento expressaveis num sistema formal sao validos ou n~ao, esse sistema e dito decidvel. Desta forma, eles […]
Mais uma prática do RUP: usar arquiteturas baseadas em componentes. Aqui é de fundamental importância que se entenda o conceito de arquitetura de software. Da Wikipédia podemos tirar: A arquitetura de software de um sistema consiste na definição dos componentes de software, suas propriedades externas, e seus relacionamentos com outros softwares. Basicamente é como o seu sistema está construído, é a […]