---

Matemática Discreta

---

Docentes
 
Lurdes Sousa 
Gabinete 46
Horário de Atendimento: quintas das 16.00 às 18:00; 
Horário de Atendimento no período de avaliações: 17:30 de 7 de Junho; 11:00 de 22 de Junho; 19:15 de 11 de Julho. 
E-mail: sousa@mat.estv.ipv.pt
URL: http://www.estv.ipv.pt/PaginasPessoais/sousa/
 
Teresa Neto
Gabinete 42
Horário de Atendimento: terças das 18:00 às 20:00 e quartas das 18:00 às 19:00
E-mail: tneto@mat.estv.ipv.pt
 
 
 
Programa
 
Bibliografia
 
Avaliação Os alunos que vão ao Exame de 23 de Junho devem inscrever-se na Folha de Inscrições correspondente que se encontra na Secretaria
 
Enunciados e resoluções de algumas provas de avaliação: FrMD1, FrMD1Res; FrMD2, FrMD2Res; Fr03MD1, FR03MD1Res; Fr03MD2, Fr03MD2Res;
 Exame, ExameRes, ExamePrático04, ExamePrático05, ExaNorm06
 
Notas de MATEMÁTICA DISCRETA: Capítulo I, Capítulo II, Capítulo III, Capítulo IV. Capítulo V (Demonstra2.8)
 

Fichas Práticas: 1, 2, 3, 4 (resoluções), 5, 6, 7, 8, 9, 10, 11, 12

Puzzles lógicos

---

 
CONTEÚDO PROGRAMÁTICO

 
 
Lógica (cálculo proposicional e cálculo de predicados)
 
Conjuntos
 
Relações 
 
Funções 
 
Indução e recursão
 
Grafos 
 
Árvores
 

---

 
 
BIBLIOGRAFIA
 
 
Base: 
 
W. K. Grassmann e J.-P. Tremblay
Logic and Discrete Mathematics - A Computer Science Perspective
Prentice Hall, 1996. 
 
K. Rosen 
Discrete Mathematics and its Applications
MacGraw-Hill, 1999
 
K. Rosen
Exploring Discrete Mathematics with Maple
Mac-Graw-Hill, 1997
 
 
Outra:
 
M. O. Albertson e J. P. Hutchinson
Discrete Mathematics with Algorithms
John Wiley Sons, 1988.
 
 R. E. Davis
Truth, Deduction and Computation
Computer science Press, 1989.
 
J. Hein
Discrete Structures, Logic and Computability
Jones and Bartlett, 1995
 
R. Johnsonbaugh
Discrete Mathematics
Prentice Hall,1993.
 
 S. Lipschutz
Teoria dos Conjuntos
MacGraw-Hill,1972.
 
 H. F. Mattson, Jr.
Discrete Mathematics
John Wiley Sons, 1993.
 
J. Molluzzo e F. Buckley
A First Course in Discrete Mathematics
Wadsworth Publishing Company,1986.
 
 
J. Nolt e D. Rohatyn
Lógica
MacGraw-Hill, 1991.
 
A. F. Oliveira
Lógica e Aritmética
Trajectos Ciência, Gradiva, 1996
 
J.-M. Cornil, P. Testud
An introduction to Maple V
Springer, 2001
 
Outros elementos: Notas de MATEMÁTICA DISCRETA 
 

---

AVALIAÇÃO

 
PTTP (Parte Teórica +Teórico-Prática): 17 em 20 valores
PP (Parte Prática) (obrigatória com um mínimo de 0.5 (em 3)): 3 em 20 valores
 
 
 
Época normal:
 
Avaliação de PTTP:
 
 
. 1ª Prova escrita de frequência: 21 de Abril
. 2ª Prova escrita de frequência: 
 
Admissão à 2ª prova de frequência: nota superior ou igual a 6,5 (em 17) na 1ª
prova de frequência
 
. Prova escrita de Exame 
 
Admissão a exame: média superior ou igual a 5,5 (em 17) ou
desistência nas provas de frequência
 

 
Avaliação de PP:
 
Prova prática com utilização de Maple.
Admissão a PP: nota em PTTP superior ou igual a 6,5 (em 17).
 
Avaliação global:
 
A classificação final:
- Para obter aprovação na disciplina, é necessário que a classificação a PP seja superior ou igual a 0,5 (em 3).
- A classificação final é igual à soma das classificações obtidas em PTTP e PP, desde que essa soma não ultrapasse os 15 valores.
- Se a classificação obtida com os pesos da prova PTTP escrita e da prova PP for superior a 15 valores: prova oral (que poderá incluir trabalho prático); caso o aluno não faça esta prova suplementar, a classificação final será de 15 valores.
 
Outros aspectos que podem contar na avaliação: Assiduidade,
participação nas aulas.
 
Época de recurso: Exame que inclui prova escrita de TPPT, prova de PP e prova oral de acordo com os critérios da época normal.