205
edits
Changes
Jump to navigation
Jump to search
m
* [[Lógicas de ordem superior]]
Introdução Computacional à Lógica Matemática (view source)
Revision as of 11:05, 23 July 2021
, 11:05, 23 July 2021no edit summary
* [[Lógica proposicional]]
* [[Lógica de primeira ordem]]
* [[Sintaxe (lógica)]]
* [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
