|
CSE599DS: Finite Model Theory |
|
 CSE Home |
About Us |
Search |
Contact Info |
|
|
Description: The course will cover several topics in finite model theory, with applications to databases, complexity theory, and formal languages. The basic methods and the fundamental results in finite model theory are elegant and powerful, yet they are little known beyond a small community, and are difficult to learn independently. The goal of the course is to make these methods and results accessible, and at the same time connect them to applications. The topics will be covered rigorously (i.e. most proofs will be discussed in details), while emphasizing both the applications and the intellectual beauty of the material.
Portions of the CSE 599ds Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 599ds Web: © 1993-2005, Department of Computer Science and Engineering, University of Washington. |
||||||
 |
Computer Science & Engineering University of Washington, Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to webmaster] Privacy policy and terms of use |
