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

Última oferta: 2024/1