Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы
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. Лемма об однозначном определении формулы
Видео Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы канала teach-in
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. Лемма об однозначном определении формулы
Видео Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы канала teach-in
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Нейчев Р.Г.-Введение в глубокое обучение-2.Метод обратного распространения ошибки, функции активации
Панин А.А. - Функциональный анализ.Часть 1 - 3. Теория множеств
Лукьяненко Д.В. - Параллельные вычисления - 7. Параллельный вариант метода прогонки
Останина М.В. - Электродинамика.Семинары.Ч.1 - 11. Ковариантные и контравариантные векторы
Зотов А.В. - Введение в квантовые интегрируемые системы - 9. Quantum Calogero Moser model
Ганичев А.А. - Нейронные сети в научных исследованиях - 15. Обучение с подкреплением
Петров С.В. - Квантовая механика - 2. Введение в квантовую механику. Часть 2
Пенской А.В. - Классическая дифференциальная геометрия.Лекции - 5. Кривизна поверхности
Апресян А.Р. - История и теория современного искусства - 22.Концептуализм.Интеллектуальное искусство
Дубынин В. А. - 100 часов школьной биологии - 1.11. Почки, выделение
Гущин А.И. - Общая геология. Часть 2 - 4. Осадконакопление в океанах
Анастасия Макарова - Ультраструктура и коннектомика ассоциотивных центров мозга мельчайших насекомых
Копаевич Л.Ф. - Секвентная стратиграфия - 1. Введение в предмет: "Секвентная стратиграфия"
Дубынин В.А. - 100 часов школьной биологии - 2.4. Белки ("протеины"): строение и функции
Petrov V.G. - Basics of radiochemistry. Lectures - 3. Interactions of ionizing radiation with matter
Габдуллин Р.Р. - Инновационное природопользование - 1. Источники энергии
Дубынин В. А. - 100 часов школьной биологии - 1.21. Вестибулярная и слуховая чувствительность
Кржевов В.С. - Философия права - 13. Проблема выявления оснований для формирования системы права
Антипин Р.Л. - Биоорганическая химия.Часть 1 - 2. Стереохимия
Гайнцева Т.А. - Введение в глубокое обучение - 4. Компьютерное зрение. Сверточные нейросети
Лукьяненко Д.В. - Параллельные вычисления-12.Тонкая оптимизация:отложенные запросы на взаимодействие