Insegnamenti / Teachings

A.A. 2023/2024

• [ST1339] ADVANCED MATHEMATICAL LOGIC, incluso nell'attività didattica ADVANCED ALGEBRA AND MATHEMATICAL LOGIC (MATHEMATICS AND APPLICATIONS)
• [ST0928] COMPUTABILITY AND COMPLEXITY (MATHEMATICS AND APPLICATIONS)

A.A. 2022/2023

• [ST1339] ADVANCED MATHEMATICAL LOGIC, incluso nell'attività didattica ADVANCED ALGEBRA AND MATHEMATICAL LOGIC (MATHEMATICS AND APPLICATIONS)
• [ST0928] COMPUTABILITY AND COMPLEXITY (MATHEMATICS AND APPLICATIONS)

A.A. 2021/2022

• [ST0457] THEORY OF COMPLEXITY (COMPUTER SCIENCE)
• [ST0928] COMPUTABILITY AND COMPLEXITY (MATHEMATICS AND APPLICATIONS)