Notícias
Em breve: Horários de Monitoria de Lógica I
Lógica Computacional I
Exercício - 23/03/16
Notas
Ferramentas de Apoio a Disciplina
Construtor de Tabela Verdade: Software que permite gerar tabelas verdade para as fórmulas da lógica proposicional. Para que o software possa ser executado é necessário que o computador tenha o Java (JRE) instalado. No endereço abaixo é possível fazer o download do código fonte do software ou executá-lo diretamente do site clicando em Start Truth Table Constructor.
https://www.brian-borowski.com/Software/Truth/