Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 1
0:00:09 1. Литералы. Элементарная конъюнкция (Сигнальная формула) 0:07:38 2. Теорема об эквивалентности СДНФ (Совершенная дизъюнктивная ...
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Эквивалентность моделей
0:00:09 1. Логическое (семантическое) замыкание 0:04:50 2. Лемма о совпадении логических замыканий теорий 0:06:57 3. Лемма об условиях полноты ...
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов
0:00:09 1. Начало темы: «логика предикатов». Различие пропозициональной логики от логики предикатов. Определение понятий 0:14:14 2. Термы ...
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1
0:00:09 1. Продолжение доказательства теоремы из прошлой лекции 0:07:43 2. Лемма 12.1 О подстановке термов 0:14:29 3. Теорема 7.4 Значения ...
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теории и модели
0:00:09 1. Напоминание построения нормальной модели. Корректное определение модели 0:09:59 2. Лемма о нормализации 0:12:40 3. Теорема 7.4.
teach-in
Математическая логика и теория алгоритмов | 1.6 Начало математической логики
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Математическая логика и теория алгоритмов | 1.5 Становление логики
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 2
0:00:09 1. Небольшое дополнение к прошлой лекции 0:02:03 2. Теорема. Об общезначимых формулах в булевой алгебре 0:12:15 3. Исчисление ...
teach-in
Математическая логика и теория алгоритмов 1. Основы теории формальных языков
00:00:00 - Что будет на курсе? 00:28:06 - Литература 00:31:14 - Основы теории формальных языков. Основные понятия 00:46:44 - Отношения на словах ...
Лекторий ФПМИ
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Система аксиом
0:00:09 1. Теорема о корректности аксиом CL для булевых алгебр 0:04:25 2. Лемма об импликации. Лемма. 0:10:47 3. Пример. Общезначимость 2й ...
teach-in
Математическая логика и теория алгоритмов | 2.3 Отношения
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
1.6.Начало математической логики.Математическая логика и теория алгоритмов.
После своего зарождения большей частью логика изучалась неформально, т. е. без использования символов вместо слов. Но в конце XIX столетия ...
Слепой часовщик
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Нормальные модели
0:00:09 1. Равносильность моделей. Теорема 0:13:18 2. Теорема о следствии элементарной эквивалентности моделей из их изоморфности 0:25:53 3.
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория алгоритмов
0:00:09 1. Понятие алгоритма 0:06:17 2. Формализации этого понятия 0:08:33 3. Понятие вычислимости 0:13:43 4. Тезис Чёрча-Тьюринга 0:17:03 5.
teach-in
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория множеств Цермело
0:00:09 1. Введение 0:00:30 2. Теорема 14.1 О существовании модели 0:08:24 3. Теорема 14.2 Гёделя о полноте 0:14:04 4. Теорема 14.3 О компактности ...
teach-in
Математическая логика и теория алгоритмов | 7.2 Частично рекурсивные функции
Все видео курса: https://clck.ru/Rdqq3 Купить ноутбук для учебы: http://alii.pub/5urt4i Бесплатная Bitcoin-лотерея: https://bit.ly/35XNmtM Кэшбэк за ...
IT Coder
1.3.Софизмы и парадоксы.Математическая логика и теория алгоритмов.
Как доказать что все вороны чёрного цвета? Возможно ли это доказать экспериментально, или же есть более лёгкий способ? *Парадокс Бертрана ...
Слепой часовщик
Математическая логика и теория алгоритмов | 7.5 Асимптотические обозначения
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Математическая логика и теория алгоритмов | 5.1 Аксиоматическое построение математических теорий
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Математическая логика и теория алгоритмов | 1.3 Софизмы и парадоксы
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Степанов И.Д. Математическая логика и теория алгоритмов, Лекция 02, 08.09.20
Дистанционные занятия МФТИ
Математическая логика и теория алгоритмов | 3.3 Язык логики высказываний
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функции
0:00:09 1. Пропозициональный язык 0:07:57 2. Подформулы 0:15:19 3. Семантика. Оценки 0:18:03 4. Лемма о продолжении оценки 0:23:40 5. Лемма об ...
teach-in
Математическая логика и теория алгоритмов | 4.2 Термы и формулы
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Математическая логика и теория алгоритмов | 1.7 Математическая логика в своем блеске и великолепии
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Конференция Ломоносов 2020: Математическая логика и теория алгоритмов. Часть 2 (18.11.2020)
Конференция студентов, аспирантов и молодых учёных «Ломоносов 2020». Заседание второе (18.11.2020). Заседание первое (11.11.2020) доступно ...
Кафедра матем. логики
4.2.Термы и формулы.Математическая логика и теория алгоритмов.
Языки первого порядка в первую очередь используются для записи математических утверждений, причем для каждой конкретной области математики, ...
Слепой часовщик
Математическая логика и теория алгоритмов | 2.2 Операции над множествами
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
1.7.Математическая логика в своем блеске и великолепии.Математическая логика и теория алгоритмов.
В двадцатых годах XX века с программой обоснования математики на базе математической логики выступил знаменитый немецкий математик ...
Слепой часовщик
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 2
0:00:09 1. Продолжение темы логики высказываний S5 0:04:20 2. Теорема 13.1 Эквивалентность 0:25:15 3. Лемма 13.2 Правила монотонности ...
teach-in
Математическая логика и теория алгоритмов | 4.1 Предикаты и кванторы
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Доказательства невозможности в математической логике и теории алгоритмов
Семёнов А.Л.
My university
4.1.Языки первого порядка.Предикаты и кванторы.Математическая логика и теория алгоритмов.
Элементарные высказывания с точки зрения пропозициональной логики характеризуются только истинностными значениями и являются неделимыми ...
Слепой часовщик
Математическая логика и теория алгоритмов | 3.2 Пропозициональные логические связки
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Математическая логика и теория алгоритмов Л4
ИВТ 181
Математическая логика и теория алгоритмов | 7.4 Некоторые алгоритмически неразрешимые проблемы
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
Математическая логика и теория алгоритмов | 3.4 Тавтологии
Все видео курса: https://clck.ru/Rdqq3 Источник: https://stepik.org/lesson/187589/step/1?unit=162115 https://stepik.org/course/48679/syllabus Преподаватель: ...
IT Coder
3.2.Пропозициональные логические связки.Математическая логика и теория алгоритмов.
Понятие простого (элементарного) высказывания является первоначальным (неопределяемым) понятием в математической логике.
Слепой часовщик
5.4.Теории первого порядка.Математическая логика и теория алгоритмов.
Языки первого порядка используются в формальных теориях первого порядка. Синтаксические свойства истинности теорий с языками первого порядка.
Слепой часовщик
3.3.Язык логики высказываний.Математическая логика и теория алгоритмов.
Рассмотренные нами логические понятия служат основой для превращения логики в математическую науку. Будем записывать высказывания в ...
Слепой часовщик
5.2.Формальные аксиоматические теории.Математическая логика и теория алгоритмов.
Дадим предварительные определения важных понятий, связанных с аксиоматическими теориями, наделенными семантической и дедуктивной ...
Слепой часовщик
1.5.Становление логики.Математическая логика и теория алгоритмов.
В самой известной цитате из работы «Искусство открытия» (1685 г.) Лейбниц говорит: «Это единственный способ исправить наши рассуждения, чтобы ...
Слепой часовщик