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