Logic seminar

City seminar on Mathematical Logic

Четверг 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.

Докладчик: Андрей Бовыкин.

Тема: Что такое арифметическое расщепление и как его найти.

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).

Тема: Численные вычисления с бесконечно большими и бесконечно малыми величинами: Описание подхода, приложения и демонстрация работы компьютера.

Syndicate content