Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Mathematics - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
3 course to be chosen among the followingOne course to be chosen among the followingLegend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Mathematical Methods for Computer Science (2016/2017)
Teaching code
4S001438
Teacher
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
I sem. dal Oct 3, 2016 al Jan 31, 2017.
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.
Program
(final draft)
CONTENTS
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.
DIDACTIC METHODS
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.
| Author | Title | Publishing house | Year | ISBN | Notes |
|---|---|---|---|---|---|
| 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 |
Examination Methods
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.
