CS330 - Formal Methods and Models - Fall, 2002 | ||||||||
|---|---|---|---|---|---|---|---|---|
|
703-993-1554 henryh@cs.gmu.edu Office Hours: Thursday 2-4 p.m. in ST2-430 and by appointment | ||||||||
|
yli8@gmu.edu Office Hours: Tuesday, 3-4 and Wednesday, 2-4 in ST2-365 and by appointment | ||||||||
|
*** How to submit the Lex project *** | ||||||||
|
Program #1: Prolog for Flight Schedules Q & A for Prolog Assignment #1 Prolog Q & A | Useful Prolog Code | ||||||||
|
Assignment Schedule | Lecture Transparencies | Hints & Solutions Prerequisites | Description | Text | Grading Unix Workshops | Memo Email Information | ||||||||
| PREREQUISITES : CS 211 and Math 125 (C or better in both). | ||||||||
|
DESCRIPTION :
This course is an introduction to two kinds of formal systems: logics and languages. Each of these areas is crucial to a computer science education and each of them leads directly to important computing applications. Various systems of logic and automatic reasoning are currently used in artificial intelligence, database theory and software engineering. The study of formal languages underlies important aspects of compilers and other language processing systems, as well as the theory of computation. The entire course will give you practice in precise thinking and proof methods that play a role in the analysis of algorithms. The programming assignments in Prolog and Lex provide practical experience with some course issues. | ||||||||
|
TEXT :
The course text, Logic and Language Models for Computer Science, was developed at GMU along with this course by two GMU faculty members. | ||||||||
|
ASSIGNMENTS, TRANSPARENCIES & HINTS:
| ||||||||
GRADING :
| ||||||||