PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS
PRÓ-REITORIA DE GRADUAÇÃO
DEPARTAMENTO DE COMPUTAÇÃO
PLANO DE ENSINO
Disciplina: Fundamentos da Computação I
Curso: Engenharia de Computação/ Ciência da computação
Professor/Responsável:
Código
Nº de Créditos
CMP1045
04
Pré-requisitos:
Có-requesito
•
Lógica, conjuntos e funções, algoritmos, inteiros e matrizes, raciocínio matemático.
•
Aprender um particular conjunto de fatos e estruturas matemáticos, fundamentais para o
conhecimento e desenvolvimento da computação, e como aplicá-los.
•
Usar o raciocínio matemático para ler, compreender e construir argumentos matemáticos.
•
Conhecer a lógica subjacente às teorias básicas dos números, funções e aprender a trabalhar
com as mesmas.
•
Discutir a lógica matemática para servir de fundamento para discussões futuras de métodos
de prova.
•
Identificar classes de problemas que são resolvidos pela construção de algoritmos.
•
Reconhecer as teorias dos números.
•
Relacionar as teorias com os números inteiros e matrizes.
•
•
•
•
•
Lógica Proposicional
Lógica de Predicados
Métodos de Prova
Estruturas básicas: conjuntos, funções, séries e somatórios.
Fundamentos: Algoritmos, inteiros e matrizes.
•
•
Aulas expositivas.
Atividades em grupo e individuais, em classe e extra-classe.
•
A nota final, NF, da disciplina será resultante da média ponderada de dois conjuntos de notas,
N1 e N2, conforme a expressão NF = 0,4.N1+ 0,6.N2.
•
A frequência será computada em cada encontro através de chamada feita durante as aulas. Em
cada aula presencial será computado 2 presenças.
•
Será considerado aprovado na disciplina o aluno que obtiver a freqüência mínima de 75% e
Nota Final igual ou superior a cinco.
•
A nota N1 será composta por duas avaliações, enquanto N2 será composta por uma avaliação e
o conjunto de notas formadas pelas atividades externa à disciplina.
•
Serão desenvolvidos estudos dirigidos através de listas de exercícios referentes ao conteúdo
da disciplina bem como suas possíveis aplicações. Estas atividades serão executadas e
avaliadas para compor sua freqüência com 8 presenças e uma nota para compor parte da N2.
AED 1: Quebra – Cabeça Lógico
AED 2: Estudo comentado de questões do ENADE 2014
AED 3: Estudo comentado de questões da AI e ENADE
AED 4: Algoritmos
1. ROSEN, Kenneth H. Matemática discreta e suas aplicações. 6. ed. São Paulo: McGrawHill, 2009.
2. SILVA, Flávio Correa da. Lógica para computação. São Paulo: Thomson Learning, 2006.
3. SOUSA, João Nunes da Silva. Lógica para Ciência da Computação: Uma Introdução
Concisa. 2. Ed. Rio de Janeiro. Elsevier, Campus, 2008.
1. EPP, Susanna S. Discrete mathematics with applications. Boston: Brooks/Cole Cengage
Learnig, 2011.
2. GERSTING, Judith. L. Fundamentos Matemáticos para a Ciência da Computação. 4. ed.
Rio de Janeiro: LTC, 2011.
3. GRAHAM, Judy L.; KNUTH, Donald L., PATASHNIK, Oren. Matemática concreta:
fundamentos para Ciência da Computação. Rio de Janeiro: LTC, 2008.
4. HUTH, Michael; RYAN, Mark. Logic in Computer Science: Modeling and reasoning
about systems. Cambridge: Cambridge University Press, 2008.
5. MANBER, Udi. Algorithms: a creative approach. New York: Addison-Wesley, 1989.
Conteúdo
Apresentação do professor, do Plano de Ensino e Motivação.
Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças.
Lógica Proposicional Semântica. Tabela da Verdade. (Tautologias, Contradições,
Contingências)
Implicação Lógica. Equivalência Proposicional.
Avaliação (P1)
Entrega e Correção da Avaliação
Álgebra das Proposições (Argumentos; Validade de um argumento (prova); Regras
de Inferência; Prova da não validade; Inconsistência das premissas)
Avaliação (P2)
Entrega e Correção da Avaliação
Lógica de Predicados
Métodos de Demonstração (Terminologia; Direta; Contraposição; Contradição;
Exaustão, Indução)
Conjuntos
Funções
Seqüências e Somatórios
Matrizes
Números Inteiros (Divisão, Primos, MDC, MMC)
Avaliação (P3)
Entrega e Correção da Avaliação
Discussão de Notas e Freqüência com os Alunos
Atividade Externa à Disciplina
Total
Quadro Branco com pincéis, Datashow.
Horas Aula
2
2
4
6
2
2
12
2
2
12
8
4
2
2
2
2
2
2
2
8
80