| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.6 Начало математической логики.mp4 |
133 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.3 Софизмы и парадоксы.mp4 |
82 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.7 Математическая логика в своем блеске и великолепии.mp4 |
68.4 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.2 Что такое математика.mp4 |
62.4 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.1 Что такое логика.mp4 |
51.7 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.4 Математическая логика.mp4 |
49.2 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1.5 Становление логики.mp4 |
28.9 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_1.pdf |
6 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_2.pdf |
5.1 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_5.pdf |
3.9 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_6.pdf |
3.8 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_7.pdf |
2.7 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_3.pdf |
2.1 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/1_4.pdf |
1.2 MB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_6.pdf |
186 KB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_5.pdf |
171 KB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_7.pdf |
148 KB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_3.pdf |
119 KB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_1.pdf |
92 KB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_4.pdf |
83 KB |
| Математическая логика и теория алгоритмов/Глава 1. Миссия математической логики/Модуль 1_2.pdf |
82 KB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2.3 Отношения.mp4 |
207.2 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2.5 Эквивалентность и порядок.mp4 |
175.8 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2.6 Функции (отображения).mp4 |
174.3 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2.2 Операции над множествами.mp4 |
143.1 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2.1 Интуитивная теория множеств.mp4 |
141.5 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2.4 Специальные свойства отношений.mp4 |
57.8 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2_5.pdf |
4.3 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2_6.pdf |
4.3 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2_3.pdf |
3 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2_1.pdf |
2.6 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2_4.pdf |
2.3 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/2_2.pdf |
2.1 MB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/Модуль 2_6.pdf |
143 KB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/Модуль 2_5.pdf |
132 KB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/Модуль 2_3-2_4.pdf |
129 KB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/Модуль 2_3-2_4_2.pdf |
129 KB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/Модуль 2_2.pdf |
121 KB |
| Математическая логика и теория алгоритмов/Глава 2. Основы теории множеств/Модуль 2_1.pdf |
68 KB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3.3 Язык логики высказываний.mp4 |
201.7 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3.1 Высказывания и высказывательные формы.mp4 |
174.3 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3.2 Пропозициональные логические связки.mp4 |
147.1 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3.4 Тавтологии.mp4 |
135.6 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3.5 Равносильности.mp4 |
113.2 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3_4.pdf |
6.5 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3_1.pdf |
4.1 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3_5.pdf |
3.5 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3_3.pdf |
3.3 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/3_2.pdf |
2.4 MB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/Модуль 3_1-3_2_2.pdf |
161 KB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/Модуль 3_1-3_2.pdf |
161 KB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/Модуль 3_3.pdf |
135 KB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/Модуль 3_4-3_5_2.pdf |
126 KB |
| Математическая логика и теория алгоритмов/Глава 3. Пропозициональная логика/Модуль 3_4-3_5.pdf |
126 KB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4.2 Термы и формулы.mp4 |
189.2 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4.6 Примеры перевода с естественного языка на логический и обратно.mp4 |
159.3 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4.3 Интерпретация формул.mp4 |
150.4 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4.4 Формулы общезначимые, выполнимые, логически эквивалентные.mp4 |
140.1 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4.5 Перевод с естественного языка на логический и обратно.mp4 |
100.8 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4.1 Предикаты и кванторы.mp4 |
83.2 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4_3.pdf |
3.7 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4_2.pdf |
3.3 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4_5.pdf |
3.2 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4_4.pdf |
3.1 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4_6.pdf |
3.1 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/4_1.pdf |
1.4 MB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/Модуль 4_4.pdf |
179 KB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/Модуль 4_2.pdf |
101 KB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/Модуль 4_3.pdf |
99 KB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/Модуль 4_5-4_6.pdf |
95 KB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/Модуль 4_5-4_6_2.pdf |
95 KB |
| Математическая логика и теория алгоритмов/Глава 4. Языки первого порядка/Модуль 4_1.pdf |
56 KB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5.4 Теории первого порядка.mp4 |
169.5 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5.2 Формальные аксиоматические теории.mp4 |
162.1 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5.5 Примеры формальных аксиоматических теорий.mp4 |
150.6 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5.3 Исчисление высказываний.mp4 |
138 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5.1 Аксиоматическое построение математических теорий.mp4 |
95.4 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5_2.pdf |
2.7 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5_4.pdf |
2.7 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5_3.pdf |
1.9 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5_1.pdf |
1.7 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/5_5.pdf |
1.5 MB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/Модуль 5_2.pdf |
141 KB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/Модуль 5_4.pdf |
119 KB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/Модуль 5_5.pdf |
104 KB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/Модуль 5_1.pdf |
97 KB |
| Математическая логика и теория алгоритмов/Глава 5. Аксиоматический метод/Модуль 5_3.pdf |
95 KB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6.4 Компьютерные доказательства.mp4 |
228.1 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6.3 Различные виды доказательств в математике.mp4 |
197.2 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6.2 Математическая индукция.mp4 |
153 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6.1 Индуктивное рассуждение.mp4 |
140.1 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6_4.pdf |
3 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6_3.pdf |
2.8 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6_2.pdf |
2 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/6_1.pdf |
1.7 MB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/Модуль 6_2.pdf |
200 KB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/Модуль 6_3.pdf |
143 KB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/Модуль 6_4.pdf |
110 KB |
| Математическая логика и теория алгоритмов/Глава 6. Математическое доказательство/Модуль 6_1.pdf |
94 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.1 Неформальная вычислимость и машины Тьюринга.mp4 |
227.6 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.7 Сложность задач.mp4 |
218.1 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.2 Частично-рекурсивные функции.mp4 |
179.2 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.5 Асимптотические обозначения.mp4 |
130.1 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.6 Алгоритмы и их сложность.mp4 |
127.9 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.4 Некоторые алгоритмически неразрешимые проблемы.mp4 |
117.4 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7.3 Тезис Черча.mp4 |
99.4 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_7.pdf |
3.1 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_2.pdf |
2.7 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_1.pdf |
2.1 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_3.pdf |
1.7 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_5.pdf |
1.5 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_6.pdf |
1.4 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/7_4.pdf |
1.3 MB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_5.pdf |
135 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_2.pdf |
104 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_1.pdf |
101 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_7.pdf |
77 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_6.pdf |
67 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_4.pdf |
62 KB |
| Математическая логика и теория алгоритмов/Глава 7. Теория алгоритмов/Модуль 7_3.pdf |
54 KB |
| Математическая логика и теория алгоритмов/Математическая логика и теория алгоритмов.mp4 |
29.7 MB |
| Математическая логика и теория алгоритмов/Содержание.txt |
6 KB |
| Математическая логика и теория алгоритмов/Постер.jpg |
2 KB |
Magnet link
