 |
| Titluri: | membru corespondent AŞM, doctor habilitat, profesor universitar | | Postul: | consultant ştiinţific |
| Data naşterii: | 1 octombrie 1935 | | Lucrări: | 130 | | Limbi străine: | Rusa, Engleza | | Telefon: | 72-70-59 | | Fax: | 73-80-27 | | Email: | |
|
Domeniul de cercetare
Logica matematică, Teoria algoritmilor , Algebra
Lucrări importante
- On functional completeness in the Gr. Moisil dual intuitionistic logic.
Raţiu M. In: The 35th Annual Congress, American Ramanian Academy of Arts and Sciences (ARA), July 6th-11rd, Timişoara, Ramania, 2010, Proceedings. Sci. Ed.: Ionel I., Fleşer T., Vetreş I. –Presses Internationales Polytechnique, Montréal, Québec, 2011, p. 301-303, ISBN: 978-2-553-01596-0. - O algebră iterativă maximală de funcţii ale algebrei booleene topologice de ordinul 16 cu un atom deschis.
Raţiu M. In: The 34th Annual Congress, American Ramanian Academz of Arts and Sciences (ARA), May 18th-23rd, Bucharest, Ramania, 2010, Proceedings. Sci. Ed.: Frunzeti T., Hanganu M. –Presses Internationales Polytechnique, Montréal, Québec, 2010, p. 579-581, ISBN: 978-2-553-01547-2. - Algebre iterative lanţiale de funcţii pseudo-booleene 3-valente.
Raţă M. Proceedings of the 33rd Annual Congress of the American Romanian Academy of Arts and Sciences (ARA), vol. 2, Polytechnic International Press, Montreal, Quebec, 2009, p. 321-323. - Algebre iterative lanţiale de funcţii pseudo-booleene trivalente. Iaşi.
Raţiu M. T. Editura Alexandru Myller, 2010, 276 p. ISBN 978-973-88565-3-0. - Algebre iterative lanţiale de funcţii pseudo-booleene 3-valente.
Raţă M. T. The 33 rd Annual Congress of the American Romanian Academy of Arts and Sciences (ARA), Alma Mater University of Sibiu, Romania, Proceedings, vol. 2, Polytechnique Intern. Press, Montréal, Québec, 2009, p. 321-323. - Algorithmic Unsovability of a problem of expressibility in the Gödel-Löb Logic of Provability.
Raţă M. T. 6-th Congress of Romanian Matematicians, Abs., Bucharest, Romania, 2007, p. 133-134. - Unsolvability of a problem of expressibility in the logic of provability.
Ratsa M. T. The 31st Annual Congress of the American Romanian Academy of Arts and Sciences, Presses internationales Polytechnique, Transilvania University of Braşov, 2007, p. 487-488. - Recursive unsolvability of a problem of expressibility in the Logic of Provability.
Ratsa M. T. Romai Jurnal, vol. 3, Romanian Soc. of Applied and Industrial Mat., nr. 1, 2007, p. 185-188. - Cercetări în domeniul logicii matematice. Elemente de istorie a matematicii şi matematica în R. Moldova.
Raţă M. T. Univ. de Stat din Tiraspol, Univ. de Stat a Moldovei, Chişinău, 2006, p. 252-291. - Existence of an algorithm for recognition of the completeness with respect to expressibility in modal pre-tabular logic EM4.
Coban M. A., Ratsa M. T. Proc. of the 4th Annual Symposium on Mathematics Applied in Biology & Biphisics, Sci. Annals of USAMU, t. XLVIII, vol. 2, Iaşi, 2005, p. 389-402. - Inexistenţa algoritmilor de recunoaştere a expresibilităţii sintactice în calcule logice.
Raţă M. T. Edutura The Flower Power, Piteşti, România, 2004, Monografie, 106 p. - Criteriu de reductibilitate implicită a tuturor formulelor în extensia 4-valentă a logicii modale S5.
Cebotari V., Raţă M. Bul. Şt.al Univ. din Piteşti, seria Matematică şi Informatică, nr. 9, România, 2003, p. 73-89. - Professor Adelina Georgescu - profile at the age of 60.
Ciobanu M., Anca-Veronica Ion, Ratsa M. Bul. Şt al Univ. din Piteşti, seria Matematică şi Informatică, nr. 9, România, 2003, p. 5-8. - Reducerea formală a problemei generale de expresibilitate a formulelor in logica demonstraţională Gödel-Löb.
Raţă M. T. Discretnaia matematica, t. 14, Emis. 2, Moscova:Nauka, 2002, p. 95-106, (în l. rusă). - Despre unele proprietăţi ale sistemelor complete la expresibilitatea de formule în logica Gödel-Löb.
Raţă M. T., Russu A. G. Diskretnaia matematica, t. 12, emisia 4, Moscova, 2000, p. 63-82 (în l. rusă). - Algoritmical undecidability of the expressibility problem in free diagonalizable algebra.
Ratsa M. T. Bul. Inst. Politehnic din Iaşi, t. XLVI (L), fasc. 1-2, Matematica, Mecanica teoretică, Fizica, România, 2000, p. 18-22. - Undecidable of the expressibility problem in the provability logic of Gödel-Löb.
Ratsa M. T. Bul. Şt., Seria Matematică şi Informatică, nr. 3, Univ. din Piteşti, România, 1999, p. 399. - A criterion of model completeness for the closed classes of 3-valued logic.
Covalgiu O. I., Ratsa M. T. Bul. Şt. al Univ. "Politehnica", Timişoara, România, t. 43, nr. 1, 1998, p. 31-34. - Despre bazele claselor lanţiale şi clasic complete de funcţii pseudo-booleene.
Malai V. P., Raţă M. T. Sbornik trudov Seminara po diskretnoi matem. i eio prilojeniam, Moscova, Izdat. Mehanico-Matem. Fakuliteta, MGU, 1997, p. 55-56 (în l. rusă). - On the existence of a criterion of Model completeness for the closed classes of 3-valued functions.
Covalgiu O. I., Ratsa M. T. Bul. A.Ş.R.M. Matematica, nr. 3, Chişinău, Ştiinţa, 1997, p. 101-104. - Particularităţile completitudinii funcţionale în calcule logice.
Raţă M. T. Bul. A.Ş.R.M., Matematica, nr. 2, Chişinău: Ştiinţa, 1996, p. 73-104. - The construction of a numerable collection of pre-complete classes of formulae in the provability logic.
Ratsa M. T., Russu A. G. Bul. A.Ş. a R. Moldova, Matematica, nr. 1, 1994, p. 66-74. - On model completeness for the classes of the functions of 3-valued ∆-pseudo-boolean algebra.
Covalgiu O. I., Ratsa M. T. Anal. Şt. ale Univ. "Ovidius", Seria Mat., vol. 2, Constanţa, România, 1994, p. 76-79. - Modelarea funcţiilor booleene autoduale şi permutabile cu 1 în extensia 3-valentă a logicii demonstraţional-intuiţioniste.
Covalgiu O. I., Raţă M. T. Bul. A.Ş. a R. Moldova, Matematica, nr. 2, 1993, p. 72-78 (în l. rusă). - Descrierea sistemelor lanţiale clasic complete de funcţii pseudă-booleene.
Malai V. P., Raţă M. T. Bul. A.Ş. a R. Moldova, Matematica, nr. 2, 1992, p. 15-21 (în l. rusă). - Soluţionarea problemei de completitudine la expresibilitate în extensia 5-valentă non-lanţială a logicii intuiţioniste dualiste.
Ghalieh Y. N., Raţă M. T. Bul. A.Ş. a R. Moldova, Matematica, n. 4, 1992, p. 43-51 (în l. rusă). - Completitudinea parametrică în logica celei mai simple algebre pseuo-booleene cu elemente incomparabile.
Cucu I. V., Raţă M. T. Bul. A.Ş. a R. Moldova, Matematica, nr. 1, 1992, p. 46-51 (în l. rusă). - Expresibilitatea în calcule propoziţionale.
Raţă M. T. Chişinău, Ştiinţa, monografie, 1991, 204 p. (în l. rusă). - Despre imposibilitatea unui algoritm pentru recunoaşterea expresibilităţii formulelor modale.
Raţă M. T. Bul. A.Ş. a R.S.S. Moldoveneşti, Matematica, nr. 1, 1990, p. 69-71 (în l. rusă). - Clase iterative lanţiale de funcţii pseudo-booleene.
Raţă M. T. Chişinău, Ştiinţa, monografie, 1990, 238 p. (în l. rusă). - Despre o clasă lanţială de funcţii sectoriale ale logicii I-ei matrice Jaśkowski.
Malai V. P., Raţă M. T. Bul. A.Ş. a R.S.S. Moldoveneşti, Seria de ştiinţe fizico-tehn. şi matem., nr. 2, 1989, p. 9-14 (în l. rusă). - Despre completitudinea formulară în extensia 4-valentă a logicii modale pre-tabelare EM4.
Coban M. A., Raţă M. T. Bul. A.Ş. a R.S.S. Moldoveneşti, Seria de ştiinţe fizico-tehn. şi mat., nr. 3, 1989, p. 13-16 (în l. rusă). - Indecidabilitatea algoritmică a problemei de expresibilitate în logici modale.
Raţă M. T. Matematiceskie voprosâ kibernetiki, Moscova, vol. 2, 1989, p. 71-99 (în l. rusă). - Probleme de expresibilitate a formulelor în calcule logice.
Raţă M. T. Trudâ Seminara po Discretnoi matematike i ego prilojeniam, Univ. De Stat M. V. Lomonosov, Moscova, 1989, p. 38-44 (în l. rusă). - Despre criteriul şefferian în logica intiuţionistă.
Kuzneţov A. V., Raţă M. T. Bul. A.Ş. a R.S.S. Moldoveneşti, Seria de ştiinţe fizico-tehn. şi mat., nr. 3, 1988, p. 3-9 (în l. rusă). - Despre completitudine la reductibilitatea implicită în logica Primei matrice Jaśkowski.
Cucu I. V., Raţă M. T. Bul. A. Ş. a R.S.S. Moldoveneşti, Seria de ştiinţe fizico-tehn. şi mat., nr. 1, 1988, p. 23-28 (în l. rusă). - The problems of expressibility of modal and predicate formulae.
Ratsa M. F. 8 Intern. Congress of Logic, Methodology and Phil. of Sci., Abs., 1987, vol. 1, Moscow, p. 317-320. - Problemele de bază ale expresibilităţii formulelor în logicile non-clasice
Raţă M. T. Matem. issledovania (Neclassiceskie loghichi), vol. 98, 1987, p. 94-120 (în l. rusă). - Despre completitudinea sistemelor de formule în logicile dualiste lănţiale.
Raţă M. T. Matem. issledovania (Neclassiceskie loghichi), vol. 98, 1987, p. 71-93 (în l. rusă). - Undecidability of the problem of functional expressibility in the modal logic S4.
Ratsa M. F. Soviet Math. Dokl., vol. 27, nr. 1, 1983, p. 182-186. - Indecidabilitatea problemei de expresibilitate funcţională în logica modală S4.
Raţă M. T. Dokl. A. N. S.S.S.R., 1983, vol. 268, nr. 4, p. 814-817 (în l. rusă). - Despre completitudinea funcţională în logica modală S5.
Raţă M. T. Issledovania po neclassiceskim loghikam i formal’nâm sistemam, Moscova, Nauka, 1983, p. 222-280 (în l. rusă). - Despre completitudinea funcţională în logici modale.
Raţă M. T. Bul. A. Ş. a R.S.S. Moldoveneşti, Seria fizico-tehn. şi matem., nr. 2, 1983, p. 37-39 (în l. rusă). - Probleme algoritmice asupra construcţiilor funcţionale în logici modale.
Raţă M. T. Intern. Congress of mathematician, Abs., vol. 1, Warsawa, 1982, p. 19 (în l. rusă). - Completitudinea funcţională în logici modale.
Raţă M. T. Rostock Math. Koloq., h. 19, Rostock, 1982, p. 19-28 (în l. rusă). - Non-tabelaritatea logicii S4 la completitudinea funcţională.
Raţă M. T. Alghebra i Loghica, Novosibirsk, 1982, vol. 21, nr. 3, p. 283-320 (în l. rusă). - Despre completitudinea funcţională în logica propoziţională intuiţionistă.
Raţă M. T. Problemâ kibernetiki, Moscova, 1982, Emis. 39, p. 107-150 (în l. rusă). - Criteriul de completitudine funcţională în logica clasică a predicatelor de ordinul întâi.
Kuzneţov A. V., Raţă M. T. Dokl. A. N. S.S.S.R., 1979, vol. 249, nr. 3, p. 540-544 (în l. rusă). - A Criterion for functional completeness in the intuitionistic propositional logic.
Ratsa M. F. Soviet Math. Dokl., 1971, Vol. 12, No. 6, p. 1732-1737. - Criteriul de completitudine funcţională în logica propoziţională intuiţionistă.
Raţă M. T. Dokl. A. N. S.S.S.R., 1971, vol. 201, nr. 4, p. 794-797 (în l. rusă). - Despre completitudinea funcţională în unele logici intermediare între logica clasică şi cea intuiţionistă.
Raţă M. T. Matem. Issledovania, 1970, vol. 5, nr. 4, p. 171-176 (în l. rusă). - Despre o clasă de funcţii ale logicii tri-valente, clasă corespunzătoare Primei matrice Jaśkowski.
Raţă M. T. Problemâ kibernetiki, Moscova, 1969, Emis. 21, p. 185-214 (în l. rusă). - A test for functional completeness in the logic corresponding to First Jaśkowsk’s matrix.
Raţa M. F. Soviet Math. Dokl., Vol. 7, 1966, p. 683-687. - Criteriul de completitudine funcţională în logica corespunzătoare Primei matrice Jaśkowski.
Raţă M. T. Dokl. A. N. S.S.S.R., 1966, vol. 168, nr. 3, p. 524-527 (în l. rusă).
Apartenenţa la societăţi, redacţii
- Societatea Matematică din Republica Moldova (SMRM).
- Societatea "Academicianul C. Sibirschi".
- Romanian Society of Applied and Industrial Mathematics.
- Revista "Buletinul AŞM. Matematica" (membru al colegiului redacţional).
- Revista "ROMAI Journal" (România, membru al colegiului redacţional).
