Go to:
Esta página em português Ajuda Autenticar-se
Formação regular da Biblioteca |fevereiro a maio
You are here: Start > EIC0011

Site map
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

Discrete Mathematics

Code: EIC0011     Acronym: MDIS

Classification Keyword
OFICIAL Mathematics

Instance: 2014/2015 - 1S Ícone do Moodle

Active? Yes
Responsible unit: Department of Informatics Engineering
Course/CS Responsible: Master in Informatics and Computing Engineering

Cycles of Study/Courses

Acronym No. of Students Study Plan Curricular Years Credits UCN Credits ECTS Contact hours Total Time
MIEIC 191 Syllabus since 2009/2010 1 - 6 70 148,5

Teaching - Hours

Lectures: 2,00
Recitations: 2,00
Type Teacher Classes Hour
Lectures Totals 1 2,00
Gabriel de Sousa Torcato David 2,00
Recitations Totals 6 12,00
Gil Coutinho Costa Seixas Lopes 8,00
Gabriel de Sousa Torcato David 4,00
Mais informaçõesLast updated on 2014-08-15.

Fields changed: Objectives, Resultados de aprendizagem e competências, Componentes de Avaliação e Ocupação, Programa, Métodos de ensino e atividades de aprendizagem

Teaching language




Logic is the fondament of any scientific reasoning and that is the main reason for its inclusion in the first year of the program. Furthermore, in the case of a Computer Science program, Logic has direct operational relevance in multiple professional aspects.

Specific aims

The goals are the development of skills of rigorous reasoning and in the techniques of discrete mathematics required in several areas of computer science like problem solving, algorithm design and analysis, theory of computing, knowledge representation and security.

Percentual distribution

Scientific component: 100%

Technological component: 0%.

Learning outcomes and competences

The skills to be acquired include: (1) representing situations using first order logic and to analyze them both in the models and the proof perspectives; (2) mastering the basic concepts of sets, relations, partial orders, and functions; (3) solving simple problems of number theory, in particular in its application to cryptography; (4) solving modular arithmetic equations; (5) performing inductive proofs; (6) formulating and solving problems through recurrence relations.

Working method


Pre-requirements (prior knowledge) and co-requirements (common knowledge)

Knowledge of elementary mathematics.


Propositional logic. Proof methods in propositional logic. Quantifiers and knowledge representation. Proof methods in first order logic. Sets, relations, and partial orders. Functions. Introduction to number theory. Congruences and modular arithmetic equations. Induction and recursion. Recurrent relations.

Mandatory literature

Jon Barwise, John Etchemendy; Language proof and logic. ISBN: 1889119083
Edgar G. Goodaire, Michael M. Parmenter; Discrete mathematics with graph theory. ISBN: 0-13-167995-3

Complementary Bibliography

Richard Johnsonbaugh; Discrete mathematics. ISBN: 0-13-127767-7
Edward R. Scheinerman; Mathematics: A Discrete Introduction, 3rd ed., Brooks/Cole Cengage Learning, 2013. ISBN: 978-0-8400-6528-5

Teaching methods and learning activities

In theoretical lectures the syllabus topics are presented and application examples are discussed. Practical lectures are devoted to analyzing and solving problems aiming at developing and testing the above mentioned skills, resorting to support software in the logic topics.




Physical sciences > Mathematics > Discrete mathematics

Evaluation Type

Distributed evaluation without final exam

Assessment Components

Designation Weight (%)
Participação presencial 0,00
Teste 100,00
Total: 100,00

Amount of time allocated to each course unit

Designation Time (hours)
Estudo autónomo 106,00
Frequência das aulas 56,00
Total: 162,00

Eligibility for exams

To get attendance certificate, the student must obtain a global assessment of 7,5 and attend the legal number of lectures. The attendance certificate may, in case of failure, release the student from attending classes on the next year.

Calculation formula of final grade

Classification = [sum(Ti)-0.8*min(Ti)]/3.2 , Ti (i=1,..,4) - test i classification

Examinations or Special Assignments

Test 1: 2014-10-27

Test 2: 2014-11-25

Test 3: 2015-01-05

Test 4: 2015-01-26

Special assessment (TE, DA, ...)

Students whose enrollment type do not require lecture attendance must perform the four tests. Special exams are 2H30 long.

Classification improvement

Classification improvement is possible in the next year.

Recommend this page Top
Copyright 1996-2019 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2019-05-25 at 07:02:08