Математическая логика и теория алгоритмов
| 文件类型 | 收录时间 | 最后活跃 | 资源热度 | 文件大小 | 文件数量 |
|---|---|---|---|---|---|
| 视频 | 2023-9-23 00:42 | 2024-5-8 19:56 | 36 | 5.4 GB | 41 |
迅雷链接
二维码链接
种子下载(838888不存储任何种子文件)
文件列表
- Глава 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
友情提示
不会用的朋友看这里
把磁力链接复制到离线下载，或者bt下载软件里即可下载文件，或者直接复制迅雷链接到迅雷里下载！
亲，你造吗？将网页分享给您的基友，下载的人越多速度越快哦！
违规内容投诉邮箱：[email protected]
概述
838888磁力搜索是一个磁力链接搜索引擎，是学术研究的副产品，用于解决资源过度分散的问题
它通过BitTorrent协议加入DHT网络，实时的自动采集数据，仅存储文件的标题、大小、文件列表、文件标识符（磁力链接）等基础信息
838888磁力搜索不下载任何真实资源，无法判断资源的合法性及真实性，使用838888磁力搜索服务的用户需自行鉴别内容的真伪
838888磁力搜索不上传任何资源，不提供Tracker服务，不提供种子文件的下载，这意味着838888磁力搜索 838888磁力搜索是一个完全合法的系统