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