Bachelor 2023/2024

Programming with Dependent Types

Type: Elective course (Applied Mathematics and Information Science)

Area of studies: Applied Mathematics and Information Science

Delivered by: Department of Informatics

Where: St. Petersburg School of Physics, Mathematics, and Computer Science

When: 4 year, 1, 2 module

Mode of studies: offline

Open to: students of one campus

Instructors: Denis Moskvin

Language: Russian

ECTS credits: 5

Contact hours: 40