Curso de Lógica

Obs: O conteúdo deste curso encontra-se em forma de apostila e pode ser baixado através do
link " Downloads" da página principal.


Índice:

I-Introdução

II- Lógica Clássica Proposicional

1- Linguagem
2- Semântica
 3- Sistemas Dedutivos
   3.1. Dedução Natural
   3.2. Provador Automático de Teoremas
   3.3. Método Axiomático
4- Relações entre Sintaxe e Semântica
III- Lógica Clássica de Primeira Ordem
1- Linguagem
2- Sistemas Dedutivos
  2.1. Dedução Natural
  2.2 Método Axiomático
3- Semântica
4- Relação entre Sintaxe e Semântica

 

Motivação Prática:

 

 

Livros:


Voltar à página principal