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. 

Esta playlist está disponível no nosso canal do YOUTUBE! Siga nossa página para não perder nenhum conteúdo. 

Playlist completa



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.

Curso de lógica matemática para a POSCOMP Curso de lógica matemática para a POSCOMP Reviewed by Vinicius dos Santos on 11:16:00 Rating: 5

Nenhum comentário

Escreve ai sua opinião!