Difference between revisions of "Introdução Computacional à Lógica Matemática"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
 
(10 intermediate revisions by one other user not shown)
Line 1: Line 1:
* [[Lógica Proposicional]]
+
* [[Relação de consequência]]
* [[Lógica de Primeira Ordem]]
+
 
* [[Lógicas de Ordem Superior]]
+
* [[Lógica proposicional]]
 +
* [[Lógica de primeira ordem]]
 +
 
 +
* [[Sintaxe (lógica)]]
 +
* [[Formalismos dedutivos]]
 +
* [[Modelos (lógica)]]
  
 
== Para reflexão ==
 
== Para reflexão ==
Line 13: Line 18:
 
== Links externos ==
 
== Links externos ==
  
*
+
* [https://vitorgreati.me/experiments/logicwiki.html Visualização da estrutura da wiki]
 +
* [https://sites.google.com/site/sequiturquodlibet/courses/laac Lógica Aplicada à Computação]: material de estudos, livro didático, exercícios e exames-tipo

Latest revision as of 11:05, 23 July 2021