Ferenczi Miklós

Beosztás: 
professor emeritus
Fokozat: 
MTA doktora
Szoba: 
H405
Email: 
ferenczi@math.bme.hu
Telefon: 
463-1111/5675

Oktatás

Matematikai logika, A matematika alapjai, Halmazelmélet, Algebrai logika, Valószínűségszámítás, Analízis

KÖNYVEK:

° A matematika alapjairól, Typotex, p255 (2020)

° Mathematical Logic for Applications, Polytechnica, p120 (2006) (with M. Szőts)

  elektr. kiadás, Typotex, 2011

° Formal Methods in Computing (eds. M.Ferenczi, A. Pataricza, L. Rónyai), Kluwer, p425 (2005)

° Matematikai Logika, Műszaki Kiadó, 250o (2002)

° Valószínűségszámítás és Alkalmazásai, Tankönyvkiadó, 408o, (1998 és 2007)

 

TÁRGYAK:

Matematikai logika

A matematika alapjai http://math.bme.hu/~ferenczi/MatAlapjai.html

Elméleti számítástudomány

Felsőbb matematika (informatikusoknak) http://math.bme.hu/~ferenczi/FelsoMatek15

Matematika A4 (Valószínűségszámítás)

Halmazelmélet és matematikai logika

A matematika matematikája

Matematika A1, A2, A3

Kutatás

Publikációk és hivatkozások:
MTMT

Matematikai logika, Algebrai logika, Nem-klasszikus logikák, Modellelmélet

 

KÖNYVEK:

° A matematika alapjairól, Typotex, p.255 (2020)

° Cylindric-like Algebras and Algebraic Logic (eds. H. Andréka, M. Ferenczi, I. Németi), Springer, p478 (2012)

° Matematikai Logika, Műszaki Kiadó (II. átdolgozott kiadás), 274o (2014)

Kiemelt publikációk

° On diagonals in representable cylindric algebras, Algebra Universalis 41, 3, 187-199 (1999)

° On representability of neatly embeddable cylindric algebras, Journal of Applied Non-classical Logics, 10, 3-4, 300-315 (2000)

° On some developments in the representation theory of cylindrical-like algebras, Algebra Universalis 55, 2-3, 345-353 (2006) (with G. Sági)

° On cylindric algebras satisfyingmerry-go-roundroperties, Logic Journal of IGPL, 15, 2, 183-197 (2007)

° Finitary polyadic algebras from cylindric algebras, Studia Logica, 87, 1, 2-11 (2007)

° On conservative extensions in logics with infinititary predicates, Studia Logica, 92, 1, 121-135 (2009)

° On the representabilityof neatly embeddable CA's by cylindric relativized algebras, Algebra Universalis, 63, 4, 331-350 (2010)

° Existence of partial transposition means representabilityn cylindric algebras, Mathematical Logic Quarterly, 57, 1, 87-94 (2011)

° The polyadic generalization of the Boolean axiomatization of fields of sets, Transaction of the American Mathematical Society, 364, 2, 867-886 (2012)

°  Probabilities defined on standard and non-standard cylindric set algebras, Synthese, 192, 2025-2033 (2015)

° On representations of polyadic-like equality algebras, Algebra Universalis 75,1,107-125 (2016)
.
° On the definition and the representability of quasi polyadic equality algebras, Mathematical Logic Quarterly, 62, 1-29-15 (2016)

° Cylindric algebras and finitary polyadic algebras, Algebra Universalis 79, 3, 1-14 (2018)

° Star-finite logics and their algebraizations (in Boolean logics, Expressions and Theories, Nova Science Publisher), 21-38 (2020)

° Hyperfinite logics and non-standard extensions of Boolean algebras, Publications de l'Institut Mathematique, 107, 121, 53-61 (2020)

° On the algebraization of Henkin-type second-order logic, Mathematical Logic Quarterly, 68, 2, 149-158 (2022)

° Quasi-polyadic algebras and their dual position, Notre Dame J. of Formal Logic, 63, 1, 121-136 (2022)

° On the representations of transposition algebras and non-commutative cylindric algebras, J. Applied Logic, to appear