В.А. Таланов - ryavorsky/RuBioMed GitHub Wiki

Окончил механико-математический факультет Горьковского университета в 1962 г. по специальности «Математика». После окончания университета работал инженером в г. Арзамас-16, ныне Саров. С 1965 по 1968 гг. обучался в аспирантуре при факультете ВМК. После окончания аспирантуры работает на кафедре МЛиВА.

Первые научные работы связаны с построением моделей теории расписаний. В 1975 г. защитил кандидатскую диссертацию на тему "Некоторые математические модели теории расписаний", посвященную анализу моделей, построенных на базе формальных языков и линейных ограничений, в частности ограничений транспортного типа. Впоследствии вернулся к изучению асимптотических характеристик логических формул, которые были начаты еще в аспирантуре под руководством Ю.В.Глебского. Были получены расширения логики предикатов, для которых оказался справедлив асимптотический (0, 1)-закон Ю.В.Глебского.

Преподаваемые дисциплины - математическая логика, геометрия и алгебра, линейное программирование. Разработаны новые курсы: анализ и разработка алгоритмов, неклассические логики. Совместно с В.Е.Алексеевым издан учебник по теоретическим вопросам прикладной информатике, рекомендованный Научно-методическим советом по прикладной математике и информатике УМО университетов РФ.

⚠️ **GitHub.com Fallback** ⚠️