|
ВИДЕОТЕКА |
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
О математических работах А. И. Кокорина Н. А. Перязевa, С. Ф. Винокуровb a Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина) b Иркутский государственный университет |
|||
Аннотация: В докладе освещаются направления научной деятельности основателя алгебро-логической школы в г. Иркутске Али Ивановича Кокорина. Рассматриваются работы А.И. Кокорина в следующих областях: упорядоченные группы, универсальные и расширенные теории упорядоченных групп, расширенные теории и вопросы разрешимости, применение ЭВМ в алгебре и математической логике, математическое моделирование общественных процессов. |