Lógica Proposicional
Metateorema da dedução
Consistência
Corretude
Completude
Compacidade
Graig's interpolation lemma for propositional calculus
Lógica de primeira ordem
Consistência
Corretude
Completude
Indecidibilidade
Compacidade
Fwd: Indicação de entrevistadas para o Emílias Podcast - Mulheres na
Computação
-
---------- Forwarded message ---------From: Emílias Armação em Bits Date:
Sun, Jul 26, 2020, 10:52Subject: Indicação de entrevistadas para o Emílias
Podcas...
Há 3 anos
Nenhum comentário:
Postar um comentário