Advertisement

Curso de lógica matemática para a POSCOMP


A POSCOMP tem como objetivo avaliar o desempenho do aluno na graduação na área de Tecnologia da Informação. Neste curso apresentamos a você uma playlist completa de todos os assuntos cobrados na POSCOMP. 


Lógica Matemática
1
Lógica Proposicional e de Predicados.

2
Linguagem Proposicional e de Primeira Ordem.
3
Sistemas Dedutivos.
4
Tabelas Verdade e Estruturas de Primeira Ordem.
5
Relações de Consequência.
6
Corretude.
7
Completude.
8
Compacidade.
9
Lowemhein-Skolem.
10
Decidibilidade.
11
Prova Automática de Teoremas.

Nenhum comentário

Conta pra mim sua opinião!

Fale comigo