Estruturas Discretas

Código:

CC115

Sigla:

CC115

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

Ocorrência: 2012/2013 - 1S

Ativa?	Sim
Página Web:	http://www.dcc.fc.up.pt/~sandra/Home/ED1213.html
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	64	Plano de estudos de 2008 até 2013/14	1	-	7,5	-
MI:ERS	121	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.

Resultados de aprendizagem e competências

A frequência desta disciplina deve desenvolver as seguintes aptidões:

• Capacidade de trabalhar com notação matemática e com os principais conceitos de matemática discreta;
• Construir e compreender provas matemáticas;
• Utilizar conceitos matemáticos para formalisar e resolver problemas comuns em Ciência de Computadores/Informática.

Modo de trabalho

Presencial

Programa

1. Tópicos elementares de lógica: cálculo proposicional, equivalência lógica, regras de inferência, 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: Produtos 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, coeficientes binomiais.

Bibliografia Obrigatória

000101072. ISBN: 978-1-84628-844-9
000002295. ISBN: 978-0-201-30424-4
Kenneth H. Rosen; Discrete Mathematics and its Applications, McGraw-Hill, Inc.

Métodos de ensino e atividades de aprendizagem

Aulas teóricas de exposição dos conteúdos programáticos. Aulas teórico-práticas de exposição de exemplos e casos de estudo. Aulas práticas de resolução de exercícios propostos semanalmente.

Palavras Chave

Ciências Tecnológicas

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

Descrição	Tipo	Tempo (Horas)	Peso (%)	Data Conclusão
Participação presencial (estimativa)	Participação presencial	90,00
Teste intercalar	Teste	1,00	50,00	2012-11-15
Teste final	Teste	2,00	50,00	2013-01-26
	Total:	-	100,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 (50% de peso na nota final).
Teste final (50% de peso na nota final).
Sendo TI a classificação obtida  no teste intercalar e TF a
classificação obtida no teste final, então a nota final é dada por:
F = TI*(0.5) + TF*(0.5)
TI,TF >= 3 e F >= 9.5
Não obterão aprovação na avaliação distribuída, os alunos que não obtiverem um mínimo de 3 valores (em 10), em ambos os testes e um mínimo de 9.5 valores de nota final.
Para os alunos que não obtiverem aprovação na avaliação distribuída, haverá um exame de recurso. O exame de recurso terá duas componentes (claramente indicadas) correspondendo aos tópicos avaliados nos dois testes, permitindo dois cenários possíveis de determinação da nota final:

• os alunos podem responder às duas componentes do exame, sendo nesse caso a nota final determinada exclusivamente pela nota do exame (opção obrigatória para os alunos a realizar melhoria de nota e alunos que não tenham obtido uma nota mínima no primeiro teste);
• os alunos podem responder apenas à componente do exame correspondente à matéria avaliada no segundo teste, sendo a nota determinada pela fórmula indicada para a avaliação distribuída.

 

Provas e trabalhos especiais

Teste intercalar no dia 15 de Novembro às 16:00h na salas de exposições do Departamento de Química e nas salas 219 e 226 no departamento de Matemática.

Melhoria de classificação

Exame de melhoria cotado para 20.