Ajuda | Contacte-nos

Estruturas Discretas (01000032)
1.º Semestre - 2017/2018
Mudar Disciplina
Copia Dados da FUC
Copiar Dados de Outra Edição
Copiar Dados de uma Edição do WebOnCampus
Editar
Estruturas Discretas 01000032
2017/2018 1.º Semestre
Jorge Manuel Senos da Fonseca Picado DM
Português 6
Licenciatura em Engenharia Informática
Presencial
Um curso de matemática discreta tem vários objetivos. Os estudantes  ( Ver mais )
Matemática da Escola Secundária.  ( Ver mais )

Abrir   Programa Editar

Avisos:

(06/09) As aulas começam no dia 20 de Setembro.


(05/09) Testes e frequências de anos anteriores: 2015/16, 2014/15.

1. Fundamentos
1.1. Como raciocinamos? Lógica proposicional.
1.2. Linguagens de primeira ordem: Lógica dos predicados
1.3. Raciocínio matemático, indução e recursão.

2. Algoritmos
2.1. Algoritmos e sua complexidade.
2.2. Somatórios.

3. Teoria dos Grafos
3.1. Noções básicas.
3.2. Grafos eulerianos.
3.3. Grafos hamiltonianos.
3.4. Problemas famosos.
3.5. Árvores.

4. Números inteiros
4.1.Aritmética modular.
4.2. Criptografi a: o sistema RSA de chave pública.

5. Contagem
5.1. Técnicas básicas e probabilidade discreta.
5.2. Técnicas avançadas.


Abrir   Métodos de Ensino Editar

As aulas são de tipo teórico e teórico-prático, ou seja, de natureza expositiva e acompanhadas de exemplos e resolução de exercícios que permitam compreender e aplicar os conhecimentos adquiridos. Os métodos de ensino serão predominantemente expositivos nas componentes teóricas.

Nas componentes práticas serão resolvidos problemas sob orientação do professor. Incentivar-se-á a resolução autónoma de problemas.

Na exposição far-se-á prevalecer uma forte interacção entre os conceitos e a sua aplicação concreta dando, tanto quanto possível, um papel central à visualização e à análise de situações particulares antes de proceder a uma abstracção progressiva das noções a introduzir. A transformação dos conceitos em ferramentas de trabalho será atingida pelo incentivo ao trabalho pessoal.

Sempre que possível tentar-se-á complementar a teoria com a exploração e experimentação computacional dos conceitos matemáticos introduzidos.

Ao longo do semestre deverá ser disponibilizado aos alunos apoio tutorial à resolução das diversas tarefas propostas.


Abrir   Método de Avaliação Editar

Avaliação Periódica: 1 teste de 1h (nas aulas práticas) e duas frequências de 2h. O teste vale 2 valores, a primeira frequência 8 e a segunda frequência 10 valores.

A avaliação periódica exige a presença em 75% das aulas (T e TP).
Quem não puder fazer por avaliação periódica, tem a alternativa do Exame de Recurso, em Fevereiro.


Datas do teste e frequências:

Teste:  aulas práticas de 25 a 27 de Outubro.

Primeira frequência:  15 de Novembro, 15:00. (anfiteatros da FCTUC)

Segunda frequência: 20 de  Dezembro, 15:00. (anfiteatros da FCTUC)

Inscrições nas frequências - devem ser feitas, no InforEstudante, até 8 dias antes de cada prova.

Datas dos exames:

Exame (Época Recurso):  23 de Janeiro, 9:00.

Exame (Época Especial):  17 de Julho, 14:00.


Abrir   Bibliografia Editar

Jorge Picado, Estruturas Discretas: textos de apoio, DMUC (última versão: 2014).

Kenneth Rosen, Discrete Mathematics and its Applications, MacGraw-Hill, 5a Edição, 2002.
James Hein, Discrete Structures, Logic and Computability, Portland State University, 2002.
Jon Barwise e John Etchemendy, Language, Proof and Logic, CSLI Publications, 1999.
Carlos André e Fernando Ferreira, Matemática Finita, Universidade Aberta, 2000.

Material de Apoio interactivo.

 
 
a carregar...