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.1 (Final):

César Júnior – 8,0 + 0,0 = 4,0
Cristian Madeira – 7,0 + 9,0 = 8,0
Wallace Vitor – 8,0 + 9,0 = 8,5
Marcos Saraiva – 8,0 + 8,0 = 8,0
Suély Moraes – 8,0 + 9,0 = 8,5
Vanessa Pais – 8,0 + 10 = 9,0
Mauricio – 9,0 + 9,0 = 9,0
Guilherme Espinati – 7,0 + 9,0 = 8,0
Daniel Campos – 8,0 + 9,0 = 8,5
Fernanda Muniz – 8,0 + 9,0 = 8,5
Leonardo de Landa – 8,0 + 8,0 = 8,0
Paulo Sérgio – 8,0 + 10 = 9,0
Felipe Verdan – 7,0 + 4,0 = 5,5
Yago Villar – 9,0 + 3,0 = 6,0
Mariana Lopes – 9,0 + 9,0 = 9,0

0Shares