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 Ordem]]* [[Lógicas de Ordem Superiorprimeira ordem]]
* [[Sintaxe (lógica)]]
== 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
