Thread View: sci.logic
1 messages
1 total messages
Started by Kurt Goedel Society
Tue, 19 Apr 1994 13:29
Yuri Gurevich: Course Announcement
Author: Kurt Goedel Society
Date: Tue, 19 Apr 1994 13:29
Date: Tue, 19 Apr 1994 13:29
81 lines
3308 bytes
3308 bytes
Lecture Series ``Collegium Logicum'' Kurt Goedel Society University of Technology, Vienna, Austria Christian Doppler Laboratory for Expert Systems Course Announcement ------------------- =================== FINITE MODEL THEORY =================== YURI GUREVICH ============= University of Michigan, Ann Arbor [gurevich@zip.eecs.umich.edu] TOPICS: ------- * The failure of first order logic in the finite case. * Tailoring logic for complexity (This is the largest part.) * Datalog vs first-order logic * Ehrenfeucht-Fraisse' Games and Finite Structures. * Fixed points * Zero-one laws PREREQUISITES: -------------- Good knowledge of predicate logic. Basic knowledge of Complexity Theory (e.g. familiarity with the complexity classes PTime, NPTime, LogSpace, NLogspace, PSpace, and NC). For those not familiar with complexity theory, there will be a preparatory lecture by Dr. Thomas Eiter; for registration and more information, contact Katrin Seyr, phone: (+43 1) 588 01-6120, email: seyr@vexpert.dbai.tuwien.ac.at. PLACE: ------ Seminarraum SEM 181A, Institut fuer Informationssysteme, Paniglgasse 16, 1. Stock (= 3rd floor), 1040 Wien. DATES: ------ The lectures will be allocated with some flexibility within the following slots. The definitive schedule will be communicated at the first lecture, Monday, June 13, 11.00h. Mon June 13: 11.00 - 13.00 | Mon June 20: 11.00 - 13.00 Tue June 14: 12.00 - 14.00 | Tue June 21: 12.00 - 14.00 Wed June 15: 09.00 - 13.00 | Wed June 22: 10.00 - 13.00 Thu June 16: 09.00 - 13.00 | Thu June 23: 11.00 - 13.00 Fri June 17: 09.00 - 13.00 | REGISTRATION: ------------- There are no fees for attendance. Registration is necessary for persons not affiliated with TU Wien. Please register with Katrin Seyr, Institut fuer Informationssysteme, Technische Universitaet Wien, Paniglgasse 16, A-1040 Wien, Tel: (+43 1) 588 01-6112, fax: (+43 1) 505 5304, email: seyr@vexpert.dbai.tuwien.ac.at. ------------------------ Kurt-Goedel-Gesellschaft Technische Universitaet Wien Institut fuer Computersprachen E185.2 Resselgasse 3/1, A-1040 Wien Tel: (+43 1) 588 01/4088 Fax: (+43 1) 504 15 89 email: kgs@logic.tuwien.ac.at Mit Unterstuetzung des Bundesministeriums fuer Wissenschaft und Forschung
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads