Математическая логика и теория алгоритмов

BT种子名称

请保存以下最新地址

BT种子基本信息

种子哈希：e0ab9d292182f306dc7e0ef178256b18c36738a2
文档大小：5.9 GB
文档个数：123个文档
下载次数：19306次
下载速度：极快
收录时间：2020-10-25
最近下载：2025-05-24

下载磁力链接

magnet:?xt=urn:btih:E0AB9D292182F306DC7E0EF178256B18C36738A2
复制磁力链接到PikPak、utorrent、Bitcomet、迅雷、115、百度网盘等下载工具进行下载。

下载BT种子

磁力链接种子下载迅雷下载二维码 51TikTok破解 91视频 91短视频 51品茶逼哩逼哩萝莉岛欲漫涩草榴社区含羞草抖阴破解版 TikTok成人版成人快手乱伦巴士成人DeepSeek 极乐禁地

文档列表

Глава 6. Математическое доказательство/6.4 Компьютерные доказательства.mp4 239.1 MB
Глава 7. Теория алгоритмов/7.1 Неформальная вычислимость и машины Тьюринга.mp4 238.7 MB
Глава 7. Теория алгоритмов/7.7 Сложность задач.mp4 228.7 MB
Глава 2. Основы теории множеств/2.3 Отношения.mp4 217.2 MB
Глава 3. Пропозициональная логика/3.3 Язык логики высказываний.mp4 211.5 MB
Глава 6. Математическое доказательство/6.3 Различные виды доказательств в математике.mp4 206.8 MB
Глава 4. Языки первого порядка/4.2 Термы и формулы.mp4 198.4 MB
Глава 7. Теория алгоритмов/7.2 Частично-рекурсивные функции.mp4 187.9 MB
Глава 2. Основы теории множеств/2.5 Эквивалентность и порядок.mp4 184.3 MB
Глава 2. Основы теории множеств/2.6 Функции (отображения).mp4 182.8 MB
Глава 3. Пропозициональная логика/3.1 Высказывания и высказывательные формы.mp4 182.8 MB
Глава 5. Аксиоматический метод/5.4 Теории первого порядка.mp4 177.7 MB
Глава 5. Аксиоматический метод/5.2 Формальные аксиоматические теории.mp4 169.9 MB
Глава 4. Языки первого порядка/4.6 Примеры перевода с естественного языка на логический и обратно.mp4 167.0 MB
Глава 6. Математическое доказательство/6.2 Математическая индукция.mp4 160.5 MB
Глава 5. Аксиоматический метод/5.5 Примеры формальных аксиоматических теорий.mp4 158.0 MB
Глава 4. Языки первого порядка/4.3 Интерпретация формул.mp4 157.7 MB
Глава 3. Пропозициональная логика/3.2 Пропозициональные логические связки.mp4 154.2 MB
Глава 2. Основы теории множеств/2.2 Операции над множествами.mp4 150.1 MB
Глава 2. Основы теории множеств/2.1 Интуитивная теория множеств.mp4 148.4 MB
Глава 4. Языки первого порядка/4.4 Формулы общезначимые, выполнимые, логически эквивалентные.mp4 146.9 MB
Глава 6. Математическое доказательство/6.1 Индуктивное рассуждение.mp4 146.9 MB
Глава 5. Аксиоматический метод/5.3 Исчисление высказываний.mp4 144.7 MB
Глава 3. Пропозициональная логика/3.4 Тавтологии.mp4 142.2 MB
Глава 1. Миссия математической логики/1.6 Начало математической логики.mp4 139.5 MB
Глава 7. Теория алгоритмов/7.5 Асимптотические обозначения.mp4 136.4 MB
Глава 7. Теория алгоритмов/7.6 Алгоритмы и их сложность.mp4 134.1 MB
Глава 7. Теория алгоритмов/7.4 Некоторые алгоритмически неразрешимые проблемы.mp4 123.1 MB
Глава 3. Пропозициональная логика/3.5 Равносильности.mp4 118.7 MB
Глава 4. Языки первого порядка/4.5 Перевод с естественного языка на логический и обратно.mp4 105.7 MB
Глава 7. Теория алгоритмов/7.3 Тезис Черча.mp4 104.3 MB
Глава 5. Аксиоматический метод/5.1 Аксиоматическое построение математических теорий.mp4 100.0 MB
Глава 4. Языки первого порядка/4.1 Предикаты и кванторы.mp4 87.2 MB
Глава 1. Миссия математической логики/1.3 Софизмы и парадоксы.mp4 86.0 MB
Глава 1. Миссия математической логики/1.7 Математическая логика в своем блеске и великолепии.mp4 71.8 MB
Глава 1. Миссия математической логики/1.2 Что такое математика.mp4 65.5 MB
Глава 2. Основы теории множеств/2.4 Специальные свойства отношений.mp4 60.6 MB
Глава 1. Миссия математической логики/1.1 Что такое логика.mp4 54.3 MB
Глава 1. Миссия математической логики/1.4 Математическая логика.mp4 51.6 MB
Математическая логика и теория алгоритмов.mp4 31.1 MB
Глава 1. Миссия математической логики/1.5 Становление логики.mp4 30.3 MB
Глава 3. Пропозициональная логика/3_4.pdf 6.8 MB
Глава 1. Миссия математической логики/1_1.pdf 6.3 MB
Глава 1. Миссия математической логики/1_2.pdf 5.3 MB
Глава 2. Основы теории множеств/2_5.pdf 4.6 MB
Глава 2. Основы теории множеств/2_6.pdf 4.5 MB
Глава 3. Пропозициональная логика/3_1.pdf 4.3 MB
Глава 1. Миссия математической логики/1_5.pdf 4.1 MB
Глава 1. Миссия математической логики/1_6.pdf 4.0 MB
Глава 4. Языки первого порядка/4_3.pdf 3.9 MB
Глава 3. Пропозициональная логика/3_5.pdf 3.7 MB
Глава 3. Пропозициональная логика/3_3.pdf 3.4 MB
Глава 4. Языки первого порядка/4_2.pdf 3.4 MB
Глава 4. Языки первого порядка/4_5.pdf 3.4 MB
Глава 7. Теория алгоритмов/7_7.pdf 3.3 MB
Глава 4. Языки первого порядка/4_4.pdf 3.2 MB
Глава 4. Языки первого порядка/4_6.pdf 3.2 MB
Глава 2. Основы теории множеств/2_3.pdf 3.2 MB
Глава 6. Математическое доказательство/6_4.pdf 3.1 MB
Глава 6. Математическое доказательство/6_3.pdf 2.9 MB
Глава 7. Теория алгоритмов/7_2.pdf 2.9 MB
Глава 1. Миссия математической логики/1_7.pdf 2.9 MB
Глава 5. Аксиоматический метод/5_2.pdf 2.9 MB
Глава 5. Аксиоматический метод/5_4.pdf 2.8 MB
Глава 2. Основы теории множеств/2_1.pdf 2.8 MB
Глава 3. Пропозициональная логика/3_2.pdf 2.5 MB
Глава 2. Основы теории множеств/2_4.pdf 2.4 MB
Глава 2. Основы теории множеств/2_2.pdf 2.2 MB
Глава 7. Теория алгоритмов/7_1.pdf 2.2 MB
Глава 1. Миссия математической логики/1_3.pdf 2.2 MB
Глава 6. Математическое доказательство/6_2.pdf 2.1 MB
Глава 5. Аксиоматический метод/5_3.pdf 2.0 MB
Глава 7. Теория алгоритмов/7_3.pdf 1.8 MB
Глава 6. Математическое доказательство/6_1.pdf 1.7 MB
Глава 5. Аксиоматический метод/5_1.pdf 1.7 MB
Глава 7. Теория алгоритмов/7_5.pdf 1.6 MB
Глава 5. Аксиоматический метод/5_5.pdf 1.6 MB
Глава 7. Теория алгоритмов/7_6.pdf 1.5 MB
Глава 4. Языки первого порядка/4_1.pdf 1.5 MB
Глава 7. Теория алгоритмов/7_4.pdf 1.4 MB
Глава 1. Миссия математической логики/1_4.pdf 1.3 MB
Глава 6. Математическое доказательство/Модуль 6_2.pdf 205.0 kB
Глава 1. Миссия математической логики/Модуль 1_6.pdf 190.7 kB
Глава 4. Языки первого порядка/Модуль 4_4.pdf 183.2 kB
Глава 1. Миссия математической логики/Модуль 1_5.pdf 175.2 kB
Глава 3. Пропозициональная логика/Модуль 3_1-3_2_2.pdf 164.8 kB
Глава 3. Пропозициональная логика/Модуль 3_1-3_2.pdf 164.8 kB
Глава 1. Миссия математической логики/Модуль 1_7.pdf 151.6 kB
Глава 6. Математическое доказательство/Модуль 6_3.pdf 146.3 kB
Глава 2. Основы теории множеств/Модуль 2_6.pdf 146.1 kB
Глава 5. Аксиоматический метод/Модуль 5_2.pdf 144.2 kB
Глава 7. Теория алгоритмов/Модуль 7_5.pdf 138.3 kB
Глава 3. Пропозициональная логика/Модуль 3_3.pdf 138.2 kB
Глава 2. Основы теории множеств/Модуль 2_5.pdf 134.9 kB
Глава 2. Основы теории множеств/Модуль 2_3-2_4.pdf 131.8 kB
Глава 2. Основы теории множеств/Модуль 2_3-2_4_2.pdf 131.8 kB
Глава 3. Пропозициональная логика/Модуль 3_4-3_5_2.pdf 128.8 kB
Глава 3. Пропозициональная логика/Модуль 3_4-3_5.pdf 128.8 kB
Глава 2. Основы теории множеств/Модуль 2_2.pdf 123.4 kB
Глава 5. Аксиоматический метод/Модуль 5_4.pdf 121.9 kB
Глава 1. Миссия математической логики/Модуль 1_3.pdf 121.8 kB
Глава 6. Математическое доказательство/Модуль 6_4.pdf 113.1 kB
Глава 5. Аксиоматический метод/Модуль 5_5.pdf 106.5 kB
Глава 7. Теория алгоритмов/Модуль 7_2.pdf 106.2 kB
Глава 7. Теория алгоритмов/Модуль 7_1.pdf 103.3 kB
Глава 4. Языки первого порядка/Модуль 4_2.pdf 103.1 kB
Глава 4. Языки первого порядка/Модуль 4_3.pdf 101.5 kB
Глава 5. Аксиоматический метод/Модуль 5_1.pdf 99.1 kB
Глава 5. Аксиоматический метод/Модуль 5_3.pdf 97.3 kB
Глава 4. Языки первого порядка/Модуль 4_5-4_6.pdf 97.1 kB
Глава 4. Языки первого порядка/Модуль 4_5-4_6_2.pdf 97.1 kB
Глава 6. Математическое доказательство/Модуль 6_1.pdf 96.1 kB
Глава 1. Миссия математической логики/Модуль 1_1.pdf 94.3 kB
Глава 1. Миссия математической логики/Модуль 1_4.pdf 85.3 kB
Глава 1. Миссия математической логики/Модуль 1_2.pdf 83.9 kB
Глава 7. Теория алгоритмов/Модуль 7_7.pdf 78.8 kB
Глава 2. Основы теории множеств/Модуль 2_1.pdf 70.1 kB
Глава 7. Теория алгоритмов/Модуль 7_6.pdf 69.1 kB
Глава 7. Теория алгоритмов/Модуль 7_4.pdf 63.1 kB
Глава 4. Языки первого порядка/Модуль 4_1.pdf 56.9 kB
Глава 7. Теория алгоритмов/Модуль 7_3.pdf 55.0 kB
Содержание.txt 5.8 kB
Постер.jpg 2.5 kB

==查看完整文档列表==

上一个：novelicitychris_1080.mkv1.3 GB
下一个：Scenic.Routes.Around.the.World.05of18.Amazon.From.Belem.to.Tabatinga.XviD.AC3.MVGroup.org.avi 782.3 MB