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.
Type D and Type F activities
Type D learning activities are the student's choice, type F activities are additional knowledge useful for job placement (internships, transversal skills, project works, etc.). According to the Teaching Regulations of the Course, some activities can be chosen and entered independently in the booklet, others must be approved by a special committee to verify their consistency with the study plan. Type D or F learning activities can be covered by the following activities.
1. Modules taught at the University of Verona
Include the modules listed below and/or in the Course Catalogue (which can also be filtered by language of delivery via Advanced Search).
Booklet entry mode: if the teaching is included among those listed below, the student can enter it independently during the period in which the curriculum is open; otherwise, the student must make a request to the Secretariat, sending the form to carriere.scienze@ateneo.univr.it during the period indicated.
2. CLA certificate or language equivalency
In addition to those required by the curriculum/study plan, the following are recognized for those matriculated from A.Y. 2021/2022:
- English language: 3 CFUs are recognized for each level of proficiency above that required by the course of study (if not already recognized in the previous course of study).
- Other languages and Italian for foreigners: 3 CFUs are recognized for each proficiency level starting from A2 (if not already recognized in the previous study cycle).
These CFUs will be recognized, up to a maximum of 6 CFUs in total, of type F if the study plan allows it, or of type D. Additional elective credits for language knowledge may be recognized only if consistent with the student's educational project and if adequately justified.
Those enrolled until A.Y. 2020/2021 should consult the information found here.
Method of inclusion in the booklet: request the certificate or equivalency from CLA and send it to the Student Secretariat - Careers for the inclusion of the exam in the career, by email: carriere.scienze@ateneo.univr.it
3. Transversal skills
Discover the training paths promoted by the University's TALC - Teaching and learning center intended for students regularly enrolled in the academic year of course delivery https://talc.univr.it/it/competenze-trasversali
Mode of inclusion in the booklet: the teaching is not expected to be included in the curriculum. Only upon obtaining the Open Badge will the booklet CFUs be automatically validated. The registration of CFUs in career is not instantaneous, but there will be some technical time to wait.
4. CONTAMINATION LAB
The Contamination Lab Verona (CLab Verona) is an experiential course with modules on innovation and enterprise culture that offers the opportunity to work in teams with students from all areas to solve challenges set by companies and organisations.
Upon completion of a CLab, students will be entitled to receive 6 CFU (D- or F-type credits).
Find out more: https://www.univr.it/clabverona
PLEASE NOTE: In order to be admitted to any teaching activities, including those of your choice, you must be enrolled in the academic year in which the activities in question are offered. Students who are about to graduate in the December and April sessions are therefore advised NOT to undertake extracurricular activities in the new academic year in which they are not enrolled, as these graduation sessions are valid for students enrolled in the previous academic year. Therefore, students who undertake an activity in an academic year in which they are not enrolled will not be granted CFU credits.
5. Internship/internship period
In addition to the CFUs stipulated in the curriculum/study plan (check carefully what is indicated on the Teaching Regulations): here information on how to activate the internship.
Check in the regulations which activities can be Type D and which can be Type F.
Modules and other activities that can be entered independently in the booklet
| years | Modules | TAF | Teacher | |
|---|---|---|---|---|
| 1° | Genetics | D |
Massimo Delledonne
(Coordinator)
|
|
| 1° 2° | Algorithms | D |
Roberto Segala
(Coordinator)
|
|
| 1° 2° | Introduction to Docker | D |
Franco Fummi
(Coordinator)
|
|
| 1° 2° | Mobile app design by using React Native | D |
Graziano Pravadelli
(Coordinator)
|
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | Algorithms | D |
Roberto Segala
(Coordinator)
|
| 1° 2° | LaTeX Language | D |
Enrico Gregorio
(Coordinator)
|
| 1° 2° | Python programming language | D |
Carlo Combi
(Coordinator)
|
| 1° 2° | Organization Studies | D |
Serena Cubico
(Coordinator)
|
| 1° 2° | History and Didactics of Geology | D |
Guido Gonzato
(Coordinator)
|
| years | Modules | TAF | Teacher |
|---|---|---|---|
| 1° 2° | ECMI modelling week | F | Not yet assigned |
| 1° 2° | ESA Summer of code in space (SOCIS) | F | Not yet assigned |
| 1° 2° | Federated learning from zero to hero | D |
Gloria Menegaz
|
| 1° 2° | Google summer of code (GSOC) | F | Not yet assigned |
| 1° 2° | Mathematics mini courses |
Paolo Dai Pra
(Coordinator)
|
Mathematical Methods for Computer Science (2022/2023)
Teaching code
4S001438
Teacher
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
Semester 1 dal Oct 3, 2022 al Jan 27, 2023.
Learning objectives
The course aim is exploring the fundamentals of algorithms, programming languages and paradigms in a didactic and applicative perspective. We will analyze, plan and develop methodologies for teaching and learning informatics as a scientific discipline and, in particular, the use of programming languages. Techniques of constructive problem solving and cooperative development methodologies will be examined. 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 an educational and in an applicative context.
Prerequisites and basic notions
For participation in the course activities, some specific knowledge and skills in computer science and mathematics are useful:
- familiarity with the use of the computer and, in particular, with the editor and terminal;
- knowledge of at least one programming language;
- ability to write code in imperative style;
- elements of logic and deductive systems.
Program
The course deals with some fundamental topics of computer science, introduces methodologies for the development and coding of solutions, explores the languages and paradigms of programming.
In particular, during the course, the topics and activities described below will be developed.
- Algorithms and effective computing systems:
- Abstract machines,
- Computable and recursive functions,
- Rewriting systems,
- Specific computational models.
- Types, Logic and Data Structures.
- Programming paradigms: imperative, functional, functional, object-oriented.
- Fundamentals of functional and object-oriented programming.
- Introduction to some paradigmatic programming languages
- Development of projects and activities of educational and/or application interest.
In the development of the course, some teaching and learning methodologies will be addressed.
Bibliography
Didactic methods
The teaching activity will generally develop from one of the topics of the course as follows:
- introduction to the topic;
- deepening of the related topics and with consequent discussion;
- preparation of an activity related to the topic covered;
- development of the activity and
- presentation of the same with final discussion.
Part of the work can be developed autonomously by the students according to their inclination and the result discussed with the teacher and other students.
The activities will be able to emphasize the educational, foundational or application aspects according to the nature of the theme.
The methods study and development activities may vary in relation to the needs of course.
Learning assessment procedures
The final exam usually consists of a written test and an oral interview.
The written test covers the topics developed in class and includes general questions, exercises and the development of a theme.
The oral interview concerns the written work, the activity carried out and, in general, the topics of the course.
Admission to the oral interview is conditioned by passing the written test.
The written test can be partially replaced by partial tests or by the development of activities agreed with the teacher.
Evaluation criteria
The candidate must show that he has achieved the following knowledge and skills.
Understand and know how to effectively use the fundamental principles of programming languages and paradigms.
To know the mathematical foundations of programming languages.
Be able to use at least one programming language, know its fundamental aspects and the relevant problems related to its use.
Knowing how to use the knowledge and experience acquired in an application and educational field.
Criteria for the composition of the final grade
The final vote is given by the average evaluation of the written paper and the final interview.
Exam language
Inglese
