Differences

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

--- 2018:introducao_a_logica_para_computacao [2020/03/05 14:36] – 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 10: / Line 14: @@
   * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/13.Provas/|Provas anteriores]]
   * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/|Materiais de Lógica para Computação]]
-  * Horário do(a) monitor(a) será enviado por email e estará no Mural do DAINF
+  * Horário do(a) monitor(a) está abaixo e estará no Mural do DAINF.
-  * Horários de atendimento do professor Adolfo Neto:  Terça 11h10. Local: a definir.
+    * BRUNO ROBERTO REIS ALVES - email bruno AT alunos.utfpr.edu.br
+      * Atendimento online
+  * Horários de atendimento do professor Adolfo Neto:  Terça 10h20. Local: Sala 8 do DAINF.
   * Datas importantes:
     * PROVA 1:
@@ Line 240: / 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]]