08/04/2024, 21:06 RM Portal Versão 12.1.2306.

223
Usuário: MARIA CRISTINA ARANDA | Coligada: 1 - FUMEP Fale Conosco Ambiente Sair

Início Educacional Professor Plano de aula

Aula Data Início Término Conteúdo previsto Conteúdo realizado Tipo de Aula Reposição Aula Online

Professor Apresentação da Apresentação da

1 01/03/2024 21:10 21:55 Teórica Editar
disciplina disciplina
Diário de classe
Exemplos de uso da Exemplos de uso da
Disp. de horários lógica no mundo real lógica no mundo real e
2 01/03/2024 21:55 22:40 Teórica Editar
Quadro de horários e na ciência da na ciência da
computação computação
Compl. de disciplina
Sentenças,
TCC 3 08/03/2024 21:10 21:55 Proposições proposições, Teórica Editar
URL's externas enunciados
Sentenças,
4 08/03/2024 21:55 22:40 Proposições proposições, Teórica Editar
enunciados
Representação de
Representações
5 15/03/2024 21:10 21:55 enunciados, frases Teórica Editar
simbólicas
declarativas
Proposições:
Conectivos lógicos e,
6 15/03/2024 21:55 22:40 significado dos Teórica Editar
ou e negação
conectivos lógicos
Cálculo proposicional
através de árvores
7 22/03/2024 21:10 21:55 Teórica Editar
semânticas e tabelas
verdade
Exercícios com
tabelas verdade
8 22/03/2024 21:55 22:40 aplicando os Prática Editar
conectivos not, and,
or, if...then
Cálculo proposicional:
9 05/04/2024 21:10 21:55 condicional e bi Teórica Editar
condicional
Exercícios: condicional
10 05/04/2024 21:55 22:40 Prática Editar
e bi condicional

11 12/04/2024 21:10 21:55 Tautologia Teórica Editar

Contradição e
12 12/04/2024 21:55 22:40 Teórica Editar
Contingência

13 19/04/2024 21:10 21:55 Exercícios para prova Prática Editar

14 19/04/2024 21:55 22:40 Exercícios para prova Prática Editar

Prova 1: valendo 40%

15 26/04/2024 21:10 21:55 Prática Editar
da nota
Prova 1: valendo 40%
16 26/04/2024 21:55 22:40 Prática Editar
da nota
Argumentos,
17 03/05/2024 21:10 21:55 Teórica Editar
linguagem e alfabeto
Regras de lógica
18 03/05/2024 21:55 22:40 Teórica Editar
proposicional
Propriedades
semânticas
19 10/05/2024 21:10 21:55 Teórica Editar
satisfatível e
insatisfatível.
Avaliação Institucio
Métodos de validação
de fórmulas: árvores
Relatórios â é ó di

https://www4.fumep.edu.br:8443/Corpore.Net/Main.aspx?ActionID=EduDiarioClasseActionWeb&Cabecalho=2024%2f01+-+EEP+-+CI%u00caN… 1/1