Discrete Mathematics

Code:

EIC0011

Acronym:

MDIS

Keywords
Classification	Keyword
OFICIAL	Mathematics

Instance: 2010/2011 - 1S

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	146	Syllabus since 2009/2010	1	-	5	56	135

Teaching language

Suitable for English-speaking students

Objectives

The main objective is to learn mathematical techniques useful to analyze and solve problems in different areas relevant for Informatics/ IT.
At the end of this course students should be able to analyze Informatics-related problems using Mathematical methods, abstract thinking, logical inference from premises, and thus to reach accurate and concise solutions.

Program

Logic and Mathematical Proof.
Sets.
Relations.
Functions.
Algebraic Structures.
Introduction to the Theory of Numbers.
Boolean algebra.
Graph Theory and Applications (trees ,...).

Mandatory literature

Garnier, Rowan & Taylor, John; Discrete Mathematics: Proofs, Structures and Application, Third Edition, CRC Press, 2009. ISBN: 9781439812808
Garnier, Rowan; Discrete mathematics for new technology. ISBN: 0-7503-0652-1

Complementary Bibliography

Rosen, Kenneth H.; Discrete mathematics and its applications. ISBN: 0-07-289905-0

Teaching methods and learning activities

The main topics of this course and application examples will be presented and discussed during the theoretical classes.
Problems will be analyzed and solved during the practical classes by applying the concepts presented during lectures.

Evaluation Type

Distributed evaluation without final exam

Assessment Components

Description	Type	Time (hours)	Weight (%)	End date
Attendance (estimated)	Participação presencial	50,00
Final test	Exame	1,50		2011-02-11
	Total:	-	0,00

Amount of time allocated to each course unit

Description	Type	Time (hours)	End date
Study during semester	Estudo autónomo	60	2011-02-07
Study of preparation for final test	Estudo autónomo	20	2011-02-07
	Total:	80,00

Eligibility for exams

The evaluation consists of 3 parts:
a) Three written Mini-Tests (“individual” and “without consulting any material”), lasting 30 minutes each, spread over the semester.
b) One written Final Test (“individual” and “without consulting any material”) with a duration of 90 minutes, during the last week of classes.
c) Professor’s opinion on student’s attendance, preparation of exercises by applying the concepts learned during lectures, and overall involvement and participation during classes.

Calculation formula of final grade

Final Grade = 0.45 MT + 0.10 OD + 0.45 TF

where:

MT – average grade of the 3 grades obtained at each Mini-Test (with equal weights)
OD – Professor’s opinion (practical classes)
TF – Grade Final Test

Examinations or Special Assignments

No.

Special assessment (TE, DA, ...)

Students whose enrollment does not require class attendance will perform the same evaluation tests that regular students do, without including in the Final Grade the item referring to Professor’s evaluation during practical classes. In this case, the Final Grade will be calculated as follows:

Final Grade = 0.45 MT + 0.55 TF

where:

MT – average grade of the 3 grades obtained at each Mini-Test (with equal weights)
TF – Grade Final Test.

The exams to be performed during special evaluation (in accordance with the Regulations) will have an identical format to the final test above, but the duration of the test will be 2h30m, and 20 for grading.

Classification improvement

The exams for classification improving will have a format identical to the Final Test above, but with a duration of 2h30m and 20 for grading.

Observations

Students are required to have an honorable behavior; cases of academic dishonesty will be presented to the Course Director.