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
 
(5 intermediate revisions by one other user not shown)
Line 1: Line 1:
 
* [[Relação de consequência]]
 
* [[Relação de consequência]]
  
* [[Lógica Proposicional]]
+
* [[Lógica proposicional]]
* [[Lógica de Primeira Ordem]]
+
* [[Lógica de primeira ordem]]
* [[Lógicas de Ordem Superior]]
 
  
 
* [[Sintaxe (lógica)]]
 
* [[Sintaxe (lógica)]]
Line 20: Line 19:
  
 
* [https://vitorgreati.me/experiments/logicwiki.html Visualização da estrutura da wiki]
 
* [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