Differences

This shows you the differences between two versions of the page.

--- microblog_logica_para_computacao [2017/07/06 14:01] – adolfont
+++ microblog_logica_para_computacao [2020/11/19 11:42] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
   * The Gateway to Logic is a collection of web-based logic programs offering a number of logical functions (e.g. truth tables, normal forms, proof checking, proof building).[[https://logik.phl.univie.ac.at/~chris/gateway/]]. 6 de julho de 2017.
 {{::gateway.png?200|}}
-  * Paper que descreve algoritmo para sistemas axiomáticos. Generating hints and feedback for Hilbert-style axiomatic proofs. [[http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf]]. 6 de julho de 2017.
+  * Paper que descreve algoritmo para sistemas axiomáticos. E Sistema Tutorial Interativo (LOGAX) para dar dicas e feedback na construção de provas em sistemas axiomáticos. Generating hints and feedback for Hilbert-style axiomatic proofs. [[http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf]]. 6 de julho de 2017.