Mathematical Methods for Computer Science (2016/2017)

Course code
Name of lecturer
Ugo Solitro
Ugo Solitro
Number of ECTS credits allocated
Academic sector
Language of instruction
I sem. dal Oct 3, 2016 al Jan 31, 2017.

Lesson timetable

I sem.
Day Time Type Place Note
Wednesday 12:30 PM - 1:30 PM lesson Lecture Hall E from Oct 21, 2016  to Nov 1, 2016
Wednesday 12:30 PM - 2:30 PM lesson Lecture Hall E from Nov 23, 2016  to Jan 31, 2017
Wednesday 1:30 PM - 3:30 PM lesson Lecture Hall E from Oct 21, 2016  to Oct 26, 2016
Friday 1:30 PM - 2:30 PM lesson Lecture Hall G  
Friday 2:30 PM - 3:30 PM lesson Laboratory Laboratorio Ciberfisico from Nov 18, 2016  to Nov 18, 2016
Friday 2:30 PM - 3:30 PM lesson Laboratory Laboratorio Ciberfisico from Dec 2, 2016  to Dec 23, 2016

Learning outcomes

> (final draft)

The course aim is studying of the mathematical foundations of algorithms, programming languages and the role of programming paradigms in the computational methodologies for problem solving.

At the end of the course the student shall have achieved

- familiarity with the fundamental principles of the different languages;
- confidence with the different programming styles;
- practical knowledge of at least two programming languages;
- ability to deal with any programming language or environment for the development of solutions;
- mastery in using the knowledge and skills acquired both in a training and in an application context.


(final draft)


The course covers the themes and activities described below.

- Effective computational systems and algorithms ...
- Types and Logic ...
- Programming paradigms ...
- Foundations of OOP ...
- Introduction to paradigmatic languages ...
- Development of projects of mathematical, educational and application interest.


The teaching is divided according to two distinct modes.

- Presentation and study of the topics listed above.
- Development of activities and projects in relation to the topics covered.

In-depth and project activities (even practical) can emphasize educational, theoretical and/or applicative aspects according to the individual students' curriculum.

Reference books
Author Title Publisher Year ISBN Note
Timothy Budd An Introduction to Object-Oriented Programming (Edizione 3) Addison-Wesley 2002 0201760312
Martín Abadi, Luca Cardelli A Theory of Objects Springer Verlag 1996 0387947752

Assessment methods and criteria

The final exam consists of two parts: a written test and an oral exam.

The written test can include general questions, exercises.
The final oral exam is a discussion on the examination papers, the activity and the subject matter of the course.
The admission to the oral exam is subject to the approval of the written test.

The final written exam can be partially replaced by tasks completed during the term or the development of a project.