1. Функциональные исследования неклассических логик.
2. Онтологии научно-исследовательской деятельности,
3. Интернет вещей.
4. Агенты и натуральные вычисления.
Научная биография:
1990 — закончил университет,
1989 — первая научная работа,
1990 — значок за лучшую студенчесткую работу в республике,
1997 — защита диссертации,
2001 — доцент кафедры Информатики и дискретной оптимизации, Молдавский госуниверситет.
Основные публикации:
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.
Olga Izbash, Andrei Rusu, “On the absence of finite approximation relative to model completeness in propositional provability logic”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2015, № 3, 110–113
2013
2.
Andrei Rusu, “Infinitely many maximal primitive positive clones in a diagonalizable algebra”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2013, № 2-3, 47–52
2007
3.
A. Rusu, “Infinitely many functional pre-complete classes of formulas in the propositional provability intuitionistic logic”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2007, № 1, 66–72
2000
4.
М. Ф. Раца, А. Г. Русу, “О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя–Леба”, Дискрет. матем., 12:4 (2000), 63–82; M. F. Raţă, A. G. Russu, “On some properties of systems, complete with respect to expressibility, of formulas in the Gödel–Löb provability logic”, Discrete Math. Appl., 10:6 (2000), 553–570
Обратная связь: