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