Differences

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

--- 2018:introducao_a_logica_para_computacao [2020/03/05 11:58] – 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.
-  * Canal no Telegram: https://t.me/joinchat/AAAAAFKSJh1L-N7-v5rQMA
+  * 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.
@@ 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 24: / Line 30: @@
     * 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.
@@ Line 209: / 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]]