Search
Logic seminar
Logic seminar
Пятница 31.03.2017. С.О. Сперанский: "О сложности «элементарных» теорий различных классов вероятностных пространств"
Пятница, 31 марта, ПОМИ РАН, ауд. 203. Начало в 17:15.
Докладчик: С.О. Сперанский (СПбГУ).
Тема: О сложности «элементарных» теорий различных классов вероятностных пространств.
Понедельник 21.11.2016. В.П. Оревков: "Обратный метод для классического и интуиционистского исчислений предикатов"
Понедельник, 21 ноября, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: В.П. Оревков.
Тема: Обратный метод для классического и интуиционистского исчислений предикатов.
Понедельник 07.11.2016. Павлов В.А.: "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова"
Понедельник, 7 ноября, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: В.А. Павлов (СПбПУ).
Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.
Thursday, July 14, 2016. Zlatan Damnjanovic: "Concatenation theory: a new framework for formalist foundations of mathematics"
Четверг, 14 июля, ПОМИ РАН. Начало в 14:00.
Докладчик: Zlatan Damnjanovic (University of Southern California, Dornsife).
Тема: Concatenation theory: a new framework for formalist foundations of mathematics.
Понедельник, 22.09.2014. А.С. Герасимов: "Семантические таблицы с метапеременными для логики нечётких неравенств"
Понедельник, 22 сентября, ПОМИ РАН, ауд. 203. Начало в 14:00.
Докладчик: А.С. Герасимов (СПбГУ).
Тема: Семантические таблицы с метапеременными для логики нечётких неравенств.
Свойства эффективности интуиционистской теории множеств, содержащей арифметику и конструктивнные принципы.
Понедельник, 15 октября, комната 106. Начало в 14:00.
Докладчик: Д.М. Смелянский (Москва).
Тема: Свойства эффективности интуиционистской теории множеств, содержащей арифметику и конструктивнные принципы..
Андрей Бовыкин "Что такое арифметическое расщепление и как его найти"
Понедельник, 17 октября, комната 203. Начало в 14:00.
Докладчик: Андрей Бовыкин.
Тема: Что такое арифметическое расщепление и как его найти.
Fred Freitas "The Semantic Web technologies and its interesting reasoning problems"
Понедельник, 1 ноября, комната 203. Начало в 14:00.
Докладчик: Fred Freitas (Informatics Center of the Federal University of Pernambuco, Brazil,).
Тема: The Semantic Web technologies and its interesting reasoning problems.
Я.Д. Сергеев "Численные вычисления с бесконечно большими и бесконечно малыми величинами: Описание подхода, приложения и демонстрация работы компьютера "
Четверг, 11 марта, комната 311. Начало в 14:00.
Докладчик: Я.Д. Сергеев (Нижегородский Университет им. Н.И. Лобачевского, Distinguished Full Professor, University of Calabria, Cosenza, Italy).
Тема: Численные вычисления с бесконечно большими и бесконечно малыми величинами: Описание подхода, приложения и демонстрация работы компьютера.
A. Смаль. "Эффективное моделирование систем доказательств"
Понедельник, 15 февраля, комната 203. Начало в 13:00.
Докладчик: A. Смаль.
Тема: Эффективное моделирование систем доказательств.
