|
Acadêmico(a): Michele Milane Tambosi |
Título: Interpretador de Fórmulas do Cálculo Proposicional |
|
Resumo: |
Este trabalho apresenta o desenvolvimento de um interpretador de fórmulas do cálculo proposicional que pode ser utilizado pelos acadêmicos da disciplina de Lógica para Computação do Curso de Ciências da Computação da Universidade Regional de Blumenau, com o objetivo de facilitar a compreensão da teoria estudada. O acadêmico poderá utilizar a ferramenta para escrever fórmulas ou argumentos do cálculo proposicional, verificando a sintaxe e validade dos mesmos. Para o desenvolvimento desta ferramenta foram empregados princípios e técnicas de construção de compiladores. |
|
|