UNIVERSITY OF PRINCE EDWARD ISLAND
Computer Science/Math 332
THEORY OF COMPUTING
January 2017
Title:   Theory of Computing
     
Instructor:   Cezar Câmpeanu
     
Email:   ccampeanu < at > upei < dot > ca
     
Office:   CASS 408
     
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://catalogue.pearsoned.ca/educator/product/Introduction-to-Automata-Theory-Languages-and-Computation/9780321455369.page
     
Textbook Stanford web site:   http://www-db.stanford.edu/~ullman/ialc.html
     
Course web site:  

Go To: http://www.smcs.upei.ca/~ccampeanu,
or
http://www.upei.ca/csit,
Then follow the links: Faculty, Cezar Câmpeanu, Personal Webpage. Then follow Teaching, and MCS332 under Winter 2017

     
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.
     
PREREQUISITE:   CS 261 and Math 242
     
Essential to review:   Set theory, Mathematical Logic, including boolean algebras, Induction, Arithmetic/Number Theory (mainly Modular Arithmetic).
     
Time and Location:   Tuesday and Thursday 10:00-11:15, CSH 104
     
Office Hours:   Monday and Wednesday 12:30-1:20, Tuesday 11:30-12:30, or anytime by appointment (please send email-)
     
Midterm:  
Thursday, March 9, 2017
, during class
     
Final MARKS:  
Everything Marked

Please check your marks. They will be submitted to Registar's Office on Wednesday April 26, 2017.
     
   
Have a nice Summer!
     
ACADEMIC HONESTY:   This course is committed to the principle of academic integrity. Submitted work is expected to reflect an individual effort. Copying or cheating on assignments or tests will be dealt with harshly. Students should read Academic Regulation 20 in the UPEI Calendar at page 61 (http://files.upei.ca/calendar.pdf).
     
Avoiding Plagiarism:   The following link will help you identify and. avoid plagiarism http://resources.library.upei.ca/plagiarism/index.htm.
     
Individual Work Expectations:   You are expected to write your own code, your own proofs, your own examples, and so on. Unless explicitly specified in the assignment's text, the submitted work should be all yours.
     
Grading scheme:
Assignments Midterm Examination Final Examination
35% 30% 35%
   
Course Resources:
  1. Assignments
  2. Handouts
  3. Assignment Policy
  4. Tentative Schedule
  5. Moodle Login
  6. Grail
   
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.
Last modified:Tuesday September 05, 2017 at 09:17 am ADT
Cezar Câmpeanu