Introdução a Lógica para Computação

• Questionário sobre Semântica - Transposto para o Google Forms por Camila Miranda Marani

• 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.
• Livros da disciplina. Atenção: o livro Lógica para Computação teve sua segunda edição lançada em 2017.
• Playlist de vídeos de Lógica para Computação
• Provas anteriores
• 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 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 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): ??

• Ver 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.

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

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

• Plano de ensino: ver sistema acadêmico.
• Datas de provas e trabalhos: serão informadas com ao menos uma semana de antecedência.
• Livros da disciplina. Atenção: o livro Lógica para Computação teve sua segunda edição lançada em 2017.
• Playlist de vídeos de Lógica para Computação
• Provas anteriores
• 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.
• 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 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 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

• Ver 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.

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

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

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

• Plano de ensino: ver sistema acadêmico.
• Datas de provas e trabalhos: serão informadas com ao menos uma semana de antecedência.
• Livros da disciplina. Atenção: o livro Lógica para Computação teve sua segunda edição lançada em 2017.
• Playlist de vídeos de Lógica para Computação
• Provas anteriores
• Materiais de Lógica para Computação
• 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.

• Ver 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.

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

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

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

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

• Plano de ensino: ver sistema acadêmico.
• Datas de provas e trabalhos: serão informadas com ao menos uma semana de antecedência.
• Documento com links e comentários
• Livros da disciplina
• Playlist de vídeos de Lógica para Computação
• Provas anteriores
• Materiais de Lógica para Computação
• Horário da monitora Ianca Polizelo - Atendimento no DAINF
• 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.
• Notas Turma S71
• Notas Turma S73
• Formulário para dar número que permite ver notas

• Ver 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.

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

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

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

• Moodle 2018.1

• Projeto LogicaClassicaProposicional
• Introdução a Elixir

• Rules for Signed Analytic Tableaux for Classical Propositional Logic

• 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 para Provas e Trabalho

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