CS5034: Models of Computation - Fall 1997
CS5034: Models of Computation is a broad survey of topics relating to
various approaches to performing computation. Combined with
CS5024: Models and Analysis, this course is designed to bring
students with disparate backgrounds up to speed with the necessary
terminology and concepts to do graduate level work in Computer Science,
regardless of their area of concentration. Topics include the fundamentals
of Formal Languages, Computability, Logic, and formal methods relating to
specification and semantics.
This course meets MWF @ 2-3 in McBryde 219.
Instructor:
Dr. Cliff Shaffer
(shaffer@cs.vt.edu)
McBryde 331, x4354, Office Hours: MWF 11-11:45
Semester Schedule
GTA:
Mohammad Mahboob
(ohiuddin@cs.vt.edu)
Office Hours: M 3-5, Tu 4-5, W 4-5, Th 4-6 (in 116 McB).
The
Graduate Honor Code is in effect for this course.
This Week's Announcements
Homework Assignment 13 (Due December 11) has been posted.
The course final will be on Tuesday, December 16 at 7:45 am.
Table of Contents
Pointers to Other Information
CS5034 class account (cs5034@ei.cs.vt.edu)