You can find here the slides and other relevant information used in the Mathematics for Computer Science course, given within the Qualifica IT program in Braga, Sep-Oct 2017.
Slides:
- Introduction
- Boolean expressions
- Propositional Calculus
- What is a logic?
- Predicate Calculus
- Set theory
- Functions & Relations
- Orders & Induction
Example of a previous test:
- A logical approach to discrete mathematics, David Gries and Fred Schneider, Springer, 1993.
- Discrete mathematics, Kevin Ferland, Houghton Mifflin Company, 2009.
- Naive Set Theory, Paul Halmos, 1960
-
Final exam: 13 Dec 2017,
14h16h. -
Grades (final exam):
| Name | Grade | Result |
|---|---|---|
| Ana Paula Oliveira | 13.2 | P |
| Elisabete Quintas | 6.4 | R |
| Gabriel Mendes | 11.5 | P |
| Jorge Brito | 9.5 | P |
| Maria João Sousa | 9.5 | P |
| Raquel Ferreira | 9.5 | P |
- Grades (test):
| Name | Grade | Result |
|---|---|---|
| Abílio Vieira | 11.1 | P |
| Alfredo Malheiro | 9.6 | P |
| Ana Carvalho | 9.6 | P |
| Ana Fernandes | 14.7 | P |
| Ana Oliveira | 7.1 | R |
| Ana Ribeiro | 18.0 | P |
| André Alves | 16.0 | P |
| António Paiva | 14.2 | P |
| Armandina Pinheiro | 12.3 | P |
| Bruno Lages | 14.2 | P |
| Carla Carvalho | 14.9 | P |
| Carlos Bastos | 14.2 | P |
| Carlos Simões | 12.7 | P |
| Cátia Antunes | 16.3 | P |
| César Nunes | 10.8 | P |
| Elisabete Quintas | 3.2 | R |
| Filipa Costa | 15.5 | P |
| Gabriel Mendes | 0.0 | D |
| Gilda Macedo | 13.2 | P |
| Gustavo Miranda | 9.7 | P |
| Hugo Gonçalves | 15.9 | P |
| Ilda Silva | 14.0 | P |
| Inês Campos | 15.9 | P |
| João Cachada | 10.8 | P |
| João Martins | 16.3 | P |
| João Saraiva | 11.9 | P |
| Jorge Brito | 0.0 | D |
| Jorge Guimarães | 14.6 | P |
| Jorge Santos | 17.1 | P |
| José Abreu | 2.8 | R |
| José Correia | 18.2 | P |
| Júlio Miranda | 16.5 | P |
| Lara Figueiredo | 17.2 | P |
| Liliana Correia | 17.1 | P |
| Lino Urbano | 15.8 | P |
| Luís Vilas Boas | 14.2 | P |
| Maria João Sousa | 2.1 | R |
| Maria Vieira | 16.2 | P |
| Mariana Pais | 13.5 | P |
| Marisa Conceição | 17.3 | P |
| Olga Barros | 11.9 | P |
| Paulo Mendes | 12.9 | P |
| Pedro Ferreira | 15.3 | P |
| Ramiro Padrão | 19.8 | P |
| Raquel Ferreira | 7.4 | C |
| Ricardo Azevedo | 16.8 | P |
| Sandra Ferreira | 9.9 | P |
| Simone Sarges | 1.9 | R |
| Susana Alves | 17.0 | P |
| Susana Correia | 16.9 | P |
| Susana Saraiva | 14.8 | P |
| Tatiana Graça | 12.7 | P |
(P: Passed, R: Not passed, D: not evaluated, C: contact the lecturers)
- José Proença - [jose@proenca.org](mailto:jose@proenca.org?subject=QualificaIT - Matemática para a Informática)
- Alexandre Madeira - [madeira@ua.pt](mailto:madeira@ua.pt?subject=QualificaIT - Matemática para a Informática)