A disciplina de Lógica Computacional é uma das disciplinas básicas dos cursos e computação, sistemas e informação e afins em seus diversos níveis possíveis (técnico, graduação e pós-graduação). Sobre a bibliografia recomendada, sugiro os seguintes livros como material de referência e de apoio. Alguns indico para sala de aula e outros podem ter uma linguagem mais apropriada para concursos públicos.
Essa disciplina é introdutória para lógica computacional e cobre as definições de argumentos dedutivos e indutivos, axiomas ou postulados, os postulados clássicos, os conectores lógicos, tabela verdade, tableaux semântico. Em seguida, entramos em tautologia e satisfatibilidade para seguir para as regras de inferências, procedimento de refutação, Conjunctive Normal Form (CNF) e forma clausal.
Diversos materiais para auxílio no estudo para a disciplina e para concursos poderão ser encontrados a seguir:
Roteiro para Estudos On-Line:
Conteúdo:
Lista de Exercícios:
Tabela Verdade, Equivalências, Satisfatibilidade e Validade - CNF, Resolução e DPLL
- Tabela de Consulta para as Provas
- Seminários I
- Seminários II
