Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Телефон: +40 772105928, +373 67480456
E-mail: , ,
Сайт: https://agrusu.info Ключевые слова: выразимость,
полнота по выразимости,
базисы,
логика доказуемости,
онтологии,
агенты JADE,
натуральные вычисления.
Коды УДК: 510
Основные темы научной работы:
1. Функциональные исследования неклассических логик.
2. Онтологии научно-исследовательской деятельности,
3. Интернет вещей.
4. Агенты и натуральные вычисления.
Основные публикации:
Criteriul de completitudine slabă la expresibilitate în extensia 4-valentă a logicii demonstraţionale // Scripta Scientiarum Mathematicarum (Chişinău), vol. 2, nr. 1, 2001, p. 138–155.
Despre unele proprietăţi a sistemelor de formule complete relativ la expresibilitate din logica demonstraţională Gödel–Lob, Moscova, Matematica discretă (Acad. Şt. A Rusiei), v. 12, nr. 4, 2000, pp. 63–82. (cu M. Raţă) (lb. rusਧ); (traducere in limba engleza "On some properties of complete by expressibility systems of formulas in the Göbel–Löb probability logic" in revista Discrete Mathematics and Applications, 2000, vol. 10, nr. 6, p. 553–570).
O analiză matematică a fenomenului corupţiei funcţionarilor publici // în culegerea de articole "Corupţia" sub egida SOROS Foundation Moldova, Editura Arc, 2000, p. 283–310.
Criteriul de completitudine la expresibilitate în extensia 4-valentă a logicii demonstraţionale // Buletinul A.Ş. a R.M. Matematica, 1996, nr. 1(20), p. 82–96.
Despre puterea bazelor de formule şi lipsa aproximării finite relativ la completitudine în logica demonstraţională propoziţională, Buletinul A.Ş. a R.M. Matematica, 1992, nr. 2(8), p. 6–14.
