Sistemas de Informação - Bacharelado - Turno Integral (V/N) 210 |
Disciplina
Introdução à Lógica Computacional ( TIN0223 ) |
Unidade
Departamento de Informática Aplicada |
|
Tipo
Obrigatória |
Período Ideal no Curso
2 |
Nota Mínima para Aprovação
5.0 |
Carga Horária
60 |
Nº de Créditos
4 |
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.