MODELS OF COMPUTATION

Course objectives

General goals: The course is aimed at the acquisition of mathematical knowledge related to fundamental aspects of functional and imperative programming languages ​​with particular attention to the execution mechanisms of programs. Specific goals: Knowledge and understanding: At the end of the course students will have full understanding of the proposed mathematical tools. Ability to apply knowledge and understanding: Students will be able to deepen the study independently by consulting manuals or scientific publications. Critical and judgmental skills: The acquired knowledge will allow students to identify and compare the proposed topics in the use of programming languages, in particular in the workplace. Ability to communicate what has been learned: Studenta are stimulated to report and communicate their experiences to colleagues. Continue the study independently in the course of life: The course deals with fundamental aspects of programming, ensuring students the possibility of identifying them autonomously in the use of each particular language.

Channel 1
ADOLFO PIPERNO Lecturers' profile

Program - Frequency - Exams

Course program
Introduction to lambda-calculus, syntax and operational semantics. [10 hours] Church-Rosser theorem. [10 hours] Church's thesis. [10 hours] Data structures and their representation in lambda-calculus. [10 hours] Systems of types, strong and weak normalization. [10 hours] Böhm's theorem. [10 hours]
Prerequisites
None
Books
Notes from the teacher
Teaching mode
Beside the frontal teaching, divided into lessons for about 70% of the hours and exercises for the remaining 30%, there is a tutoring activity in laboratory, not mandatory, where students can individually develop programs supported by a tutor.
Frequency
Not mandatory
Exam mode
The exam will be written (essential for the final evaluation) with closed or open questions. An oral discussion of the written test can be provided (at the request of the student). A mid-term test is foreseen.
Bibliography
None
Lesson mode
Frontal teaching, divided into lessons for about 70% of the hours and exercises for the remaining 30%.
ADOLFO PIPERNO Lecturers' profile

Program - Frequency - Exams

Course program
Introduction to lambda-calculus, syntax and operational semantics. [10 hours] Church-Rosser theorem. [10 hours] Church's thesis. [10 hours] Data structures and their representation in lambda-calculus. [10 hours] Systems of types, strong and weak normalization. [10 hours] Böhm's theorem. [10 hours]
Prerequisites
None
Books
Notes from the teacher
Teaching mode
Beside the frontal teaching, divided into lessons for about 70% of the hours and exercises for the remaining 30%, there is a tutoring activity in laboratory, not mandatory, where students can individually develop programs supported by a tutor.
Frequency
Not mandatory
Exam mode
The exam will be written (essential for the final evaluation) with closed or open questions. An oral discussion of the written test can be provided (at the request of the student). A mid-term test is foreseen.
Bibliography
None
Lesson mode
Frontal teaching, divided into lessons for about 70% of the hours and exercises for the remaining 30%.
  • Lesson code1047638
  • Academic year2025/2026
  • CourseComputer Science
  • CurriculumSingle curriculum
  • Year2nd year
  • Semester1st semester
  • SSDINF/01
  • CFU6