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.