PONTIFCIA UNIVERSIDADE CATLICA DE GOIS

PR-REITORIA DE GRADUAO
DEPARTAMENTO DE COMPUTAO

PLANO DE ENSINO

Disciplina: Fundamentos de Computao I Curso: Engenharia de Computao/ Cincia da computao Professor/responsvel : Jos Roldo Gonalves Barbosa Cdigo CMP1045 N de Crditos 04
EMENTA

Pr-requisitos:

C-requesito

Lgica, conjuntos e funes, algortmos, inteiros e matrizes, raciocnio matemtico.

OBJETIVOS GERAIS

Aprender um particular conjunto de fatos e estruturas matemticos, fundamentais para o conhecimento e desenvolvimento da computao, e como aplic-los; Usar o raciocnio matemtico para ler, compreender e construir argumentos matemticos; Conhecer a lgica subjacente s teorias bsicas dos nmeros, funes e aprender a trabalhar com as mesmas; OBJETIVOS ESPECFICOS

Discutir a lgica matemtica para servir de fundamento para discusses futuras de mtodos de prova; Identificar acuradamente porque a induo matemtica uma tcnica de prova vlida; Identificar classes de problemas que so resolvidos pela construo de algoritmos; Reconhecer as teorias dos nmeros; Relacionar as teorias com os nmeros inteiros e matrizes; CONTEDO PROGRAMTICO

CONTEDO PROGRAMTICO: Lgica proposicional; Lgica de predicados; Mtodos de prova; Estruturas bsicas: Conjuntos, funes, sries e somatrios; Fundamentos: Algoritmos, inteiros e matrizes;
METODOLOGIA

Aulas expositivas; Atividades em grupo, em classe e extra-classe; Atividades individuais, em classe e extra-classe;
AVALIAO

A nota final, NF, da disciplina ser resultante da mdia ponderada de dois conjuntos de notas, N1 e N2, conforme a expresso NF = 0,4.N1+ 0,6. N2, sendo que tanto N1 quanto N2 sero compostos por no mnimo duas notas resultantes de duas avaliaes individuais com todo o contedo do perodo correspondente. Sero aplicados pequenos testes em sala ou trabalhos, cuja soma de suas notas iro compor N1 e N2. A freqncia ser computada em cada encontro ou atravs de chamada feita durante as aulas. Ser considerado aprovado na disciplina o aluno que obtiver a freqncia mnima de 75% e Nota. Composio das notas: N1 = (P1 + P2)/2 N2 = (P3 + P4)/2 NF = (0,4* N1) + (0,6 * N2)
ATIVIDADE EXTERNA DISCIPLINA

Sero desenvolvidos estudos dirigidos atravs de listas de exerccios referentes ao contedo da disciplina bem como suas possveis aplicaes. Estas atividades sero executadas e avaliadas para compor sua frequncia com 8 presenas;
BIBLIOGRAFIA BSICA

1. 2.

Epp, Susanna S. Discrete mathematics with applications. Brooks/Cole Cengage Learning, 2011. ROSEN, Kenneth H. Discrete mathematics and its applications. 5. ed. New York: McGraw-Hill, 2003. 3. SOUSA, Joo Nunes da Silva. Lgica para Cincia da Computao: Uma Introduo Concisa. 2. Ed. Rio de Janeiro. Elsevier, Campus, 2008. BIBLIOGRAFIA COMPLEMENTAR

1. GERSTING, Judith. L. Fundamentos Matemticos para a Cincia da Computao. 4. ed. Rio de Janeiro: LTC, 2001. 2. HUTH, Michael; RYAN, Mark. Logic in Computer Science: Modelling and reasoning about systems. New York: Cambridge University Press , 2008. 3. LIPSCHUTZ, Saymour; LIPSON, Marc. Theory and Problems of Discrete Mathematics. New York: McGraw-Hill, 1997. 4. MANBER, Uudi. Algorithms: a creative approach. Addison-Wesley, 1989. 5. SUDKAMP, Thomas A. Languages and machines: an introduction to the theory of computer science. Addison Wesley Longman, Bon, 1998.
CRONOGRAMA

Apresentao da ementa e forma de avaliao (2 aulas); Lgica proposicional (15 aulas); Avaliao (P1) (2 aulas); Lgica de predicados (15 aulas); Avaliao (P2) (2 aulas); Estruturas bsicas: Conjuntos, funes, sries e somatrios (15 aulas); Avaliao (P3) (1 encontro - 2 aulas); Fundamentos: Algoritmos, inteiros e matrizes (15 aulas); Avaliao (P4) (2 aulas); Entrega de resultados (2 aulas); Atividade externa disciplina (8 aulas);
MATERIAL DE APOIO

Quadro negro; Datashow;