Utilizarea logicii și algebrei la rezolvarea problemelor cu text

CZU : 372.851:510.65+512.5

Lupu Ilie

Acta et commentationes (Ştiinţe ale Educaţiei)

Nr. 3(29) / 2022 / ISSN 1857-0623 /ISSNe 2587-3636

-----------------------------------------------------------------------------------------------------------------------------------

On generalization of the notion of Moufang loop to n-ary case

CZU : 510.6+512.548.7

Onoi Vasile, Ursu Leonid

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica

Nr. 1(89) / 2019 / ISSN 1024-7696 /ISSNe 2587-4322

-----------------------------------------------------------------------------------------------------------------------------------

Triality and Universal Multiplication Groups of Moufang Loops

CZU : 512.5+510.6

Phillips Jon D.

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica

Nr. 1(80) / 2016 / ISSN 1024-7696 /ISSNe 2587-4322

-----------------------------------------------------------------------------------------------------------------------------------

On some classes of formulas in S5 which are pre-complete relative to existential expressibility

CZU : 004.42+510.6+512.5

Rusu Andrei, Rusu Elena

Computer Science Journal of Moldova

Nr. 3(93) / 2023 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition

CZU : 510.6

Nikitchenko Mykola, Shkilniak Oksana, Shkilniak Stepan, Mamedov Tohrul

Computer Science Journal of Moldova

Nr. 2(80) / 2019 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Nominative data with ordered set of names

CZU : [510.6+519.6]:004.42

Skobelev Volodymyr, Ivanov Ievgen, Nikitchenko Mykola

Computer Science Journal of Moldova

Nr. 2(74) / 2017 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

"The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyaya

CZU : 510.6

Guhe Eberhard

Computer Science Journal of Moldova

Nr. 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Propositional inquisitive logic: a survey

CZU : 510.6

Ciardelli Ivano

Computer Science Journal of Moldova

Nr. 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Many-Sorted First-Order Composition-Nominative Logic as Institution

CZU : 510.6

Chentsov Alexey

Computer Science Journal of Moldova

Nr. 1(70) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Extensionality, Proper Classes, and Quantum Non-Individuality

CZU : 510.6+530.12:531.1

Greenberg William

Computer Science Journal of Moldova

Nr. 3(69) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates

CZU : 004.421.2:[510.6+512.54.05]

Nikitchenko Mykola, Shkilniak Stepan

Computer Science Journal of Moldova

Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

A New Foundation For Knowledge Systems

CZU : 004.822:[510.644+519.716]

Muravitsky Alexei

Computer Science Journal of Moldova

Nr. 2(56) / 2011 / ISSN 1561-4042 /ISSNe 2587-4330

-----------------------------------------------------------------------------------------------------------------------------------

Valențele formative ale problemelor de logică

CZU : 510.62+512.54+519.76

Onea Riva

Interuniversitaria

Ediția 18, Vol.2. 2022. Bălți, Republica Moldova. ISBN 978-9975-50-285-6.

-----------------------------------------------------------------------------------------------------------------------------------

Pe urmele lui Sherlock Holmes sau metode de rezolvare a problemelor de logică

CZU : 510.62+512.54+519.76

Gușan Veronica

Interuniversitaria

Ediția 18, Vol.2. 2022. Bălți, Republica Moldova. ISBN 978-9975-50-285-6.

-----------------------------------------------------------------------------------------------------------------------------------

Applications of ∩ -large pseudo N-injective acts in quasi-Frobenius monoid theory and its relationship with some classes of injectivity

CZU : 510.67+512.531.4

Abdul-Kareem Shaymaa Amer, Abdulkareem Ahmed A.

Quasigroups and Related Systems

Nr. 2(48) / 2022 / ISSN 1561-2848

-----------------------------------------------------------------------------------------------------------------------------------

Geneza conceptului de gândire algoritmică și natura matematicii

CZU : 510.62+512.54+519.76

Cioban Mitrofan, Popovici-Bujor Violeta

Revista de Ştiinţă, Inovare, Cultură şi Artă „Akademos”

Nr. 3(58) / 2020 / ISSN 1857-0461 /ISSNe 2587-3687

-----------------------------------------------------------------------------------------------------------------------------------

On recursive differentiability of binary quasigroups.

CZU : 510.6+515.1

Larionova Inga, Syrbu Parascovia

Studia Universitatis Moldaviae (Seria Ştiinţe Exacte şi Economice)

Nr. 2(82) / 2015 / ISSN 1857-2073 /ISSNe 2345-1033

-----------------------------------------------------------------------------------------------------------------------------------

On quasigroups with some minimal identities

CZU : 510.6+515.1

Ceban Dina, Syrbu Parascovia

Studia Universitatis Moldaviae (Seria Ştiinţe Exacte şi Economice)

Nr. 2(82) / 2015 / ISSN 1857-2073 /ISSNe 2345-1033

-----------------------------------------------------------------------------------------------------------------------------------

1020304050100150200500

1 - 18 of 18