Universidade Tecnológica Federal do Paraná

Diretoria de Graduação e Educação Profissional

Câmpus Cornélio Procópio
Planejamento das Atividades Pedagógicas Não Presenciais - APNP

Professor(a) Fábio Fernandes da Rocha Vicente

Departamento e Departamento Acadêmico de Computação (DACOM)
coordenação Coordenação de Engenharia de Software
Disciplina ES61G – LÓGICA PARA COMPUTAÇÃO (Matriz: 138)
Turma ES11
Data de início 19/02/2021 Data de término 21/05/2020
Total de horas/aula formatadas em APNP
Quantidade de
assíncronas: 55
Carga horária total da 69 semanas a serem
14
disciplina (hora/aula) trabalhadas no período
A integralizar: 0 horas
letivo de 2020-2

Plataforma meet da G – SUITE
Quantidade de Ambiente
14 https://meet.google.com/mow-rrsd-oha
horas/aulas síncromas Para o encontro

(50 minutos) síncrono

1) Plataforma Classroom da G – SUITE
https://classroom.google.com/c/MjcwNjgxMjk2ODgx?cjc=v5vrkw4

Quantidade de horas 55 Ambiente para aulas 2) Moodle institucional (banco de questões para estudo)
aulas assíncronas: assíncronas:
3) Acervo de livros digitais da UTFPR - Minha Biblioteca – Livros:
- https://integrada.minhabiblioteca.com.br/books/9788522483044
- https://integrada.minhabiblioteca.com.br/books/9788521633303

Atividades de permanência para atendimento ao aluno (PA)

Dia da semana Segunda-feira Quarta-feira Horário pré-

Horário 14h40 20h20 agendado
Ferramenta(s) a serem utilizadas para Plataforma meet da G – SUITE
atendimento síncrono aos alunos https://meet.google.com/mow-rrsd-oha

Atividades Síncronas
Agenda Carga
Horária
Número do
Data do semanal Conteúdo a ser trabalhado
Encontro Horário Síncrona
encontro
(horas/aula)
Introdução à lógica. Sistemas dicotômicos,
01 19/02/2021 [Sex]* 19h30
interruptores e conjuntos.
Proposições; Princípio da não-contradição; Princípio do
02 24/02/2021 [Qua]
terceiro excluído; Tabela verdade
Operações lógicas sobre proposições: negação,
03 03/03/2021 [Qua] conjunção; disjunção exclusiva; condicional;
bicondicional; contradição; contingência
04 10/03/2021 [Qua] Construção de Tabela verdade.
Lógica de predicados. Lógica de primeira ordem;
05 17/03/2021 [Qua]
quantificadores Universal e Existencial
1 hora/aula
06 24/03/2021 [Qua] 21h20 Lógica de predicados
31/03/2021 [Qua]* Avaliação 1
07 2h/aula
Técnicas dedutivas: prova direta, prova
08 07/04/2021 [Qua]
condicional,prova por redução ao absurdo
Teoremas e demonstrações informais; Métodos de
09 14/04/2021 [Qua]
prova
10 28/04/2021 [Qua] Linguagem Prolog; Sistemas lógicos
11 05/05/2021 [Qua] Linguagem e semântica
 Universidade Tecnológica Federal do Paraná
Diretoria de Graduação e Educação Profissional
Câmpus Cornélio Procópio
Planejamento das Atividades Pedagógicas Não Presenciais - APNP
12 12/05/2021 [Qua] Avaliação 2
13 19/05/2021 [Qua] Avaliação de recuperação
TOTAL de CH síncrona (em horas) 14

Atividades Assíncronas

Início da Carga Horária

Conteúdo
Semana semana (em h/aula)
Introdução à lógica. Sistemas dicotômicos, interruptores e
01 22/02/2021 4 conjuntos.

Proposições; Princípio da não-contradição; Princípio do terceiro
02 01/03/2021 4 excluído; Tabela verdade
Operações lógicas sobre proposições: negação, conjunção;
03 08/03/2021 4 disjunção exclusiva; condicional; bicondicional; contradição;
contingência
04 15/03/2021 4 Construção de Tabela verdade.
Lógica de predicados. Lógica de primeira ordem; quantificadores
05 22/03/2021 5 Universal e Existencial
Exercícios de revisão e recuperação de nota de todos os tópicos
06 29/03/2021 5 anteriores.
Técnicas dedutivas: prova direta, prova condicional,prova por
07 05/04/2021 4 redução ao absurdo

08 12/04/2021 4 Teoremas e demonstrações informais; Métodos de prova

09 19/04/2021 5 Teoremas e demonstrações informais; Métodos de prova

10 26/04/2021 4 Linguagem Prolog; Sistemas lógicos

11 03/05/2021 4 Linguagem Prolog; Sistemas lógicos

Linguagem e semântica
12 10/05/2021 4

13 17/05/2021 4 Revisão de todos os tópicos anteriores.

TOTAL de CH (em
55
horas)

Procedimentos de Avaliação
A avaliação da disciplina será composta da seguinte forma:
Atividades: toda semana uma atividade (questionário online no Moodle, resolução
Quantidade mínima de 02 de de lista de exercícios ou resumo de capítulo de livro ) deverá ser entregue.
Avaliações no período Avaliação síncrona: Combinação de resposta a questionário e avaliação oral (via
google Meet) com o professor.
(respeitando art. 35 do RODP)
Entrega das Atividades = 5 pontos.
Avaliações síncronas = 5 pontos.

Critérios para aprovação. Média >= 6 pontos