Logic seminar

City seminar on Mathematical Logic

Понедельник 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. Смаль.

Тема: Эффективное моделирование систем доказательств.

С.Н. Васильев: "Автоматическое доказательство и синтез теорем в языке позитивно-образованных формул"

Понедельник, 9 ноября, комната 203. Начало в 14:00.

Докладчик: С. Н. Васильев (Москва, ИПУ РАН).

Тема: Автоматическое доказательство и синтез теорем в языке позитивно-образованных формул.

Syndicate content