Plano de Ensino

IDENTIFICAÇÃO

EMENTA

Lógica Proposicional: linguagem, semântica, propriedades semânticas, métodos para determinação da validade de fórmulas, sistema axiomático, tableaux semânticos e resolução.

Lógica de Predicados: linguagem, semântica, propriedades semânticas, métodos para determinação da validade de fórmulas e programação lógica.

JUSTIFICATIVA

O pensamento lógico, o poder da notação matemática e a utilidade de abstrações constituem princípios básicos na formação do Engenheiro de Computação. Os estudantes precisam entender o raciocínio matemático a fim de ler, compreender e construir argumentos matemáticos.

OBJETIVO

PROGRAMA

Lógica Proposicional:

•           A linguagem da Lógica Proposicional,

•           A semântica da Lógica Proposicional,

•           Propriedades semânticas da Lógica Proposicional,

•           Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional,

•           Relações semânticas entre os conectivos da Lógica Proposicional,

•           Um sistema axiomático formal na Lógica Proposicional,

•           Tableaux semânticos na Lógica Proposicional,

•           Resolução na Lógica Proposicional.

Lógica de Predicados:

•           A linguagem da Lógica de Predicados,

•           A semântica da Lógica de Predicados,

•           Propriedades semânticas da Lógica de Predicados,

•           Programação Lógica.

METODOLOGIA

Técnicas de ensino que serão utilizadas: Aulas expositivas (síncronas - 25 horas) , vídeos expositivos e estudos dirigidos (assíncronos 20 horas - sendo 15 horas práticas).

Recursos didáticos: Software Microsoft Teams para aulas expositivas, Vídeos temáticos e Estudos dirigidos orientados.

Horário de Atendimento aos estudantes:

Segunda-feira 9:00 - 10:00 (Software Microsoft Teams)

Cronograma previsto para desenvolvimento do conteúdo:

Lógica Proposicional:

(1a semana)

•           A linguagem da Lógica Proposicional,

(2a semana)

•           A semântica da Lógica Proposicional,

(3a semana)

•           Propriedades semânticas da Lógica Proposicional,

(4a semana)

•           Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional,

(5a semana)

•           Relações semânticas entre os conectivos da Lógica Proposicional,

(6a semana)

•           Um sistema axiomático formal na Lógica Proposicional,

(7a semana)

•           Tableaux semânticos na Lógica Proposicional,

(8a semana)

•           Resolução na Lógica Proposicional.

Lógica de Predicados:

(9a e 10a semanas)

•           A linguagem da Lógica de Predicados,

(11a semana)

•           A semântica da Lógica de Predicados,

(12a  e 13a semanas)

•           Propriedades semânticas da Lógica de Predicados,

(14a e 15a semanas)

•           Programação Lógica.

AVALIAÇÃO

As avaliações serão constituídas de 9 (nove) trabalhos, cada oito deles com valor de 10 (dez) pontos e um tralho final com valor 20 pontos, que serão realizados nas seguintes datas correspondentes às semanas:

• 2ª semana: PRIMEIRA AVALIAÇÃO 

• 3ª semana: SEGUNDA AVALIAÇÃO

• 4ª semana: TERCEIRA AVALIAÇÃO

• 5ª semana: QUARTA AVALIAÇÃO

• 6ª semana: QUINTA AVALIAÇÃO

• 8ª semana: SEXTA AVALIAÇÃO

• 10ª semana: SÉTIMA AVALIAÇÃO

• 11ª semana: OITAVA AVALIAÇÃO

• 13ª semana: NONA AVALIAÇÃO

• 14ª e 15ª semanda: DÉCIMA AVALIAÇÃO (trabalho final) (20 pontos)

BIBLIOGRAFIA

Básica

1. SOUZA, J. N., Lógica para Ciência da Computação, Editora Campus, ISBN 9788535229615, ano 2008.

2. KENNETH H. ROSEN, Matemática discreta e suas aplicações. 6ª Edição, São Paulo: McGraw-Hill, 2009. ISBN: 9788577260362.

3. GERSTING, JUDITH L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta. 5ª ed. Rio de Janeiro: LTC - Livros Técnicos e Científicos, 2004. ISBN 9788521614227.

Complementar

1. MENEZES, PAULO BLAUTH. Matemática discreta para computação e informática. 2. ed. Porto Alegre: Sagra Luzzatto, 2008. ISBN 8524106913.

2. GRAHAM, RONALD L.; KMUTH, Donald E.; PATASHNIK, Oren. Matemática concreta: fundamentos para a ciência da computação. Rio de Janeiro: LTC, c1995. 475 p. ISBN 9788521610403.

3. MENDELSON, E.,  Introduction to Mathematical Logic, Wadsworth and Brook, 1987.

4. ENDERTON, H. B.,  A Mathematical Introduction to Logic, Academic Press, 1972.

5. C. CHANG, R. LEE, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.

6. MANNA, Z., WALDINGER, R., The Logical Basis for Computer Programming, Vol. 1, Addison Wesley, 1985.

7. MANNA, Z., WALDINGER, R., The Logical Basis for Computer Programming, Vol. 2, Addison Wesley, 1990.

APROVAÇÃO

Aprovado em reunião do Colegiado realizada em: ____/____/______

Coordenação do Curso de Graduação: _________________________

---

Documento assinado eletronicamente por Marcelo Rodrigues de Sousa, Professor(a) do Magistério Superior, em 11/07/2021, às 19:15, conforme horário oficial de Brasília, com fundamento no art. 6º, § 1º, do Decreto nº 8.539, de 8 de outubro de 2015.

---

A autenticidade deste documento pode ser conferida no site https://www.sei.ufu.br/sei/controlador_externo.php?acao=documento_conferir&id_orgao_acesso_externo=0, informando o código verificador 2897744 e o código CRC 4AFE780D.

---