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

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
m
Tag: 2017 source edit
 
(3 intermediate revisions by one other user not shown)
Line 3: Line 3:
 
* [[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