rodolfoams/logica-unifacisa

Project for hosting materials useful to teach Computer Logic Fundamentals

Fundamentos Lógicos da Computação

Projeto com material de suporte à disciplina de Fundamentos Lógicos da Computação da Unifacisa.

Organização da Disciplina

A disciplina é subdividida em três unidades:

• Lógica Proposicional;
• Lógica de Predicados de Primeira Ordem;
• Circuitos Lógicos.

O material de suporte é encontrado e detalhado em seus respectivos diretórios.