|
Acadêmico(a): Michele Milane Tambosi |
Título: Interpretador de Fórmulas do Cálculo Proposicional |
|
Abstract: |
This work presents the development of a formula interpreter of the propositional calculation that can be used by the academics of disciplines of Logic for Computation of the Computer Science Course of the Universidade Regional de Blumenau, with the objective to facilitate the understanding of the studied theory. The academic will be able to use the tool to write formulas or arguments of the propositional calculation, verifying the syntax and validity of the same ones. For the development of this tool, principles and techniques of compilers construction had been used.
|
|
|