Любецкий, Василий Александрович
- Любецкий, Василий Александрович
Заведующий сектором компьютерной логики и информационных процессов Института проблем передачи информации РАН; родился 17 декабря 1945 г. в г. Иркутске; окончил механико-математический факультет МГУ, аспирантуру МГУ, доктор физико-математических наук, доцент, профессор; по совместительству работает профессором кафедры математической логики механико-математического факультета МГУ им. М. В. Ломоносова, деканом факультета математики и информатики, заведующим кафедрой информатики и алгебры Государственной академии им. Маймонида; опубликовал 75 научных работ; основные направления научной работы: алгоритмические модели интеллектуальных процессов и процессов биохимии клетки, классическая и интуиционистская теории моделей, теорий доказательств, теория пучков колец и алгебраических систем, нестандартный анализ, булевозначный и гейтинговозначный анализы, дескриптивная теория множеств.
Большая биографическая энциклопедия.
2009.
Смотреть что такое "Любецкий, Василий Александрович" в других словарях:
Вишневецкий, Михаил Александрович — В Википедии есть статьи о других людях с такой фамилией, см. Вишневецкий. Михаил Александрович Вишневецкий Каштелян брацлавский 1580 … Википедия
Список членов Государственного совета Российской империи — … Википедия
Депутаты Государственной думы Российской империи — … Википедия
Кавалеры ордена Святого Георгия IV класса Л — Кавалеры ордена Святого Георгия IV класса на букву «Л» Список составлен по алфавиту персоналий. Приводятся фамилия, имя, отчество; звание на момент награждения; номер по списку Григоровича Степанова (в скобках номер по списку Судравского);… … Википедия
Черниговские князья — О времени основания Чернигова мы нигде не находим известий. В первый раз он упоминается в летописях под 907 м годом, где говорится о мирном договоре Олега с греками и где Чернигов поставлен первым после Киева в числе городов, на которые Олег… … Большая биографическая энциклопедия
Колобанов — Колобанов, Зиновий Григорьевич Зиновий Григорьевич Колобанов 12 (25) декабря 1912(19121225) 1994 … Википедия
Вишневецкие — Корибут … Википедия
Суворов, Александр Васильевич — (князь Италийский, граф Рымникский) — генералиссимус Российских войск, фельдмаршал австрийской армии, великий маршал войск пьемонтских, граф Священной Римской империи, наследственный принц Сардинского королевского дома, гранд короны и кузен … Большая биографическая энциклопедия
Список народных артистов Российской Федерации — Ниже приведён список народных артистов Российской Федерации по годам присвоения звания … Википедия
Царицыно (дворцово-парковый ансамбль) — У этого термина существуют и другие значения, см. Царицыно. памятник архитектуры (федеральный) Дворцово парковый ансамбль … Википедия
