Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Other Mathematics
Asupra Unor Noi Functii În Teoria Numerelor, Florentin Smarandache
Asupra Unor Noi Functii În Teoria Numerelor, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
Performantele matematicii actuale,ca si descoperirile din viitor isi au,desigur, inceputul in cea mai veche si mai aproape de filozofie ramura a matematicii, in teoria numerelor. Matematicienii din toate timpurile au fost, sunt si vor fi atrasi de frumusetea si varietatea problemelor specifice acestei ramuri a matematicii. Regina a matematicii, care la randul ei este regina a stiintelor, dupa cum spunea Gauss, teoria numerelor straluceste cu lumina si atractiile ei, fascinandu-ne si usurandu-ne drumul cunoasterii legitatilor ce guverneaza macrocosmosul si microcosmosul. De la etapa antichitatii, cand teoria numerelor era cuprinsa in aritmetica, la etapa aritmeticii superioare din perioada Renasterii, cand teoria …
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
Engineering Faculty Articles and Research
We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.