种子简介

种子名称： Математическая логика и теория алгоритмов
文件类型： 视频
文件数目： 41个文件
文件大小： 5.4 GB
收录时间： 2023-9-23 00:42
已经下载： 3次
资源热度： 37
最近下载： 2024-5-20 13:24

下载BT种子文件

下载Torrent文件(.torrent) 立即下载

磁力链接下载

magnet:?xt=urn:btih:e0ab9d292182f306dc7e0ef178256b18c36738a2&dn=Математическая логика и теория алгоритмов 复制链接到迅雷、QQ旋风进行下载，或者使用百度云离线下载。

喜欢这个种子的人也喜欢

种子包含的文件

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

Глава 1. Миссия математической логики/1.6 Начало математической логики.mp4133.05MB

Глава 1. Миссия математической логики/1.3 Софизмы и парадоксы.mp481.97MB

Глава 1. Миссия математической логики/1.7 Математическая логика в своем блеске и великолепии.mp468.44MB

Глава 1. Миссия математической логики/1.2 Что такое математика.mp462.44MB

Глава 1. Миссия математической логики/1.1 Что такое логика.mp451.75MB

Глава 1. Миссия математической логики/1.4 Математическая логика.mp449.21MB

Глава 1. Миссия математической логики/1.5 Становление логики.mp428.94MB

Глава 2. Основы теории множеств/2.3 Отношения.mp4207.17MB

Глава 2. Основы теории множеств/2.5 Эквивалентность и порядок.mp4175.81MB

Глава 2. Основы теории множеств/2.6 Функции (отображения).mp4174.33MB

Глава 2. Основы теории множеств/2.2 Операции над множествами.mp4143.1MB

Глава 2. Основы теории множеств/2.1 Интуитивная теория множеств.mp4141.48MB

Глава 2. Основы теории множеств/2.4 Специальные свойства отношений.mp457.79MB

Глава 3. Пропозициональная логика/3.3 Язык логики высказываний.mp4201.73MB

Глава 3. Пропозициональная логика/3.1 Высказывания и высказывательные формы.mp4174.32MB

Глава 3. Пропозициональная логика/3.2 Пропозициональные логические связки.mp4147.09MB

Глава 3. Пропозициональная логика/3.4 Тавтологии.mp4135.6MB

Глава 3. Пропозициональная логика/3.5 Равносильности.mp4113.17MB

Глава 4. Языки первого порядка/4.2 Термы и формулы.mp4189.2MB

Глава 4. Языки первого порядка/4.6 Примеры перевода с естественного языка на логический и обратно.mp4159.27MB

Глава 4. Языки первого порядка/4.3 Интерпретация формул.mp4150.38MB

Глава 4. Языки первого порядка/4.4 Формулы общезначимые, выполнимые, логически эквивалентные.mp4140.12MB

Глава 4. Языки первого порядка/4.5 Перевод с естественного языка на логический и обратно.mp4100.8MB

Глава 4. Языки первого порядка/4.1 Предикаты и кванторы.mp483.16MB

Глава 5. Аксиоматический метод/5.4 Теории первого порядка.mp4169.5MB

Глава 5. Аксиоматический метод/5.2 Формальные аксиоматические теории.mp4162.07MB

Глава 5. Аксиоматический метод/5.5 Примеры формальных аксиоматических теорий.mp4150.64MB

Глава 5. Аксиоматический метод/5.3 Исчисление высказываний.mp4138.04MB

Глава 5. Аксиоматический метод/5.1 Аксиоматическое построение математических теорий.mp495.36MB

Глава 6. Математическое доказательство/6.4 Компьютерные доказательства.mp4228.06MB

Глава 6. Математическое доказательство/6.3 Различные виды доказательств в математике.mp4197.24MB

Глава 6. Математическое доказательство/6.2 Математическая индукция.mp4153.04MB

Глава 6. Математическое доказательство/6.1 Индуктивное рассуждение.mp4140.07MB

Глава 7. Теория алгоритмов/7.1 Неформальная вычислимость и машины Тьюринга.mp4227.64MB

Глава 7. Теория алгоритмов/7.7 Сложность задач.mp4218.08MB

Глава 7. Теория алгоритмов/7.2 Частично-рекурсивные функции.mp4179.17MB

Глава 7. Теория алгоритмов/7.5 Асимптотические обозначения.mp4130.12MB

Глава 7. Теория алгоритмов/7.6 Алгоритмы и их сложность.mp4127.9MB

Глава 7. Теория алгоритмов/7.4 Некоторые алгоритмически неразрешимые проблемы.mp4117.41MB

Глава 7. Теория алгоритмов/7.3 Тезис Черча.mp499.43MB

Математическая логика и теория алгоритмов.mp429.65MB