ИСТИНА

• Член программного комитета: Алексеев В.Б.
• Охват: Всероссийская
• Даты проведения: 14-19 августа 2012
• Место проведения: Улан-Удэ
• Описание конференции:

  4-я Российская школа-семинар "Синтаксис и семантика логических систем", посвященная 80-летию основания Бурятского государственного университета. Россия, Улан-Удэ, 14–19 августа 2012 года. Цель школы-семинара — обсуждение результатов и выявление актуальных направлений исследований по математической логике, а также предоставление молодым исследователям возможности личного контакта с известными учеными в области математической логики из ведущих научных центров России. Тематика школы-семинара: формальные языки и логические исчисления, теория моделей и универсальная алгебра, алгебра логики и функциональные системы, математическая логика в образовании.

• Добавил в систему: Романов Дмитрий Сергеевич

Доклады:

• 2012 Об оценках функции Шеннона длины полного проверяющего теста относительно инверсных неисправностей на выходах элементов в одном базисе (Устный)
• Автор: Романов Д.С.