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:
Bachelor's degree in Computer Science - 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 |
|---|
Mathematical analysis 1
Computer Architecture
2° Year activated in the A.Y. 2024/2025
| Modules | Credits | TAF | SSD |
|---|
Mathematical analysis 2
3° Year activated in the A.Y. 2025/2026
| Modules | Credits | TAF | SSD |
|---|
1 module among the following| Modules | Credits | TAF | SSD |
|---|
Mathematical analysis 1
Computer Architecture
| Modules | Credits | TAF | SSD |
|---|
Mathematical analysis 2
| Modules | Credits | TAF | SSD |
|---|
1 module among the following| Modules | Credits | TAF | SSD |
|---|
Legend | 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.
Foundations of Computing (2025/2026)
Teaching code
4S00005
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
INF/01 - INFORMATICS
Period
1st semester dal Oct 1, 2025 al Jan 30, 2026.
Courses Single
Authorized
Learning objectives
The course covers standard principles and methods in theoretical computer science, notably in automata theory and computability. The course aims at providing skills in theoretical computer science and programming languages. At the end of the course, the student will be able to understand advanced computer science notions; to apply the acquired capabilities and knowledge for problem solving in its field of study; to be able to develop necessary expertise for affording the following studies with a sufficient degree of autonomy.
Prerequisites and basic notions
Basic Mathematics, Logic, Programming and Algorithms and Data Structures.
Program
The course is structured in two parts. Automata and formal languages: Languages and grammars, Finite state automata and regular languages, Context-free languages, normal forms and pushdown automata, Chomsky classification (outline). Computability Theory: Intuitive notion of algorithm, Formal models for computation: Turing machines/recursive functions/While programs, Church's thesis, Godelicization, Universality and the smn theorem, Solvable and unsolvable problems: the halting problem, Metaprogramming: compilation, interpretation and specialization, Recursive sets and re, Recursion theorems and Rice's theorem, Functional reducibility: Complete, creative and productive sets.
Bibliography
Didactic methods
Frontal lessons and exercises.
Learning assessment procedures
Written exam: The course is divided into two parts, each of which can be taken separately (even in different exam sessions) as each exam allows students to tackle the individual parts separately. Each written exam will be preceded by a pre-test. If the pre-test score is 18 or higher, students can choose to record an 18 or proceed to the exam itself, whose evaluation will take the pre-test score into account. Oral exam (only possible for the entire exam): The oral exam is optional but is only possible for those who obtain an overall score of 26 or higher. It is mandatory for those who aim to get a score above 26; that is, without taking an oral exam, the maximum possible grade is 26.
Evaluation criteria
Mathematical and computer science accuracy of the written content and exercises completed, and proper use of language. The aim of the pretest is to assess the minimum knowledge required to pass the exam.
The aim of the written exam is to assess the ability to apply the knowledge acquired during the course to solve exercises.
The aim of the oral exam is to assess advanced knowledge and understanding of the content that allows for critical analysis and re-elaboration of the concepts and results studied, including by assessing knowledge of theorems and proofs.
Criteria for the composition of the final grade
Pretest score (from 0 to 3) added to the grade out of thirtieths (relative to 28) obtained as the average of the grades out of thirtieths obtained in the two parts of the exam (The exam is considered passed if the overall grade is greater than or equal to 18).
Exam language
italiano
