|
|
Title:
|
|
Theory of Computing
|
|
|
|
|
|
Instructor:
|
|
Cezar Câmpeanu
|
|
|
|
|
|
Email:
|
|
ccampeanu < at > upei < dot > ca
|
|
|
|
|
|
Office:
|
|
CASS 405
|
|
|
|
|
|
Tel:
|
|
(902)566-0485
|
|
|
|
|
|
Textbook:
|
|
Introduction to Automata Theory, Languages, and Computation 3rd Edition,
by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman
Addison Wesley, 2007,
ISBN 13: 978-0321-46225-1
ISBN 10: 0-321-46225-4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Textbook web site:
|
|
http://vig.pearsoned.ca/catalog/academic/product/0,1144,0321462254,00.html
|
|
|
|
|
|
Textbook Stanford web site:
|
|
http://www-db.stanford.edu/~ullman/ialc.html
|
|
|
|
|
|
Course web site:
|
|
Go To: http://www.csit.upei.ca,
or
http://www.upei.ca/csit,
Then follow the links: Faculty, Cezar Campeanu, Personal Webpage, Teaching, and CS332 under Winter 2012
|
|
|
|
|
|
Recommended reading:
|
|
Handbook of Formal Languages Vols. 1 - 3 Rozenberg, Grzegorz; Salomaa, Arto (Eds.) 1997, LXVIII, 2051 p. 272 illus., Hardcover ISBN: 3-540-61486-9
|
|
|
|
|
|
General description:
|
|
This course introduces automata theory, formal languages and computability. Topics include: finite automata, regular expressions, context-free and context-sensitive languages, Turing machines, recursive functions, recursive and recursively-enumerable sets, and unsolvable and intractable problems.
|
|
|
|
|
|
Time and Location:
|
|
Tuesday and Thursday 10:00-11:15, K 210
|
|
|
|
|
|
Office Hours:
|
|
Monday 9:30-10:30, Tuesday 11:30-12:30, Friday 9:30-10:30 or anytime by appointment (please send email-)
|
|
|
|
|
|
Midterm:
|
|
Tuesday, March 6, 2012
|
|
|
|
|
|
|
|
Last meeting before exam: Wednesday, April 11, 2012 at 12:01pm (We try K210)
|
|
|
|
|
|
Final Exam:
|
|
Thursday, April 12th at 2:00 pm Health Sciences Building (new School of Nursing building) room 105
|
|
|
|
|
To make sure you are viewing the most recent version of this page,press the shift key while clicking on the Reload button.
It is your responsibility to check this page for updates.
