ЕНЦИКЛОПЕДІЯ
Київського національного університету імені Тараса Шевченка

Лялецький Олександр Вадимович

23.02.1947

Місце народження: м. Фрунзе, тепер м. Бішкек, Киргизія.
Науковий ступінь: кандидат фізико-математичних наук.
Наукове звання: старший науковий співробітник.

1970 закінчив ф-т кібернетики Київ. ун-ту, 1975 – асп-ру Ін-ту кібернетики АН УРСР. У 1983-87 - старш. наук. співроб., 1987-2001 – зав. лаб., з 2001 – старш. наук. співроб. каф. теорет. кібернетики. Наук. звання старш. наук. співроб. (1988). 1982 – канд. дис. “Методы машинного поиска доказательств в исчислении предикатов первого порядка”. Осн. напрями наук. роботи: мат. та прикладна логіка, автоматизація міркувань, автоматизація доведень теорем, лінгвістичні засоби підтримки систем автоматизації доведень теорем. Автор 124 наук. праці, в т. ч. у відомих міжн. виданнях таких, як Annals of Mathematics and Artificial Intelligence, Journal of Applied Logic, Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence та Advances in Soft Computing.

Автор:

Карта місця народження: 
завантаження карти...

  • Останні зміни:
Повернутися до підрозділу >



Коментарі:

Текст повідомлення*
Захист від автоматичних повідомлень
 

Інститути, факультети

Коледжі, ліцеї

Загальноуніверси- тетські інституції

Адміністративні та фінансові підрозділи

Громадські об’єднання

Тематичні розділи