Научный семинар ?Проблемы современных информационно-вычислительных систем? . ... Научный семинар ?Проблемы современных информационно-вычислительных систем? (бывшее название ?Современные сетевые технологии?) работает с 1998 года. ... Руководитель семинара доктор физико-математических наук, профессор Валерий Александрович Васенин (e-mail: vasenin@msu.ru ). Ученый секретарь семинара кандидат технических наук, ведущий научный сотрудник Андрей Александрович Коршунов (e-mail: korsh@msu.ru ). ...
. Критические заметки . о буржуазной математической логике . А.Ф.Лосев . Публикация А.А.Тахо-Годи, . подготовка рукописи к публикации и примечания . В.П.Троицкого . Опубликовано: . Историко-математические исследования, вып. 8 (43), 2003, с. 3339-401. Огромное распространение идей т.н. математической логики или логистики общеизвестно. Теперь это уже перестает быть каким-то одним из методов логики и грозит оттеснить всякую иную логику 1 . В последнем американском философском словаре 2 <...> уже нет вообще