Centro de Ciências Agrárias - UFES

Notícias

Em breve: Horários de Monitoria de Lógica I

 

Lógica Computacional I

Programa_da Disciplina

Lista de exercícios 1

Lista de exercicios 2

Lista de exercicios 3

 

Exercício - 23/03/16

Exercicio Avaliativo_

Notas

Notas (atualizado 06/07/16)

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.

http://www.brian-borowski.com/Software/Truth/

Links interessantes

Teste de QI de Einsteina

Procurar no site

© 2011 Todos os direitos reservados.