Irodalom az algebrai logika előadásomhoz



Vissza az előadás indexlapjára


Matematikai háttéranyag
  • [bs] Burris-Sankappanavar: Bevezetés az univerzális algebrába, Tankönyvkiadó, Bp., 1988, vagy angolul: A Course in Universal Algebra - az univerzális algebra alapvető tételeit részletesen tárgyaló tankönyv
  • [csirmi] Csirmaz László: Matematikai logika - az elsőrendű logika alapvető tételeit (a teljességi tétel kivételével) részletesen tárgyaló jegyzet
  • [fried] Fried Ervin: Általános algebra. Egyetemi tankönyv, 1989.
  • [henkhalo] Henk Csaba: Államvizsga kérdések a matematikus szakon, 2001: Hálóelmélet, ps   és pdf   formátumban - egy összefoglalás a hálóelméletről, Boole-algebrákról és egyebekről
  • [henkhelo] Henk Csaba: Államvizsga kérdések a matematikus szakon, 2001: Halmazelmélet és logika, dvi   és pdf   formátumban - egy összefoglalás a halmazelmélet és a logika alapjairól
  • [uab4AL] Andréka-Németi-Sain: Universal algebraic basics for algebraic logic, ps.gz formátumban, ábrák nélkül - benne vannak az előadás követéséhez szükséges univerzális algebra ismeretek


    • Történeti háttéranyag
  • [got] A gót betűk, ahogy azt Kierkegaard írta
  • [burris] Burris, S.: Contributions of The Logicians - egy történeti áttekintés a matematikai logika gyökereiről


    • Alapvető irodalom
  • [ans] Andréka-Németi-Sain: Algebraic logic - bő áttekintés az algebrai logikához kapcsolódó algebrai struktúrákról és az algebraizálásról
  • [akns] Andréka-Németi-Sain: Applying algebraic logic; a general methodology, dvi és ps formátumban - az algebraizálás részletesen
  • [hmt1] Henkin-Monk-Tarski: Cylindric algebras, Part I, North-Holland, Amsterdam, 1971, 1985.
  • [hmt2] Henkin-Monk-Tarski: Cylindric algebras, Part II, North-Holland, Amsterdam, 1985.
  • [hmtan] Henkin-Monk-Tarski-Andréka-Németi: Cylindric set algebras, Springer-Verlag, Berlin-New York, 1981.


    • További irodalom
  • [and1] Andréka Hajnal: Complexity of equations valid in algebras of relations I., dvi, ill. ps formátumban
  • [hoo] Hoogland: Algebraic characterizations of two Beth definability properties
  • [chk] Chang-Keisler: Model theory; Third edition. Studies in Logic and the Foundations of Mathematics, 73. North-Holland Publishing Co., Amsterdam, 1990. xvi+650 pp.
  • [csirmish] Csirmaz László: Shelah's theorem, saying that two structures are elementarily equivalent if and only if they have isomorphic ultrapowers (magyar nyelvű!), dvi, ill. ps.gz formátumban
  • [hcs] Henk Csaba: Axiomatizability properties of diagonal-free cylindric lattices, with special emphasis on dimension two - kézirat
  • [ns] Németi-Sain: Cone-implicational subcategories and some Birkhoff-type theorems; Universal algebra (Esztergom, 1977), pp. 535-578, Colloq. Math. Soc. János Bolyai, 29, North-Holland, Amsterdam-New York, 1982 - a Birkhoff típusú tételek kategóraelméleti tárgyalása

    Linkek
  • A Rényi Intézet algebrai logika kutatócsoportja
  • Serény György honlapja
  • Kurucz Ági honlapja
  • Mikulás Szabolcs honlapjai: az egyik és a másik
  • Ivo Düntsch honlapja
  • Ian Hodkinson honlapja
  • Így teszek képleteket html-be: LATEX 2HTML Translator
  • Egy másik megoldás: TTH, azaz TEX to HTML




    • Levél az előadónak (Henk Csaba)

    Vissza
    Vissza a főoldalra