Lógica Computacional

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). Lecionei esta disciplina em 2019 para o bacharel de Sistemas de Informação do CEFET/RJ Campus Maria da Graça.

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. Abaixo tem os links que direcionam para a compra on-line, caso seja interessante para vocês (ao clicar nas imagens dos livros, você será direcionado para a Amazon).

 
 
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:

Lista de Exercícios:

Notas 2019.2 (P1):

Antônio Igor Sampaio – 8,0
Caio Ciriaco – 7,5
Caio Vinicius – 6,0
Douglas Bernardino – 7,0
Felipe Curcio – 9,5
Guilherme Ashton – 3,0
Igor Rodrigues – 7,0
Igor Araújo – 7,0
João Pedro – 10,0
João Victor – 6,0
João Wagner – 10,0
Lucas Cardoso – 3,0
Matheus Fonseca – 8,5
Maycon Pinto – 6,0
Miriam Amaral – 8,0
Pedro Henrique – 8,0
Sávio Suhett – 6,0
Thiago Barros – 6,0

0Shares