2. Программирование в ?-исчислении
Вторая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» ...
Vitaly Bragilevsky
А.В. Мельников. О математических методах расчета финансово-страховых контрактов
22.09.2005 16:00 Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова РАН: А.В. Мельников, ...
МЦМУ МИАН
Структура Крипке
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Проверка корректности реагирующих программ ...
Irina Shoshmina
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской академии наук. С.Л. Кузнецов.
МЦМУ МИАН
М. Пентус, "Неклассическая математическая логика"
Лекция проф. Мати Рейновича Пентуса в Антропологическом Кафе, 12.05. Презентация - https://mega.nz/#!INZBlA5A!
Antropological Cafe
Математический анализ: 1-ый семестр, Лекция 13. 15.10.2019
Vadim Druzhinin
МатЛог #2 | Важные теоремы про исчисление высказываний. Интуиционистская логика
Курс - https://github.com/shd/logic2020 Конспекты - https://github.com/shd/logic2020/blob/master/hw-theory.pdf Содержание: 1. Теорема о дедукции 2.
Conspect Conspectovich
Матлогика 5. Исчисление высказываний.
Лектор: Мусатов Даниил Владимирович Съёмка: Алёна Быкова Монтаж: Пыж Владислав.
Лекторий ФПМИ
Интуитивная математика
Borovoy Live
Вводная лекция по теории алгоритмов
Vitaly Bragilevsky
Модальные логики // Алексей Семёнов
Основные достижения математической логики относятся к математическим исследованиям математических рассуждений (эти исследования даже ...
Научный клуб
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов
0:00:09 1. Начало темы: «логика предикатов». Различие пропозициональной логики от логики предикатов. Определение понятий 0:14:14 2. Термы ...
teach-in
Аксиоматический метод верификации программ А. Хоара
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Дедуктивная верификация программ Примеры ...
Irina Shoshmina
А 2.2 Аксиоматическое построение математики - Философия науки для аспирантов
Философия науки для аспирантов. Математический и естественнонаучный блок Тема 2.2 Аксиоматическое построение математики в «Началах» ...
Philoso FAQ
Типы и Логика | Лекции по Agda
В этой лекции я расскажу про теоретическое обоснование доказательств с использованием типов в языках программирования и покажу связь между ...
MaCS-Club
Coq-практикум 01.09.2020, ч. 1
Компьютерный практикум по математической логике http://www.mi-ras.ru/~sk/lehre/coq/
Stepan Kuznetsov
Лекция 5. С.Л. Кузнецов. Сохранение типа при бета-редукции. Интуиционистская логика высказываний...
Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисление. Лекция 5. С.Л. Кузнецов.
МЦМУ МИАН
Рогозин Д. Модальная теория типов, основанная на интуиционистской эпистемической логике.
НИС "Современные проблемы математической логики" в НИУ ВШЭ Заседание 19 октября 2018 года Докладчик: Рогозин Д. (МГУ им. Ломоносова ...
Логика Москва
Математизация квантовой механики - Философские проблемы физики и математики
Philoso FAQ
Лекция № 1. А.Г. Сергеев. Некоммутативная геометрия и анализ. Приложения в физике
Лекционные курсы Научно-образовательного центра МИАН Лекция 1.Некоммутативная геометрияи анализ. Приложения в физике 14 февраля 2020 ...
МЦМУ МИАН
8 Модель интуиционистского исчисления высказываний
Vanechki: математика, биология и многое другое
Лекция СИИ. Логика предикатов - 1
Лекция по предмету "Системы искусственного интеллекта". Логика предикатов первого порядка. Часть 1.
32BIT Academy
Ранняя история и математические основы программирования: Чёрч, Карри, Тьюринг
Образовательная видеоконференция по информатике Дата: 02.04.2019 Тема: "Ранняя история и математические основы программирования: Чёрч, ...
ГБУ ДО Центр Интеллект
Патология логики, формальная логика.
Патология логики, формальная логика. Врач психиатр, психотерапевт, Андрис Саулитис рассказывает о Расстройствах мышления и приемах, ...
Vitamodo
1 Формальные аксиоматические теории
Vanechki: математика, биология и многое другое
Шафаревич А. И. - Геометрические структуры квантовой механики - Схема квантования
0:00:00 1. Напоминание прошлой лекции 0:07:10 2. Схема квантования 0:08:00 3. Классическая система 0:24:15 4. Квантовая система 0:31:38 5.
teach-in
Мини-курс А.Ю. Филатова "Введение в микроэкономику"
Лекция 2. Теория спроса и предложения Курс "Введение в микроэкономику" прочитан 21-26 октября 2019 в Кавказском математическом центре ...
Кавказский Математический Центр АГУ
[Коллоквиум]: Семантические технологии: новая жизнь для математической логики
Докладчики: Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London Станислав Кикоть, ИППИ РАН / Birkbeck, University of London Общая цель ...
ФКН ВШЭ
Ранняя история и математические основы программирования: Чёрч, Карри, Тьюринг.
Образовательная видеоконференция по информатике Дата: 03.04.2018 Тема: "Ранняя история и математические основы программирования: Чёрч, ...
ГБУ ДО Центр Интеллект
Кузнецов С. Л. - Математическая логика - Примитивно-рекурсивные функции
teach-in
Субэкспоненциальные модальности в некоммутативной линейной логике. 06.05.2020
Доклад на семинаре "Математические модели информационных технологий" под руководством С.О. Кузнецова, департамент анализа данных и ...
Stepan Kuznetsov
Идея компиляции структуры Крипке по программе
Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Проверка корректности реагирующих программ ...
Irina Shoshmina
Лекция 18. Л. Д. Беклемишев. Интуиционистская арифметика
Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисление. Лекция 18.
МЦМУ МИАН
Третье издание «Прикладной логики»
http://0x1.tv/20190125B Третье издание «Прикладной логики» (Николай Непейвода, OSEDUCONF-2019) * Николай Непейвода ------------- Издательство ...
Stas Fomin
МатЛог #1 | Исчисление высказываний
Курс - https://github.com/shd/logic2020 Конспекты - https://github.com/shd/logic2020/blob/master/hw-theory.pdf Содержание: 1. Немного об истории вопроса ...
Conspect Conspectovich
Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
В докладе дается обзор системы Coq — средства для полуавтоматического построения и автоматической проверки доказательств на компьютере.
НИС по математической логике
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1
0:00:09 1. Продолжение доказательства теоремы из прошлой лекции 0:07:43 2. Лемма 12.1 О подстановке термов 0:14:29 3. Теорема 7.4 Значения ...
teach-in
Лекция №12. Л.Д. Беклемишев. Комбинаторные алгебры, лямбда-алгебры.
Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисление. Лекция 12. Л.Д. Беклемишев ...
МЦМУ МИАН
Лекция 11. С.Л. Кузнецов. Интуиционистская логика первого порядка, ч. 4
С.Л. Кузнецов. Лекция 11. Интуиционистская логика первого порядка, ч. 4 Спецкурс «Математическая логика, часть 2» 16 апреля 2020 г. 14:45, г. Москва ...
МЦМУ МИАН
С.Л. Кузнецов, Т. Яворская. Обзор курса «Математическая логика, часть 2» и ответы на вопросы
С.Л. Кузнецов, Т. Яворская. Обзор курса «Математическая логика, часть 2» и ответы на вопросы Спецкурс «Математическая логика, часть 2» 14 мая ...
МЦМУ МИАН
Вычислимые действительные числа и их нумерации // Владимир Успенский
Целые числа, рациональные, алгебраические… Что дальше (оставаясь в пределах действительных чисел)? Дальше идут вычислимые ...
Научный канал
Непейвода Н.Н. Уроки конструктивизма ХХ в. [5/7].mpg
Выступление ННН на объединенном теоретическом семинаре Кафедры логики Философского ф-та МГУ и Сектора логики ИФРАН.
Виктор Горбатов
