Differences

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

--- 2018:introducao_a_logica_para_computacao [2020/11/19 11:42] – external edit 127.0.0.1
+++ 2018:introducao_a_logica_para_computacao [2021/07/23 17:13] (current) – [2021.2] adolfont
@@ Line 1: / Line 1: @@
 ====== Introdução a Lógica para Computação ======
+===== 2021.1 =====
+  * [[https://docs.google.com/forms/d/e/1FAIpQLScTLR4TJjwU2fM0vyMGDqINnh_f0rZyDxy7EfXzGTVJin5d-A/viewform?usp=sf_link|Questionário sobre Semântica]] - Transposto para o Google Forms por Camila Miranda Marani
 ===== 2020.1 =====
@@ Line 242: / Line 246: @@
 ===== Tablôs Analíticos =====
-  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/MateriaisPorAssunto/4.SistemasDedutivos/4.1.TablosAnaliticos/SignedAnalyticTableaux.pdf|Rules for Signed Analytic Tableaux for Classical  Propositional Logic]]
+  * [[https://drive.google.com/file/d/1fFTp9tx80296sEOMbANbhL1K9i4CDayo/view?usp=sharing|Rules for Signed Analytic Tableaux for Classical  Propositional Logic]]