205
edits
Changes
Jump to navigation
Jump to search
m
Introdução Computacional à Lógica Matemática (view source)
Revision as of 11:05, 23 July 2021
, 11:05, 23 July 2021no edit summary
* [[Relação de consequência]] * [[Lógica proposicional]]* [[Lógica de primeira ordem]] * [[Sintaxe (lógica)]]* [[Formalismos dedutivos]]* [[Modelos (lógica)]] == Para reflexão == * == Veja também == * == 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 Primeira Ordem]]estudos, livro didático, exercícios e exames-tipo
