2018:introducao_a_logica_para_computacao
Table of Contents
Introdução a Lógica para Computação
2021.1
- 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.
- Livros da disciplina. Atenção: o livro Lógica para Computação teve sua segunda edição lançada em 2017.
- 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:
-
- ??: 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): ??
Avaliação
- 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.
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.
- Livros da disciplina. Atenção: o livro Lógica para Computação teve sua segunda edição lançada em 2017.
- 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.
- Datas importantes:
- PROVA 1: 12/09
- PROVA 2: 31/10
-
- 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
Avaliação
- 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.
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
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.
- Livros da disciplina. Atenção: o livro Lógica para Computação teve sua segunda edição lançada em 2017.
- 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 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
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.
- Horários de atendimento do professor Adolfo Neto: Seg 15h50-16h40, Qua 11h10-12h00, Qui 12h00-12h50. Agendar por email.
Avaliação
- 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.
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
Desenvolvimento em Elixir com Testes
Tablôs Analíticos
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.
Textos adcionais
2018/introducao_a_logica_para_computacao.txt · Last modified: 2021/07/23 17:13 by adolfont