Logic seminar

City seminar on Mathematical Logic

A. Смаль. "Эффективное моделирование систем доказательств"

Понедельник, 15 февраля, комната 203. Начало в 13:00.

Докладчик: A. Смаль.

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

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

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

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

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

В. Подольский: "Оценки коэффициентов целочисленных многочленов с заданной знаковой булевой функцией"

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

Докладчик: Владимир Подольский (Москва).

Тема: Оценки коэффициентов целочисленных многочленов с заданной знаковой булевой функцией.

А. Охотин: "Уравнения над множествами целых чисел"

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

Докладчик: Александр Охотин (университет Турку, Финляндия).

Тема: Уравнения над множествами целых чисел.

Г. Минц: "Логические уравнения в одноместном иcчислении предикатов"

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

Докладчик: Григорий Минц (Стенфорд).

Тема: Логические уравнения в одноместном иcчислении предикатов.

Б. Карлов: "Свойства обобщенных категориальных грамматик зависимостей"

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

Докладчик: Борис Карлов (Тверь).

Тема: Свойства обобщенных категориальных грамматик зависимостей.

Г. Минц: "New Trends in the Foundations of Mathematics"

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

Докладчик: Григорий Минц (Стенфорд).

Тема: New Trends in the Foundations of Mathematics.

Syndicate content