Plano de Aula Lógica Matemática

Lógica Matemática                

Maysa Macedo

Centro Federal de Educação Tecnológica Celso Suckow da Fonseca – CEFET-RJ

[e-mail]

Resumo. Documento contendo a ementa, cronograma e critério de avaliação da disciplina de Lógica Matemática do 1º período do curso de Sistemas para Internet/ Ciência da Computação cuja carga horária é de 72 horas.

1. Ementa

Lógica Formal. Introdução à Álgebra Booleana. Programação em lógica.

1. Objetivos

Capacitar o aluno ao processo de raciocínio lógico necessário para a solução de problemas de forma algorítmica, e habilitá-lo a reproduzir esta solução valendo-se de uma linguagem de programação estruturada.

1. Conteúdo Programático/Plano de Unidades Didáticas

1.Lógica Proposicional e de 1ª ordem

1.1.Princípios da Lógica formal

1.2.Sentenças, representação simbólica, tautologia

1.3.Cálculo proposicional

1.4.Relação de recorrência, quantificadores, predicados e validade

1.5.Cálculo de predicados

2. Introdução à Álgebra Booleana

2.1.Expressões booleanas

2.2.Minimização algébrica de expressões

2.3.Aplicações em circuitos digitais

3. Programação Lógica

3.1.A linguagem Prolog básica

3.2.A linguagem Prolog estendida

3.3.Exemplos de uso de Prolog

1. Plano de curso

Data	Semana	Assunto
02-06set	1	Introdução Trabalho sobre dois estudiosos da Lógica
09-13set	2	Conectivos lógicos – tabela verdade Simbolização (linguagem natural para linguagem simbolizada com conectivos lógicos) Exercício
16-20set	3	Tautologia e Contradição – Tabela de Equivalência lógica, Iniciação à dedução.
23-27set	4	Prova 01
01-04out	5	Cálculo proposicional (tabela de Equivalência e de Inferência)
07-11out	6	Cálculo proposicional – Validade (exercício)
14-18out	7	Quantificadores e predicados
21-25out	8	Quantificadores e predicados Validade
28-31out	9	Cálculo de predicados - Dedução
04-08nov	10	Cálculo de predicados - Exercícios
11-15nov	11	Programação Lógica - Prolog
18-22nov	12	Programação Lógica  - Exercícios
25-29nov	13	Álgebra de Boole – Portas lógicas, Normalização
02-06dez	14	Álgebra de Boole – Expressões algébricas
09-13dez	15	Álgebra de Boole – Minimização algébrica e Aplicação em circuitos digitais
16-20dez	16	Prova 2
06-10jan	17	Revisão de Prova
13-17jan	18	Prova Substitutiva
20-25jan	19	Prova Final

1. Avaliações

(Faltas acima de 25% do número de aulas) → Reprovado por falta

Prova Substitutiva:

só para alunos que não fizeram a primeira prova ou a segunda prova.

...