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

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

Name	Математическая логика и теория алгоритмов	DOWNLOAD Copy Link
Total Size	5.9 GB
Total Files	123
Hash	E0AB9D292182F306DC7E0EF178256B18C36738A2

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