Logika doktori orak

A FILOZOFIA DOKTORISKOLA LOGIKA PROGRAMTAGOZATANAK KURZUSAI 1999 tavaszi szemeszter Ruzsa Imre: Bevezetes a metalogikaba K 14h30 - 16 Ruzsa tanar ur Introduction to Metalogic c. konyve alapjan, a metalogikat (Godel-, Church-tetelek bizonyitasat) a kanonikus kalkulusok elmeletere, mint minimalis keretre epitve. Sain Ildiko: Kategoriaelmelet II. K 12h20 - 13h50 MTA Matematikai Kutato A mult felevi kurzus folytatasa. Mate Andras: Matematikafilozofiai szeminarium Sz 8h15 - 9h45 A matematika strukturalista (reszben kategoriaelmeleti) es a modalis megalapozasa hataran mozgo, nagyobb irasokat olvasunk (Makkai M., H. Field, G. Hellmann). Polos Laszlo: Kontextusvaltozas es szemantika Febr.22.-tol kethetenkent H 4-7h30 A jelentes dinamikus felfogasa: a mondatjelentes nem igazsagfeltetelek osszessege, hanem informacios allapot valtoztatasara valo kepesseg. Az ilyen elven alapulo logikai rendszerek a 80-as evek eleje ota fejlodnek, sikeres alkalmazasokkal a szamitastudomanytol a nyelveszeten keresztul az AI-ig. A kurzusok helyszine --- Sain Ildikoe kivetelevel --- az ELTE BTK Logika tanszek, Bp. V. Pesti B. u. 1, A ep. felem. 23. ============================================================================== Andras Mate CSc, assoc. prof. -- Dept. of Symbolic Logic Lorand Eotvos University Budapest, Faculty of Arts and Humanities H-1364 Budapest, POB 107 Phone: (36 1) 266 9100/5328 -- TAD/Fax: (36 1) 266 41 95 e-mail:mate@isis.elte.hu Home: H-1119 Budapest, Nandorfehervar koz 11 / Phone: (36 1) 204 0489