Matemática Discreta

Código:

EIC0011

Sigla:

MDIS

Áreas Científicas
Classificação	Área Científica
OFICIAL	Matemática

Ocorrência: 2010/2011 - 1S

Ativa?	Sim
Unidade Responsável:	Departamento de Engenharia Informática
Curso/CE Responsável:	Mestrado Integrado em Engenharia Informática e Computação

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
MIEIC	146	Plano de estudos a partir de 2009/10	1	-	5	56	135

Língua de trabalho

Português - Suitable for English-speaking students

Objetivos

O principal objectivo é a aprendizagem de técnicas matemáticas para analisar e resolver problemas em diversas áreas de importância para a Informática.
No final do curso, os estudantes devem ser capazes de analisar problemas no âmbito da Informática usando metodologias da Matemática, pensamento abstracto, inferência lógica a partir de premissas e, assim, conseguir chegar a soluções rigorosas e concisas.

Programa

Lógica e Prova Matemática.
Conjuntos.
Relações.
Funções.
Estrutruras Algébricas.
Introdução à Teoria de Números.
Álgebra Booleana.
Teoria e Aplicações de Grafos (árvores,...).

Bibliografia Obrigatória

Garnier, Rowan & Taylor, John; Discrete Mathematics: Proofs, Structures and Application, Third Edition, CRC Press, 2009. ISBN: 9781439812808 (Esta edição, 3ª, é quase igual à 2ª edição. Difere essencialmente nos caps. 1 e 9.)
Garnier, Rowan; Discrete mathematics for new technology. ISBN: 0-7503-0652-1

Bibliografia Complementar

Rosen, Kenneth H.; Discrete mathematics and its applications. ISBN: 0-07-289905-0

Métodos de ensino e atividades de aprendizagem

Nas aulas teóricas apresenta-se e discute-se a matéria da disciplina e exemplos de aplicação. Nas aulas práticas faz-se a análise e resolução de problemas, aplicando os conceitos apresentados nas aulas teóricas.

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	50,00
Teste final	Exame	1,50		2011-02-11
	Total:	-	0,00

Componentes de Ocupação

Descrição	Tipo	Tempo (Horas)	Data Conclusão
Estudo ao longo do semestre	Estudo autónomo	60	2011-02-07
Preparação para o teste final	Estudo autónomo	20	2011-02-07
	Total:	80,00

Obtenção de frequência

Para obter frequência, o aluno deve obter uma avaliação global positiva nas componentes apresentadas à frente e não exceder o limite legal de faltas.

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

Nota = 0.45 MT + 0.10 OD + 0.45 TF
onde (ver à frente descrição mais alargada):
MT - nota média dos 3 mini-testes, todos de igual peso
OD - opinião do docente das aulas práticas
TF - nota do teste final

Provas e trabalhos especiais

A avaliação dos alunos da disciplina, é constituída por 3 partes:
a) três mini-testes escritos, "individuais" e "sem consulta", com a duração de 30 minutos cada, distribuídos ao longo do semestre;
b) um teste escrito final, "individual" e "sem consulta", com a duração de 90 minutos, efectuado na última semana de aulas;
c) opinião do docente das aulas práticas relativamente à assiduidade, preparação dos problemas de aplicação da matéria e desempenho geral dos seus alunos.
As datas das provas referidas em a) e b) ficarão disponíveis na área WWW da disciplina.

Avaliação especial (TE, DA, ...)

Os alunos cujo tipo de inscrição não exija a frequência das aulas, deverão efectuar as mesmas provas pontuais que os alunos regulares, só não ficando sujeitos ao item de avaliação relativa à opinião do docente. Nesse caso, a fórmula de Classificação Final será, apenas:
Nota = 0.45 MT + 0.55 TF
Os exames das épocas especiais contempladas na lei, terão um formato idêntico ao do teste final referido, mas terão uma duração de 2h30m e cotação de 20 valores.

Melhoria de classificação

Os exames de melhoria de classificação terão um formato idêntico ao do teste final referido, mas terão uma duração de 2h30m e cotação de 20 valores.

Observações

Aos alunos exige-se empenho na aprendizagem e um comportamento honrado; casos de desonestidade académica serão apresentados ao Director do Curso.