Differences

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

--- 2018:introducao_a_logica_para_computacao [2020/03/12 14:04] – adolfont
+++ 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 11: / Line 15: @@
   * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/|Materiais de Lógica para Computação]]
   * Horário do(a) monitor(a) está abaixo e estará no Mural do DAINF.
-    * BRUNO ROBERTO REIS ALVES
+    * BRUNO ROBERTO REIS ALVES - email bruno AT alunos.utfpr.edu.br
-      * Terça-feira: 08:20 - 12:50 e 17:50 - 19:30
+      * Atendimento online
-      * Quarta-feira:  13:00 - 15:30
-      * Sexta: 09:10 - 12:50
-      * Local: Sala dos Monitores no DAINF
   * Horários de atendimento do professor Adolfo Neto:  Terça 10h20. Local: Sala 8 do DAINF.
   * Datas importantes:
@@ Line 245: / 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]]