Ensino-Aprendizagem de Lógica para Computação

De Wiki DAINF
Edição feita às 07h34min de 16 de dezembro de 2009 por Adolfo (disc | contribs)
(dif) ← Versão anterior | ver versão atual (dif) | Versão posterior → (dif)


Principais dificuldades nas provas

  • Colocar e remover parênteses de fórmulas em lógica clássica proposicional


Assuntos facilmente assimilados

  • Tabelas-verdade