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
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