Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 1. Аксиоматика. Логические формулы
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 1. Аксиоматика. Логические формулы
Видео закончится через
NaN:NaN
00:00
00:00
00:10
Следующая секция начнется через 00:46
3 вопроса которыми занимается математическая логика.
00:46
Следующая секция начнется через 00:46
Предметы логики. Две основные задачи теории алгоритмов.
03:27
Следующая секция начнется через 00:46
История логики. Булева алгебра, алгебра отношений Де Моргана, кванторы и логика предикатов.
07:06
Следующая секция начнется через 00:46
Аксиоматические теории. Теория множеств, Парадокс Рассела. Аксиоматика ZFC. Программа Гильберта.
14:18
Следующая секция начнется через 00:46
Определение полноты и непротиворечивости теории. Отождествление финитных рассуждений с доказательствами в арифметике Пеано.
16:09
Следующая секция начнется через 00:46
Аксиоматика Гильберта и результаты Геделя. Континуум гипотеза.
22:32
Следующая секция начнется через 00:46
Проблема перебора. P=NP? И текущие результаты по ней.
24:01
Следующая секция начнется через 00:46
Тема логика высказываний.
25:15
Следующая секция начнется через 00:46
Введение (определение) элементарных высказываний.
27:04
Следующая секция начнется через 00:46
Логика предикатов. Логические связки.
28:00
Следующая секция начнется через 00:46
Определение пропозициональных формул.
31:52
Следующая секция начнется через 00:46
Лемма об однозначном определении формулы.
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 1. Аксиоматика. Логические формулы

00:10
Следующая секция начнется через 00:46
3 вопроса которыми занимается математическая логика.
00:46
Следующая секция начнется через 00:46
Предметы логики. Две основные задачи теории алгоритмов.
03:27
Следующая секция начнется через 00:46
История логики. Булева алгебра, алгебра отношений Де Моргана, кванторы и логика предикатов.
07:06
Следующая секция начнется через 00:46
Аксиоматические теории. Теория множеств, Парадокс Рассела. Аксиоматика ZFC. Программа Гильберта.
14:18
Следующая секция начнется через 00:46
Определение полноты и непротиворечивости теории. Отождествление финитных рассуждений с доказательствами в арифметике Пеано.
16:09
Следующая секция начнется через 00:46
Аксиоматика Гильберта и результаты Геделя. Континуум гипотеза.
22:32
Следующая секция начнется через 00:46
Проблема перебора. P=NP? И текущие результаты по ней.
24:01
Следующая секция начнется через 00:46
Тема логика высказываний.
25:15
Следующая секция начнется через 00:46
Введение (определение) элементарных высказываний.
27:04
Следующая секция начнется через 00:46
Логика предикатов. Логические связки.
28:00
Следующая секция начнется через 00:46
Определение пропозициональных формул.
31:52
Следующая секция начнется через 00:46
Лемма об однозначном определении формулы.
Свернуть таймкоды
Конспект лекции
Лекция 1. Аксиоматика. Логические формулы
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»