UNIVERSITY OF PRINCE EDWARD ISLAND
Computer Science/Math 3320
THEORY OF COMPUTING
September 2024
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:   https://www.pearson.com/en-ca/subject-catalog/p/introduction-to-automata-theory-languages-and-computation/P200000003517/9780321455369
     
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/smcs,
and follow the links: Faculty Members, Cezar Câmpeanu, Personal Website. Then follow Teaching, and MCS3320 under Fall 2024
     
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:   CS2920 and Math 2420
     
Essential to review:   Set theory, Mathematical Logic, including boolean algebras, Induction, Arithmetic/Number Theory (mainly Modular Arithmetic). Trying to bypass MATH 2420 may have as a result failing MCS3320.
     
Time and Location:   Section I Monday/Wednesday/Friday 8:30 AM - 9:20 AM, HSB 104,
Section II Monday/Wednesday/Friday 9:30 AM - 10:20 AM, HSB 104
     
Office Hours:   MWF 10:30-11:15, 12:30-1:15 or by appointment (please send email-)
     
Midterm:  
Monday, November 4, 2024
     
Final Exam:  
December 17, 7:00 pM - 10:00 PM, Young Sports Ctr, 117
#Final Exam:
Monday December 12, 9:00 AM - 12:00 PM, Young Sports Ctr, 117
#
     
    This course is taking place on the traditional and unceded territory of the Lnu Epekwitk (Island Mi'kmaq), a district of Mi'kma'ki, the Mi'kmaq Nation.
     
Academic Integrity Portal:   https://library.upei.ca/ai/home
     
Academic Integrity Course:   https://moodle31.upei.ca/course/view.php?id=9071
     
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 113 (http://files.upei.ca/calendar.pdf).
     
    The following link will help you to maintain academic integrity and avoid plagiarism https://library.upei.ca/ai/home.
     
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.
     
    For some/all assignments/moodle resources and exams you may have to earn one or more academic integrity badges.
     
Grading scheme:
Assignments Midterm Examination Final Examination
30% 30% 40%
   
Course Resources:
  1. Assignments
  2. Handouts
  3. Assignment Policy
  4. Moodle Login (Section 1)
  5. Moodle Login (Section 2)
  6. Grail
  7. Tentative Schedule
   
Important Notices: Please, check course web site periodically for updates. For any problems concerning the MCS3320 pages, please contact me.
   
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:Wednesday November 20, 2024 at 12:45 am AST
Cezar Câmpeanu