Search
Logic seminar
Logic seminar
Пятница 25.05. В.П. Оревков: "Структура секвенций в интуиционистских доказательствах в исчислении предикатов"
Пятница, 25 мая, 203. Начало в 15:00.
Докладчик: В.П. Оревков.
Тема: Структура секвенций в интуиционистских доказательствах в исчислении предикатов.
Понедельник 15.01. А.С. Герасимов: "Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода"
Понедельник, 15 января, ауд. 106. Начало в 14:00.
Докладчик: А.С. Герасимов.
Тема: Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода.
Четверг 23.11. С. Сперанский: "О теории истины по Крипке"
Четверг, 23 ноября, Институт философии СПбГУ (располагается по адресу: Менделеевская линия, дом 5), ауд. 27 (правая лестница, второй этаж). Начало в 17:20.
Докладчик: С. Сперанский.
Тема: О теории истины по Крипке.
Пятница 31.03. Станислав Сперанский: "О сложности «элементарных» теорий различных классов вероятностных пространств"
Пятница, 31 марта, ауд. 203. Начало в 17:15.
Докладчик: Станислав Сперанский (СПбГУ).
Тема: О сложности «элементарных» теорий различных классов вероятностных пространств.
Понедельник 21.11. В.П. Оревков: "Обратный метод для классического и интуиционистского исчислений предикатов"
Понедельник, 21 ноября, ауд. 106. Начало в 14:00.
Докладчик: В.П. Оревков (ПОМИ РАН).
Тема: Обратный метод для классического и интуиционистского исчислений предикатов.
Понедельник 07.11. Павлов В.А.: "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова"
Понедельник, 7 ноября, ауд. 106. Начало в 14:00.
Докладчик: Павлов В.А. (СПбПУ).
Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.
Logic seminar: Thursday, July 14. "Concatenation Theory: A New Framework for Formalist Foundations of Mathematics" (Zlatan Damnjanovic)
Четверг, 14 июля, ПОМИ. Начало в 14:00.
Докладчик: Zlatan Damnjanovic (University of Southern California, Dornsife).
Тема: Concatenation Theory: A New Framework for Formalist Foundations of Mathematics.
Семантические таблицы с метапеременными для логики нечётких неравенств
Понедельник, 22 сентября, комната 203. Начало в 14:00.
Докладчик: А.С. Герасимов (СПбУ).
Тема: Семантические таблицы с метапеременными для логики нечётких неравенств.
Свойства эффективности интуиционистской теории множеств, содержащей арифметику и конструктивнные принципы.
Понедельник, 15 октября, комната 106. Начало в 14:00.
Докладчик: Д.М. Смелянский (Москва).
Тема: Свойства эффективности интуиционистской теории множеств, содержащей арифметику и конструктивнные принципы..
Андрей Бовыкин "Что такое арифметическое расщепление и как его найти"
Понедельник, 17 октября, комната 203. Начало в 14:00.
Докладчик: Андрей Бовыкин.
Тема: Что такое арифметическое расщепление и как его найти.
