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
* [[Sintaxe da Lógica Relação de Primeira Ordem]]* [[Sistemas dedutivos para a Lógica Clássica de Primeira Ordem]]* [[Semântica formal para a Lógica Clássica de Primeira Ordemconsequência]]
* [[Lógica proposicional]]* [[Lógica de primeira ordem]] * [[Sintaxe da Lógica Proposicional(lógica)]]* [[Sistemas Formalismos dedutivos para a Lógica Clássica Proposicional]]* [[Semântica formal para a Lógica Clássica ProposicionalModelos (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
