Ferenczi Miklós

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

Kurzusok

Tantárgy neve Kurzus kód
A matematika alapjai BMETE91AM35/S0
Matematika A4 - Valószínűségszámítás BMETE90AX51/U8
Matematika A4 - Valószínűségszámítás BMETE90AX51/U3
A matematika matematikája BMETE919215/T0 - 2016/17/2
Nem-standard analízis BMETE919213/T0 - 2016/17/2

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

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

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