Carga horária da disciplina: 4 horas/aula

Professor(es) em 2024-2

Turma 21	Professor: Ivair Ramos Silva - e-mail Horários: Segunda-feira (13h30 - 15h10) Quarta-feira (13h30 - 15h10)
Turma 22	Professor: Guilherme Augusto Anício Drummond do Nascimento - e-mail Horários: Segunda-feira (10h10 - 11h50) Quarta-feira (10h10 - 11h50)

Objetivos

Ao final do curso o aluno deverá ter entendido os conceitos básicos de Lógica Clássica, Indução e Recursão e saber utilizar esses conceitos na prova de teoremas e na especificação e prova de propriedades de algoritmos.

Ementa

Introdução à Teoria de Conjuntos: definições de conjuntos, operações sobre conjuntos, cardinalidade de conjuntos; funções: conceitos básicos, composição, funções recursivas; Lógica Proposicional e Lógica de Predicados: sintaxe, semântica e sistema de dedução; estratégias de prova e indução e recursão.

Conteúdo Programático

- Introdução e Revisão de Teoria de Conjuntos
- Sintaxe e Semântica da Lógica Proposicional
- Sistema de Dedução da Lógica Proposicional
- Álgebra Booleana
- Sintaxe e Semântica da Lógica de Predicados
- Sistema de Dedução - Lógica de Predicados
- Álgebra de Predicados
- Estratégias de prova
- Indução e Recursão
- Provas e correção de provas

Bibliografia

- VELLEMAN, Daniel. J. How to Prove it: A Structured Approach. Cambridge: Cambridge University Press, 2006.
- ROSEN, Kenneth. H. Matemática Discreta e suas Aplicações. 6.ed. São Paulo: McGraw-Hill, 2009.
- O´DONNELL, Jonh.; HALL, Cordelia.; PAGE, Rex. Discrete Mathematics Using a Computer. Glasgow: Springer-Verlag, 2000.

Bibliografia complementar

- HUTH, Michael; RYAN, Mark. Lógica em Ciência da Computação: Modelagem e Argumentação sobre Sistemas. 2. ed. Rio de Janeiro: LTC, 2008.
- SCHEINERMAN, Edward. R. Matemática Discreta: Uma Introdução. São Paulo: Cengage Learning, 2011.
- GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação. 5. ed. Rio de Janeiro: LTC, 2004.
- MENEZES, Paulo Blauth; TOSCANI, Laira Vieira; LÒPEZ, Javier Garcia. Aprendendo Matemática Discreta com Exercícios. Porto Alegre: Bookman, 2009.
- GRAHAM, Ronald; KNUTH, Donald; PATASHNIK, Oren. Matemática Concreta: Fundamentos para a Ciência da Computação. 2. ed. Rio de Janeiro: LTC Ed., 1995.