Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Course Syllabus COMP 455 Models of Languages and Computation

Summary: Course Syllabus
COMP 455 Models of Languages and Computation
Fall 2010
Meeting Place: SN011
Meeting Time: 9:30 10:45, TuTh
Course Web Page: http://www.cs.unc.edu/anderson/teach/comp455
Instructor: Prof. Jim Anderson
Telephone: 962-1757
Office: FB 112
E-mail: anderson@cs.unc.edu
Office Hours: 11:00am-11:30am on MW,
12:30pm-1:00pm on TuTh
Grader: Jeremy Erickson
Telephone: 962-1710
TA Office: SN 137
E-mail: jerickso@cs.unc.edu
As Jeremy is only a grader, and not a TA, please only
contact him about grading issues.
Goals of the Course: The primary goal is study various computational models and how they relate to
each other. A secondary goal is to become unafraid of formal proofs.


Source: Anderson, James - Department of Computer Science, University of North Carolina at Chapel Hill


Collections: Computer Technologies and Information Sciences