Personal profile: Maria Emilia Maietti

INTRODUCTION:

You will find a short presentation of the course TYPE THEORY
in


====================================================
HOMEPAGE OF THE THEORY PART :

https://www.math.unipd.it/~maietti/typ24.html

====================================================
INFORMATION ABOUT THE FINAL EXAMINATIONS:

oral examinations: more information in
https://www.math.unipd.it/~maietti/typ24.html

==========================================================
TIME AND ROOM of the lectures

The lectures will be given physically in the room (unless agreed otherwise for some of you abroad)

on Thursday: from 16.30 up to 18 in 1BC50
on Friday: from 16.30 up to 18 in 1BC50

The first 24 hours are about the "theory" part and are delivered by Prof. Maria Emilia Maietti.

The latter 24 hours are about the "practice" part and are delivered by Prof. Ingo Blechschmidt on how to use the proof-assistant Agda.

You can find videos of lectures delivered on the theory part in 2022 at
https://elearning.unipd.it/math/course/view.php?id=894

More information on videos is available on the homepage of the theory part.

Category DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM / A.A. 2023 - 2024 / Corsi di laurea magistrale / SC2598 - COMPUTER SCIENCE

The course will be divided into two parts:

16 hours delivered by Prof. Maria Emilia Maietti on categorical logic
32 hours delivered by Prof. Silvia Crafa on constructive mathematics and computability
as presented in
https://www.math.unipd.it/~maietti/2lo/ann2lo24.pdf

Category DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM / A.A. 2023 - 2024 / Corsi di laurea magistrale / SC2651 - MATHEMATICS

Type theory: a bridge between mathematics and computer science through
a set theory where sets are types and proofs are programs.

Category DEPARTMENT OF MATHEMATICS "Tullio Levi-Civita" - DM / A.A.2024 - 2025 / Corsi di laurea magistrale / SC2598 - COMPUTER SCIENCE