CIÊNCIA DA COMPUTAÇÃO

INTRODUÇÃO À LÓGICA COMPUTACIONAL

Ementa

Revisão de teoria de conjuntos e funções. Fundamentos das lógicas proposicional e de predicados. Fundamentos de álgebra Booleana e circuitos digitais combinatórios. Métodos de demonstração. Indução e recursão.

Código da disciplina: DCC638-DIG

Nome da atividade: INTRODUÇÃO À LÓGICA COMPUTACIONAL

Período letivo: 1

Tipo da atividade: obrigatória

Créditos: 4

Carga horária (horas):

Teórica Prática Total
60 0 60