Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы
0:00:10 1. 3 вопроса которыми занимается математическая логика
0:00:46 2. Предметы логики. Две основные задачи теории алгоритмов
0:03:27 3. История логики. Булева алгебра, алгебра отношений Де Моргана, кванторы и логика предикатов
0:07:06 4. Аксиоматические теории. Теория множеств, Парадокс Рассела. Аксиоматика ZFC. Программа Гильберта
0:14:18 5. Определение полноты и непротиворечивости теории. Отождествление финитных рассуждений с доказательствами в арифметике Пеано
0:16:09 6. Аксиоматика Гильберта и результаты Геделя. Континуум гипотеза
0:22:32 7. Проблема перебора. P=NP? И текущие результаты по ней
0:24:01 8. Тема логика высказываний
0:25:15 9. Введение (определение) элементарных высказываний
0:27:04 10. Логика предикатов. Логические связки
0:28:00 11. Определение пропозициональных формул
0:31:52 12. Лемма об однозначном определении формулы
2 views
62
18
3 months ago 00:15:18 6
В. А. МОЦАРТ - Мотет «Exultate, jubilate» / Юлия ЛЕЖНЕВА и Симфонический оркестр Мариинского театра
7 months ago 02:24:29 1
Вечер авторской песни, Саратов, ГЦНК, 1999
7 months ago 00:05:42 5
В. А . Моцарт - «LAUDATE DOMINUM» / Юлия Лежнева и Вокальный ансамбль INTRADA
7 months ago 00:04:33 1
Сценка “Автомобиль“. Исполняют советские клоуны Олег Попов, Яков Шехтман и Аркадий Будницкий (1971)
8 months ago 00:35:51 1
Представление начинается! (1970)
8 months ago 00:35:51 1
Представление начинается! Лучшие номера Московского цирка на Цветном бульваре (1970)
9 months ago 00:00:25 1
Папины руки - любящие и надежные! Готовитесь к родам? Планируете партнёрские роды?
9 months ago 00:06:44 1
Чайковский Концерт для фортепиано с оркестром №1 си-бемоль минор, Соч.23 ч.3 исп. Андрей Гончаров
9 months ago 00:14:52 1
Короткометражный фильм «Помеха справа» (Премьера 2023)
9 months ago 00:21:24 9
Левотемия: главная проблема российской оппозиции
9 months ago 02:34:14 2
Инновационная среда. Патентные исследования как инструмент научно-технологического сотрудничества
9 months ago 01:17:46 1
Дума про казака Голоту 1937
9 months ago 00:16:20 5
Фестивали ЛО Футбол. Конкурс Мокрых Маек на 29 Фестивале ЛО Футбол
10 months ago 00:04:41 1
Фестивали ЛО Футбол. Выступление Дорохиной Ирины
10 months ago 00:06:32 1
AEG ’Expression’ Team, , , - Adagio RG&OPERA Show
10 months ago 00:05:20 1
Антонио Баццини “Калабрезе“ / Antonio Bazzini: Calabrese
10 months ago 01:20:30 10
Лекция 10. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:31:08 2
Лекция 9. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:29:22 2
Лекция 8. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:33:00 4
Лекция 7. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:30:17 3
Лекция 6. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:29:14 2
Лекция 5. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:30:18 4
Лекция 4. В.Б. Шехтман. Алгебраическая логика и категории.
10 months ago 01:32:23 5
Лекция 3. В.Б. Шехтман. Алгебраическая логика и категории.