Ajuda | Contacte-nos

Estruturas Discretas (01000032)
1.º Semestre - 2015/2016
Mudar Disciplina
Copia Dados da FUC
Copiar Dados de Outra Edição
Copiar Dados de uma Edição do WebOnCampus
Editar
Estruturas Discretas 01000032
2015/2016 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 )
NA  ( Ver mais )

Abrir   Programa Editar

Avisos:

(05/10) Aula suplementar para as turmas TP2 e TP4 (de sexta-feira): uma vez que não haverá aulas no próximo dia 16 de Outubro (sexta-feira), devido à recepção aos novos alunos, para manter todas as turmas práticas a par para o teste da semana seguinte, haverá uma aula suplementar para estas turmas no dia 14 de Outubro (quarta-feira), das 15:00 às 17:45, na Sala C.5.1.


(01/09) Testes e frequências de anos anteriores: 2014/15, 2013/14, 2012/13.

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 e cada frequência 9 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:  semana de 19 a 23 de Outubro nas aulas práticas.

Primeira frequência: 18 de Novembro, 14:30. (anfiteatros da FCTUC)

Segunda frequência: 16 Dezembro, 14:30. (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):  5 de Fevereiro, 9:00.

Exame (Época Especial):  19 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...