1º Ano, 1º Semestre, Licenciatura em Eng. Informática
| Docentes |
Programa |
Bibliografia |
Avaliação |
| Apontamentos das Aulas |
Folhas de Exercícios | Software |
| Material de apoio (aplicativos interactivos, notas históricas etc.) |
| Sumários (T, TP, PL) |
Avisos:
(16/02/11) | Pauta (provisória) do Exame de Recurso. As provas podem ser consultadas na sexta-feira (18/02) das 10:30 às 12:30 ou 17:30-19:00, no Gab. 6.12 (DMUC). |
(01/02/11) | Enunciado do Exame de recurso. |
(25/01/11) | Horário de atendimento para o exame do dia 1 (Dr. Armando Gonçalves): 3ª feira (1/02/11), 10.00-13.00, no Gabinete 2.4 (DMUC). |
(25/01/11) | Horário de atendimento para o exame do dia 1 (Dr. Jorge Picado): 6ª feira (28/01/11), 10.30-12.30, no Gabinete 6.12 (DMUC). |
(24/01/11) | Pauta (provisória) do Exame. As provas podem ser consultadas amanhã (terça, 25/1) das 15:00 às 16:00 no Gab. 6.12 (DMUC). |
(14/01/11) | Enunciado e resolução do Exame. |
(12/01/11) | Horário de atendimento para o exame do dia 14 (Dr. Armando Gonçalves): 6ª feira (14/01/11), 11.00-13.00, no Gabinete 2.4 (DMUC). |
(3/01/11) | Horário de atendimento para o exame do dia 14 (Dr. Jorge Picado): 6ª feira (14/01/11), 10.30-12.30, no Gabinete 6.12 (DMUC). |
(3/01/11) | Horário de atendimento para o exame do dia 14 (Dr. Armando Gonçalves): 3ª feira (11/01/11), 10.00-13.00, no Gabinete 2.4 (DMUC). |
(3/01/11) | Horário de atendimento para o exame do dia 14 (Dr. Jorge Picado): 6ª feira (7/01/11), 10.30-12.30, no Gabinete E.6.1 (DEI). |
(3/01/11) | Horário de atendimento para o exame do dia 14 (Dr. Armando Gonçalves): 2ª feira (3/01/11), 15.00-18.00, no Gabinete 2.4 (DMUC). |
(27/12/10) | Notas do Teste 2. |
(17/12/10) | As inscrições nos exames das disciplinas da FCTUC leccionadas pelo DM serão efectuadas no InforEstudante. A inscrição terá de ser feita até uma semana antes da data do exame. De acordo com a informação dada pela gestão do Nónio, este sistema de inscrições estará disponível a partir do dia 18 de Dezembro. A lista com a distribuição dos alunos inscritos por salas será afixada no piso 0 do DM com 48 horas de antecedência. |
(15/12/10) | Soluções do Teste 2. |
(15/12/10) | Enunciado do Teste 2. |
(19/11/10) | Excelente aplicativo onde pode treinar o algoritmo de Dijkstra (trajecto mais curto). |
(5/11/10) | Gralhas encontradas na Ficha PL-3: |
Exercício 2: onde está "Tet(a) = Tet(b)" deveria estar "Tet(a) <-> Tet(b)". | |
(5/11/10) | Gralhas encontradas na Folha TP-3: |
Exercício 6: onde está "Exercício 3" deveria estar "Exercício 4"; Exercício 11: onde está "log_2 n" deveria estar "log n"; Exercício 12: onde está "p. 39" deveria estar "p. 42". | |
(4/11/10) | Notas do Teste 1. |
(27/10/10) | Soluções do Teste 1. |
(27/10/10) | Enunciado do Teste 1. |
(26/10/10) | O teste realiza-se no Departamento de Matemática (Pólo I), nas Salas 4.1, 4.6, 4.2 (Piso 4), 5.1 e 5.6 (Piso 5). |
(25/10/10) | Lista de erros mais comuns. |
(11/10/10) | O Dr. Armando Gonçalves leccionará uma aula TP suplementar na próxima quarta-feira (13/10, 13:00-15:00, na sala G.4.6 do DEI), onde serão resolvidos os exercícios 18 a 28. |
(1/10/10) | Devido ao feriado do próximo dia 5, para mantermos as aulas TP todas a par haverá uma aula TP conjunta para as Turmas TP1 e TP3 no dia seguinte (quarta-feira, 6/10, 15:00, no Anfiteatro B2 do DEI). |
(15/09/10) | Exames do ano passado e de 2008/2009. |
(15/09/10) | As aulas teóricas começam no dia 22 de Setembro (quarta-feira) e as práticas começam no dia 24 de Setembro (sexta-feira). |
Jorge Picado Gabinete (DMUC): 6.5 Horário de Atendimento: Terças (16.00-18.00), Sextas (11.30-12.30), no Gabinete E.6.1 (DEI)* telef.: 239791155 e-mail: picado@mat.uc.pt URL: www.mat.uc.pt/~picado * Ou outro dia e hora a combinar (no final das aulas ou por e-mail)
Armando Gonçalves Gabinete (DMUC): 2.4 Horário de Atendimento: Segundas (16.00-19.00) no Gabinete E.6.1 (DEI) telef.: 239791150 e-mail: adsg@mat.uc.pt URL: www.mat.uc.pt/~adsg
1. Fundamentos 1.1. Como raciocinamos? Lógica proposicional. 1.2. Raciocínio matemático, indução e recursão. 1.3. Algoritmos e complexidade. 2. Teoria dos Grafos 2.1. Grafos. 2.2. Árvores. 3. Os inteiros. Criptografia. 4. Contagem 4.1. Técnicas básicas e probabilidade discreta. 4.2. Técnicas avançadas.
Um curso de matemática discreta tem vários objectivos. Os estudantes deverão aprender um conjunto particular de factos matemáticos e como aplicá-los; mas, mais importante, um tal curso deverá ensinar como se pensa matematicamente. Para alcançar estes objectivos, o curso realça o raciocínio matemático e as diferentes maneiras de abordar e resolver problemas.
Jorge Picado, Estruturas Discretas: textos de apoio, DMUC, 2008. 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.
Da avaliação constam: 1. 2 testes 2. exame final Todos os alunos poderão participar nos testes. É obrigatória a presença em 75% das aulas (T, TP e PL), para que os testes contem. Cotação de cada teste: 5 valores. Cotação do exame: 20 valores. Nota final = max{ (1/2) nota exame + nota testes , nota exame } (arredondada às unidades) Datas dos testes: Primeiro teste: 27 de Outubro (quarta-feira, 14.30, DMUC) Segundo teste: 15 de Dezembro (quarta-feira, 14.30, DMUC) Datas dos exames: Época normal: 14 de Janeiro de 2011, às 14.30 horas Época de recurso: 1 de Fevereiro de 2011, às 14.30 horas Época especial: 18 de Julho de 2011, às 14.00 horas.