Estruturas Discretas

Código:

CC115

Sigla:

CC115

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2010/2011 - 1S

Ativa?	Sim
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Licenciatura em Ciência de Computadores

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
L:CC	77	Plano de estudos de 2008 até 2013/14	1	-	7,5	-
MI:ERS	142	Plano de Estudos a partir de 2007	1	-	7,5	-

Língua de trabalho

Português

Objetivos

Estudo das estruturas discretas fundamentais que estão na base formal da área de Ciência de Computadores/Informática.

Programa

1) Tópicos elementares de lógica: cálculo proposicional, equivalência lógica, regras de inferencia, breve introdução ao cálculo de predicados.
2) Teoria de conjuntos: conjuntos e subconjuntos, operações de conjuntos, diagramas de Venn.
3) Indução matemática: indução matemática, definições por recursão.
4) Relações: Productos cartesianos e relações, propriedades de relações, funções, representações computacionais de relações, ordens parciais, relações de equivalência e partições.
5) Grafos: definições e exemplos, subgrafos, grafos complementares e grafos isomorfos, graus de vérices, grafos planares, caminhos e ciclos hamiltonianos.
6) Tópicos elementares de álgebra: aneis e aritmética modular, algebra booleana.
7) Números inteiros: o algoritmo da divisão, números primos, máximos divisor comum e algoritmo de euclides, o teorema fundamental da aritmética.
8) Contagem: somas e productos, permutações, combinações.

Bibliografia Obrigatória

R. P. Grimaldi; Discrete and Combinatorial Mathematics: an Applied Introduction, 2003

Métodos de ensino e atividades de aprendizagem

Ensino teórico, exemplos e casos de estudo, exercícios semanais e avaliação intercalar.

Palavras Chave

Ciências Tecnológicas

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Descrição	Tipo	Tempo (Horas)	Peso (%)	Data Conclusão
Participação presencial (estimativa)	Participação presencial	70,00
	Total:	-	0,00

Obtenção de frequência

Perde frequência o aluno que faltar a mais do que um quarto das aulas práticas do semestre (3 faltas no máximo).

Fórmula de cálculo da classificação final

Teste intercalar: 6 valores.
Exame final: 14 valores.

Provas e trabalhos especiais

Teste a meio do semestre.
DATA DO TESTE: 22 de Novembro de 2010, das 12:00 às 13:00, nas salas de Exposições e Exames (dep. de química).

Melhoria de classificação

Exame de melhoria cotado para 14 + nota obtida no teste intercalar.