Lógica para Computação
|
VOLTAR |
Avisos
|
|
Informações
sobre o Curso
|
Objetivo:
Dominar
os conceitos lógicos fundamentais de dedução e validade, correção e
completude do Cálculo Proposicional e de Predicados. Entender e aplicar
os conceitos da lógica proposicional e de predicados naconstrução do
raciocínio utilizado pelo computador em um software.
|
Programa,
Bibliografia e Sistema de Curso: LINK
|
Avaliações
- Primeira
Avaliação (30,0 pontos): 17/04/2020
- Segunda
Avaliação (30,0 pontos): 28/05/2020
- Terceira
Avaliação
(40,0 pontos): 25/06/2020
- Prova
Final (100 pontos): 09/07/2020.
- A prova
final poderá ser feita por alunos que ficaram com média entre 50 e 59,
ou por alunos que perderam alguma das provas durante o semestre. No
último caso, o valor da prova será o mesmo valor da prova perdida, e o
aluno não terá direito a outra prova substitutiva;
- A prova
valerá 100 pontos, e o aluno deverá fazer 60 pontos para ser aprovado;
- Caso o
aluno seja aprovado na prova final, sua nota final será 60 pontos,
independente da nota tirada nesta última prova, salvo quando o aluno
fizer a prova para substituir alguma prova perdida durante osemestre.
|
Horário de Atendimento: Sextas, das 9:00 às 12:00 - Sala
1B131 (Sob agendamento prévio, com pelo menos 24 horas de antecedência).
|
|
Monitoria
|
|
|
Notas
|
|
|
Aulas
|
00 - Lógica para Computação - Introdução: LINK
01 - Lógica Proposicional - Sintaxe: LINK
|
|
Exercícios
|
|
|
Diversos
|
|
VOLTAR |