Logic seminar

City seminar on Mathematical Logic

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

Понедельник, 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