Introdução à Lógica Computacional

TIN0223 – Obrigatória – 60 horas –  4 créditos teóricos

Pré-requisitos: 

Ementa

Introdução à linguagem da lógica proposicional e sua relação com a algebra Booleana. Sistemas formais de dedução completos e corretos. Introdução à lógica de primeira ordem. Regras específicas de dedução para lógica. Os princípios da indução e aplicações. Definições e algoritmos recursivos. Princípios e técnicas de contagem combinatórias fundamentais.