Курс на Stepik
Обложка курса «ThCS. Introduction to programming with dependent types in Scala» на Stepik
Бесплатно

ThCS. Introduction to programming with dependent types in Scala ★ 5.000

Открыть на
STEPIK.ORG

Theoretical Computer Science. Introduction to programming with dependent types in Scala

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «ThCS. Introduction to programming with dependent types in Scala»Учеников на курсе 3 073
Сертификаты, выданные на курсе «ThCS. Introduction to programming with dependent types in Scala»Сертификатов выдано 0
Отзывы о курсе «ThCS. Introduction to programming with dependent types in Scala»Отзывов получено 3
Рейтинг курса «ThCS. Introduction to programming with dependent types in Scala»Рейтинг курса 5.000
Уроки в курсе «ThCS. Introduction to programming with dependent types in Scala»Количество уроков 41
Тесты в курсе «ThCS. Introduction to programming with dependent types in Scala»Количество квизов 47
Задачи с кодом в курсе «ThCS. Introduction to programming with dependent types in Scala»Количество задач с кодом 4
Время прохождения курса «ThCS. Introduction to programming with dependent types in Scala»Время прохождения курса —
Обновления курса «ThCS. Introduction to programming with dependent types in Scala»Обновления курса — —
Дата публикации курса «ThCS. Introduction to programming with dependent types in Scala»Дата публикации курса — ———
Последнее обновление курса «ThCS. Introduction to programming with dependent types in Scala»Последнее обновление — ———

Содержание курса

Разделы в курсе «ThCS. Introduction to programming with dependent types in Scala» 2 раздела Уроки в курсе «ThCS. Introduction to programming with dependent types in Scala» 41 урок Тесты в курсе «ThCS. Introduction to programming with dependent types in Scala» 47 тестов Задачи в курсе «ThCS. Introduction to programming with dependent types in Scala» 4 задачи Время прохождения курса «ThCS. Introduction to programming with dependent types in Scala» 12 ч. Последнее обновление курса «ThCS. Introduction to programming with dependent types in Scala» обн. 2 года назад

1. Theory

17 уроков
Закрытый
1.1 Installing software ↗
1 620
749
8м 53с
23
Закрытый
1.2 Dependent types ↗
1 006
714
4м 30с
14
Закрытый
1.3 Path-dependent types ↗
543
451
4м 29с
9
Закрытый
1.4 Type classes. Simulacrum ↗
439
264
51м 10с
10
Закрытый
1.5 Product type ↗
298
224
13м 37с
8
Закрытый
1.6 Co-product type (sum type) ↗
203
153
22м 38с
6
Закрытый
1.7 Function type ↗
180
93
39м 23с
5
Закрытый
1.8 Dependent pair type (Σ-type) ↗
165
68
58м 43с
6
Закрытый
1.9 Dependent function type (Π-type) ↗
112
55
47м 23с
6
Закрытый
1.10 Empty and unit types ↗
84
70
11м 0с
4
Закрытый
1.11 Boolean type ↗
108
79
12м 43с
4
Закрытый
1.12 Type of natural numbers ↗
126
85
11м 58с
4
Закрытый
1.13 List type ↗
106
70
9м 15с
4
Закрытый
1.14 Type of fixed-length vectors ↗
77
60
16м 16с
4
Закрытый
1.15 Identity type. Curry–Howard correspondence ↗
104
52
55м 15с
5
Закрытый
1.16 Eliminators into dependent types (induction) ↗
68
43
102м 8с
5
Закрытый
1.17 Type-level programming. Shapeless ↗
147
95
36м 6с
8

2. Practice

24 урока
Закрытый
2.1 Boolean type: OR, XOR, isEqual ↗
462
17
41м 54с
5
Закрытый
2.2 Type of natural numbers. Part 1: triple, predecessor, square ↗
170
11
15м 58с
6
Закрытый
2.3 Type of natural numbers. Part 2: multiplication, add3 ↗
194
11
16м 56с
5
Закрытый
2.4 Type of natural numbers. Part 3: exponentiation, factorial ↗
99
9
3м 1с
4
Закрытый
2.5 Type of natural numbers. Part 4: isZero, isOdd/isEven ↗
120
11
5м 0с
4
Закрытый
2.6 Type of natural numbers. Part 5: isEqual, isLess/isGreater ↗
93
11
19м 29с
4
Закрытый
2.7 Type of natural numbers. Part 6: subtract, Fibonacci ↗
157
9
-
4
Закрытый
2.8 Product type: half, Fibonacci ↗
91
13
43м 41с
5
Закрытый
2.9 Dependent function type (Π-type): ifElse ↗
88
10
4м 33с
4
Закрытый
2.10 List type. Part 1: head, tail, isNil ↗
163
13
10м 11с
6
Закрытый
2.11 List type. Part 2: last, init, append ↗
74
11
14м 0с
3
Закрытый
2.12 List type. Part 3: revert, concatenation, take/drop ↗
76
10
11м 17с
5
Закрытый
2.13 Type family List(A). Part1: map, filter ↗
91
8
-
4
Закрытый
2.14 Type family List(A). Part2: foldl/foldr ↗
62
8
-
4
Закрытый
2.15 Type family List(A). Part 3: zip, isEqual ↗
71
9
-
5
Закрытый
2.16 Type of fixed-length vectors. Part 1: append, concatenation ↗
71
8
-
4
Закрытый
2.17 Type of fixed-length vectors. Part 2: addition, scalar product ↗
70
8
-
4
Закрытый
2.18 Matrices: transpose ↗
67
7
-
4
Закрытый
2.19 Identity type. Part 1: symmetricity, transitivity, mapping ↗
54
10
18м 3с
3
Закрытый
2.20 Identity type. Part 2: NOT(NOT), AND true/false, de Morgan ↗
83
9
3м 35с
4
Закрытый
2.21 Identity type. Part 3: AND is commutative, 0 is neutral element ↗
86
8
-
4
Закрытый
2.22 Type classes: list as a Monad and binary tree as a Foldable ↗
203
39
36м 58с
5
Закрытый
2.23 Type-level programming. Part 1: number exponentiation ↗
81
8
-
5
Закрытый
2.24 Type-level programming. Part 2: vector concatenation ↗
58
6
-
3