|
Please note that this page does not hosts or makes available any of the listed filenames. You
cannot download any of those files from here.
|
| 1_1.pdf |
6.02MB |
| 1_2.pdf |
5.08MB |
| 1_3.pdf |
2.08MB |
| 1_4.pdf |
1.19MB |
| 1_5.pdf |
3.93MB |
| 1_6.pdf |
3.80MB |
| 1_7.pdf |
2.73MB |
| 1.1 Что такое логика.mp4 |
51.75MB |
| 1.2 Что такое математика.mp4 |
62.44MB |
| 1.3 Софизмы и парадоксы.mp4 |
81.97MB |
| 1.4 Математическая логика.mp4 |
49.21MB |
| 1.5 Становление логики.mp4 |
28.94MB |
| 1.6 Начало математической логики.mp4 |
133.05MB |
| 1.7 Математическая логика в своем блеске и великолепии.mp4 |
68.44MB |
| 2_1.pdf |
2.63MB |
| 2_2.pdf |
2.12MB |
| 2_3.pdf |
3.00MB |
| 2_4.pdf |
2.31MB |
| 2_5.pdf |
4.34MB |
| 2_6.pdf |
4.28MB |
| 2.1 Интуитивная теория множеств.mp4 |
141.48MB |
| 2.2 Операции над множествами.mp4 |
143.10MB |
| 2.3 Отношения.mp4 |
207.17MB |
| 2.4 Специальные свойства отношений.mp4 |
57.79MB |
| 2.5 Эквивалентность и порядок.mp4 |
175.81MB |
| 2.6 Функции (отображения).mp4 |
174.33MB |
| 3_1.pdf |
4.12MB |
| 3_2.pdf |
2.37MB |
| 3_3.pdf |
3.26MB |
| 3_4.pdf |
6.50MB |
| 3_5.pdf |
3.51MB |
| 3.1 Высказывания и высказывательные формы.mp4 |
174.32MB |
| 3.2 Пропозициональные логические связки.mp4 |
147.09MB |
| 3.3 Язык логики высказываний.mp4 |
201.73MB |
| 3.4 Тавтологии.mp4 |
135.60MB |
| 3.5 Равносильности.mp4 |
113.17MB |
| 4_1.pdf |
1.42MB |
| 4_2.pdf |
3.25MB |
| 4_3.pdf |
3.72MB |
| 4_4.pdf |
3.08MB |
| 4_5.pdf |
3.24MB |
| 4_6.pdf |
3.06MB |
| 4.1 Предикаты и кванторы.mp4 |
83.16MB |
| 4.2 Термы и формулы.mp4 |
189.20MB |
| 4.3 Интерпретация формул.mp4 |
150.38MB |
| 4.4 Формулы общезначимые, выполнимые, логически эквивалентные.mp4 |
140.12MB |
| 4.5 Перевод с естественного языка на логический и обратно.mp4 |
100.80MB |
| 4.6 Примеры перевода с естественного языка на логический и обратно.mp4 |
159.27MB |
| 5_1.pdf |
1.65MB |
| 5_2.pdf |
2.72MB |
| 5_3.pdf |
1.87MB |
| 5_4.pdf |
2.70MB |
| 5_5.pdf |
1.48MB |
| 5.1 Аксиоматическое построение математических теорий.mp4 |
95.36MB |
| 5.2 Формальные аксиоматические теории.mp4 |
162.07MB |
| 5.3 Исчисление высказываний.mp4 |
138.04MB |
| 5.4 Теории первого порядка.mp4 |
169.50MB |
| 5.5 Примеры формальных аксиоматических теорий.mp4 |
150.64MB |
| 6_1.pdf |
1.67MB |
| 6_2.pdf |
2.01MB |
| 6_3.pdf |
2.80MB |
| 6_4.pdf |
2.96MB |
| 6.1 Индуктивное рассуждение.mp4 |
140.07MB |
| 6.2 Математическая индукция.mp4 |
153.04MB |
| 6.3 Различные виды доказательств в математике.mp4 |
197.24MB |
| 6.4 Компьютерные доказательства.mp4 |
228.06MB |
| 7_1.pdf |
2.12MB |
| 7_2.pdf |
2.74MB |
| 7_3.pdf |
1.71MB |
| 7_4.pdf |
1.32MB |
| 7_5.pdf |
1.55MB |
| 7_6.pdf |
1.43MB |
| 7_7.pdf |
3.13MB |
| 7.1 Неформальная вычислимость и машины Тьюринга.mp4 |
227.64MB |
| 7.2 Частично-рекурсивные функции.mp4 |
179.17MB |
| 7.3 Тезис Черча.mp4 |
99.43MB |
| 7.4 Некоторые алгоритмически неразрешимые проблемы.mp4 |
117.41MB |
| 7.5 Асимптотические обозначения.mp4 |
130.12MB |
| 7.6 Алгоритмы и их сложность.mp4 |
127.90MB |
| 7.7 Сложность задач.mp4 |
218.08MB |
| Математическая логика и теория алгоритмов.mp4 |
29.65MB |
| Модуль 1_1.pdf |
92.11KB |
| Модуль 1_2.pdf |
81.96KB |
| Модуль 1_3.pdf |
118.94KB |
| Модуль 1_4.pdf |
83.31KB |
| Модуль 1_5.pdf |
171.14KB |
| Модуль 1_6.pdf |
186.27KB |
| Модуль 1_7.pdf |
148.08KB |
| Модуль 2_1.pdf |
68.44KB |
| Модуль 2_2.pdf |
120.54KB |
| Модуль 2_3-2_4_2.pdf |
128.73KB |
| Модуль 2_3-2_4.pdf |
128.73KB |
| Модуль 2_5.pdf |
131.71KB |
| Модуль 2_6.pdf |
142.67KB |
| Модуль 3_1-3_2_2.pdf |
160.90KB |
| Модуль 3_1-3_2.pdf |
160.90KB |
| Модуль 3_3.pdf |
135.00KB |
| Модуль 3_4-3_5_2.pdf |
125.74KB |
| Модуль 3_4-3_5.pdf |
125.74KB |
| Модуль 4_1.pdf |
55.54KB |
| Модуль 4_2.pdf |
100.72KB |
| Модуль 4_3.pdf |
99.16KB |
| Модуль 4_4.pdf |
178.86KB |
| Модуль 4_5-4_6_2.pdf |
94.82KB |
| Модуль 4_5-4_6.pdf |
94.82KB |
| Модуль 5_1.pdf |
96.75KB |
| Модуль 5_2.pdf |
140.83KB |
| Модуль 5_3.pdf |
95.03KB |
| Модуль 5_4.pdf |
119.02KB |
| Модуль 5_5.pdf |
104.02KB |
| Модуль 6_1.pdf |
93.89KB |
| Модуль 6_2.pdf |
200.17KB |
| Модуль 6_3.pdf |
142.86KB |
| Модуль 6_4.pdf |
110.42KB |
| Модуль 7_1.pdf |
100.88KB |
| Модуль 7_2.pdf |
103.67KB |
| Модуль 7_3.pdf |
53.72KB |
| Модуль 7_4.pdf |
61.61KB |
| Модуль 7_5.pdf |
135.05KB |
| Модуль 7_6.pdf |
67.50KB |
| Модуль 7_7.pdf |
76.96KB |
| Постер.jpg |
2.46KB |
| Содержание.txt |
5.63KB |