zhongziso种子搜
首页
功能
磁力转BT
BT转磁力
使用教程
免责声明
关于
zhongziso
搜索
Математическая логика и теория алгоритмов
magnet:?xt=urn:btih:e0ab9d292182f306dc7e0ef178256b18c36738a2&dn=Математическая логика и теория алгоритмов
磁力链接详情
Hash值:
e0ab9d292182f306dc7e0ef178256b18c36738a2
点击数:
40
文件大小:
5.4 GB
文件数量:
41
创建日期:
2023-9-23 00:42
最后访问:
2024-6-2 20:52
访问标签:
Математическая
логика
и
теория
алгоритмов
文件列表详情
Глава 1. Миссия математической логики/1.6 Начало математической логики.mp4 133.05 MB
Глава 1. Миссия математической логики/1.3 Софизмы и парадоксы.mp4 81.97 MB
Глава 1. Миссия математической логики/1.7 Математическая логика в своем блеске и великолепии.mp4 68.44 MB
Глава 1. Миссия математической логики/1.2 Что такое математика.mp4 62.44 MB
Глава 1. Миссия математической логики/1.1 Что такое логика.mp4 51.75 MB
Глава 1. Миссия математической логики/1.4 Математическая логика.mp4 49.21 MB
Глава 1. Миссия математической логики/1.5 Становление логики.mp4 28.94 MB
Глава 2. Основы теории множеств/2.3 Отношения.mp4 207.17 MB
Глава 2. Основы теории множеств/2.5 Эквивалентность и порядок.mp4 175.81 MB
Глава 2. Основы теории множеств/2.6 Функции (отображения).mp4 174.33 MB
Глава 2. Основы теории множеств/2.2 Операции над множествами.mp4 143.1 MB
Глава 2. Основы теории множеств/2.1 Интуитивная теория множеств.mp4 141.48 MB
Глава 2. Основы теории множеств/2.4 Специальные свойства отношений.mp4 57.79 MB
Глава 3. Пропозициональная логика/3.3 Язык логики высказываний.mp4 201.73 MB
Глава 3. Пропозициональная логика/3.1 Высказывания и высказывательные формы.mp4 174.32 MB
Глава 3. Пропозициональная логика/3.2 Пропозициональные логические связки.mp4 147.09 MB
Глава 3. Пропозициональная логика/3.4 Тавтологии.mp4 135.6 MB
Глава 3. Пропозициональная логика/3.5 Равносильности.mp4 113.17 MB
Глава 4. Языки первого порядка/4.2 Термы и формулы.mp4 189.2 MB
Глава 4. Языки первого порядка/4.6 Примеры перевода с естественного языка на логический и обратно.mp4 159.27 MB
Глава 4. Языки первого порядка/4.3 Интерпретация формул.mp4 150.38 MB
Глава 4. Языки первого порядка/4.4 Формулы общезначимые, выполнимые, логически эквивалентные.mp4 140.12 MB
Глава 4. Языки первого порядка/4.5 Перевод с естественного языка на логический и обратно.mp4 100.8 MB
Глава 4. Языки первого порядка/4.1 Предикаты и кванторы.mp4 83.16 MB
Глава 5. Аксиоматический метод/5.4 Теории первого порядка.mp4 169.5 MB
Глава 5. Аксиоматический метод/5.2 Формальные аксиоматические теории.mp4 162.07 MB
Глава 5. Аксиоматический метод/5.5 Примеры формальных аксиоматических теорий.mp4 150.64 MB
Глава 5. Аксиоматический метод/5.3 Исчисление высказываний.mp4 138.04 MB
Глава 5. Аксиоматический метод/5.1 Аксиоматическое построение математических теорий.mp4 95.36 MB
Глава 6. Математическое доказательство/6.4 Компьютерные доказательства.mp4 228.06 MB
Глава 6. Математическое доказательство/6.3 Различные виды доказательств в математике.mp4 197.24 MB
Глава 6. Математическое доказательство/6.2 Математическая индукция.mp4 153.04 MB
Глава 6. Математическое доказательство/6.1 Индуктивное рассуждение.mp4 140.07 MB
Глава 7. Теория алгоритмов/7.1 Неформальная вычислимость и машины Тьюринга.mp4 227.64 MB
Глава 7. Теория алгоритмов/7.7 Сложность задач.mp4 218.08 MB
Глава 7. Теория алгоритмов/7.2 Частично-рекурсивные функции.mp4 179.17 MB
Глава 7. Теория алгоритмов/7.5 Асимптотические обозначения.mp4 130.12 MB
Глава 7. Теория алгоритмов/7.6 Алгоритмы и их сложность.mp4 127.9 MB
Глава 7. Теория алгоритмов/7.4 Некоторые алгоритмически неразрешимые проблемы.mp4 117.41 MB
Глава 7. Теория алгоритмов/7.3 Тезис Черча.mp4 99.43 MB
Математическая логика и теория алгоритмов.mp4 29.65 MB
其他位置