Differences

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

--- 2018:introducao_a_logica_para_computacao [2019/11/14 14:08] – [2019.2] 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 =====
+  * Plano de ensino: ver sistema acadêmico.
+  * Links: http://bit.ly/LogicaNotas
+  * Datas de provas e trabalhos: serão informadas com ao menos uma semana de antecedência.
+  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/LivrosLogicaParaComputacao.pdf|Livros da disciplina]]. Atenção: o livro [[http://www.cengage.com.br/ls/9788522127184/|Lógica para Computação]] teve sua segunda edição lançada em 2017.
+  * [[https://www.youtube.com/playlist?list=PLF5ttO8F-IsRGv0ad2ckPPpJALPG5N7jp|Playlist de vídeos de Lógica para Computação]]
+  * [[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) está abaixo e estará no Mural do DAINF.
+    * 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:
+    * PROVA 2:
+    * [[:Trabalho sobre Lógica de Predicados|Trabalho 3, sobre Lógica de Predicados]]
+      * ??: sintaxe e tempo para fazer trabalho
+      * ??: semântica e tempo para fazer trabalho
+      * ??: tempo para fazer trabalho e/ou apresentar
+      * Apresentações até ??????
+        * Escolher data/horário em [[https://gist.github.com/adolfont/363b36ace3b8ba245b143e576e31649c|agenda]] e comentar para reservar.
+    * Prova 3 (e Recuperação das Provas 1 e 2 para quem quiser antecipar): ??
+    * Recuperação das Provas 1 e 2: ??
+    * Último dia (para ajustes): ??
+==== Avaliação  ====
+  * Ver [[:guias_de_estudo|Guias de Estudo para Provas e Trabalho]] para saber os conteúdos das provas.
+  * Inicialmente, acontecerão duas provas escritas: a Prova 1 (P1) e a Prova 2 (P2). Estas provas poderão ser substituídas por trabalhos de implementação a serem definidos pelo professor.
+  * Para a terceira nota, o aluno deverá fazer um trabalho (T3) que será avaliado pelo professor através de uma entrevista.
+    * Nos casos em o professor não conseguir entrevistar um aluno, ou no caso de o aluno não conseguir entregar o trabalho,  o aluno deverá fazer a Prova escrita 3 (P3).
+  * Portanto, há uma Nota 3 (N3) que será calculada da seguinte forma:
+    * Se o aluno fez o trabalho e foi entrevistado:
+      * Se P1>=6 e P2>=6, N3 = T3
+      * Senão, N3 = mínimo(T3, média(P1, P2, T3))
+    * Se o aluno não fez o trabalho ou não foi entrevistado:
+      * O aluno deverá fazer uma Prova 3 (P3) e N3 = P3.
+=== Cálculo da Média ===
+  * A média será a média aritmética das três notas (P1, P2 e N3). Se a média for igual ou superior a 6, a aluna estará aprovada.
+=== Substitutivas ===
+  * O aluno pode fazer uma prova substitutiva para substituir a nota P1 se a nota P1 for inferior a 6.  A nova nota P1 não poderá ser superior a 6. Exemplo: o aluno faz a P1 e tira 3. Faz a substututiva da P1 e tira 7. Sua nota na P1 será 6. Se fizer a substitutiva e tirar 2, continuará com o 3.
+    * O mesmo acima vale para a P2. O aluno poderá fazer as duas substitutivas no mesmo dia.
+  * IMPORTANTE: Para os que fizerem a prova substitutiva, a nota máxima será 6.
 ===== 2019.2 =====
@@ Line 10: / Line 72: @@
   * [[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]]
-  * FIXME Horário de monitoria
+  * Horário da monitora Meika foi enviado por email e está no Mural do DAINF
   * Horários de atendimento do professor Adolfo Neto:  Seg 15h50-16h40 e Qua 16h40-17h30. Local: DAINF, Sala 8.
   * [[2019:Alunas e alunos que participaram dos eventos referentes ao Ada Lovelace Day 2019 do Grupo Emílias - Armação em Bits]]
-  * Datas de provas:
+  * Datas importantes:
     * PROVA 1: 12/09
     * PROVA 2: 31/10
@@ Line 21: / Line 83: @@
       * 28/11: tempo para fazer trabalho e/ou apresentar
       * Apresentações até 04/12/2019
-    * Prova 3: 05/12/2019
+        * Escolher data/horário em [[https://gist.github.com/adolfont/363b36ace3b8ba245b143e576e31649c|agenda]] e comentar para reservar.
+    * Prova 3 (e Recuperação das Provas 1 e 2 para quem quiser antecipar): 05/12/2019
     * Recuperação das Provas 1 e 2: 12/12/2019
     * Último dia (para ajustes): 19/12/2019
@@ Line 183: / 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]]
@@ Line 205: / Line 268: @@
   * [[Aplicações de Lógica na Computação]]
+  * [[Materiais sobre Lógica do Professor Jair Donadelli (UFABC)]]