Oktatás
Matematikai logika, A matematika alapjai, Halmazelmélet, Algebrai logika, Valószínűségszámítás, Analízis
KÖNYVEK:
° 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:
° 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