Prof. Adolfo Neto (DAINF-UTFPR)

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== 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 =====


  * Plano de ensino: ver sistema acadêmico.
  * 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 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 importantes:
    * PROVA 1: 12/09 
    * PROVA 2: 31/10
    * [[:Trabalho sobre Lógica de Predicados|Trabalho 3, sobre Lógica de Predicados]]
      * 14/11: sintaxe e tempo para fazer trabalho
      * 21/11: semântica e tempo para fazer trabalho
      * 28/11: tempo para fazer trabalho e/ou apresentar
      * Apresentações até 04/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

==== 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. 

  



==== Roteiros de Aula ====

  * [[Aula sobre Introdução a Lógica]]
  * [[Aula sobre Lógica Clássical Proposicional - Sintaxe]]



===== 2019.1 =====


  * Plano de ensino: ver sistema acadêmico.
  * 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]]
  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/dokuwiki/lib/exe/fetch.php?media=2018:horariomonitoria20191.png|Horário da monitora Maria Fernanda Azolin - Atendimento no DAINF]] e pelo email azolin AT alunos.utfpr.edu.br.
  * Horários de atendimento do professor Adolfo Neto:  Qua 13h00-13h50 e 15h30-16h20. Preferencialmente agendar atendimento por email. Mas, se não der tempo, simplesmente apareça na Sala 8 do DAINF.



==== 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. 

== Final ==


  * Caso, mesmo após o recálculo da média com as substitutivas, a média seja inferior a 6, o aluno poderá fazer a Prova Final (PF) e o cálculo da média será: média = max(PF*0,4 + média anterior*0,6, 6). Portanto, para fazer a final o aluno deverá ter média igual ou superior a 3. 
  * Caso o aluno tenha média antes da final superior a 4,5 e tire 7 ou mais na final, sua média será 6.  



==== Roteiros de Aula ====

  * [[Aula sobre Introdução a Lógica]]
  * [[Aula sobre Lógica Clássical Proposicional - Sintaxe]]


===== 2018.2 =====

  * Plano de ensino: ver sistema acadêmico.
  * Datas de provas e trabalhos: serão informadas com ao menos uma semana de antecedência.
  * [[http://bit.ly/2MgKyR2|Documento com links e comentários]] 
  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/LivrosLogicaParaComputacao.pdf|Livros da disciplina]]
  * [[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]]
  * {{:2018:2018_2_iancapolizelo.pdf|Horário da monitora Ianca Polizelo - Atendimento no DAINF}}
  * {{:2018:planilha_de_horarios_monitores_2018-2_alunos_.pdf|Horário de atedimento de todos os monitores do DAINF}}
  * Horários de atendimento do professor Adolfo Neto: Seg 15h50-16h40, Qua 11h10-12h00, Qui 12h00-12h50. Agendar por email.
  * [[https://docs.google.com/spreadsheets/d/e/2PACX-1vRIFfwOWPbwkhTICs3K5vG4er_kTZBhWY3TuGK9KU13ZYmSv09JXJRCc-VrJmAnvpoJIoZdRbde0KWn/pubhtml|Notas Turma S71]]
  * [[http://bit.ly/2DLcwjX|Notas Turma S73]]
  * [[https://goo.gl/forms/xlNLBMvR76GVy8Xw1|Formulário para dar número que permite ver notas]]





===== 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). 

  * 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.

=== Final ===


  * Caso, mesmo após o recálculo da média com as substitutivas, a média seja inferior a 6, o aluno poderá fazer a Prova Final (PF) e o cálculo da média será: média = PF*0,4 + média anterior*0,6. Portanto, para fazer a final o aluno deverá ter média igual ou superior a 3. 



===== 2018.1 =====


  * [[http://moodle.dainf.ct.utfpr.edu.br/course/view.php?id=447|Moodle 2018.1]]

===== Desenvolvimento em Elixir com Testes =====

  * [[https://github.com/adolfont/logica_classica_proposicional|Projeto LogicaClassicaProposicional]]
  * [[2018:introducao_a_elixir|Introdução a Elixir]]


===== Tablôs Analíticos =====

  * [[https://drive.google.com/file/d/1fFTp9tx80296sEOMbANbhL1K9i4CDayo/view?usp=sharing|Rules for Signed Analytic Tableaux for Classical  Propositional Logic]]


===== Avaliação  =====


  * Duas provas (P1, P2) e um trabalho ou prova (P3)
  * A nota da P3 respeitará as seguintes condições:
    * Se P1>=6 e P2>=6, será a nota do trabalho ou da prova 3 (P3) 
    * Senão, P3 = média ((P1+P2)/2, P3)
  * A média será a média aritmética das três notas.
  * O aluno pode fazer prova para substituir P1 ou P2.


  * Caso a média ainda assim seja inferior a 6, o aluno poderá fazer a Prova Final (PF) e o cálculo da média será: média = PF*0,4 + média anterior*0,6. 


Ver [[:guias_de_estudo|Guias de Estudo para Provas e Trabalho]]

===== Textos adcionais =====

  * [[Aplicações de Lógica na Computação]]
  * [[Materiais sobre Lógica do Professor Jair Donadelli (UFABC)]]