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 Proposicionalproposicional]]* [[Lógica de Primeira Ordemprimeira ordem]] * [[Sintaxe (lógica)]]* [[Lógicas de Ordem SuperiorFormalismos dedutivos]]* [[Modelos (lógica)]]
== Para reflexão ==
== 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
