|
|
Title:
|
|
Theory of Computing
|
|
|
|
|
|
Instructor:
|
|
Cezar Câmpeanu
|
|
|
|
|
|
Email:
|
|
ccampeanu < at > upei < dot > ca
|
|
|
|
|
|
Office:
|
|
CASS 408
|
|
|
|
|
|
Tel:
|
|
(902)566-0485
|
|
|
|
|
|
Textbook:
|
|
TBA
|
|
|
|
|
|
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 Winter 2027
|
|
|
|
|
|
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:
|
|
TBA
|
|
|
|
|
|
Office Hours:
|
|
TBA
|
|
|
|
|
|
|
|
|
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 or online Academic Integrity).
|
|
|
|
|
|
|
|
The following link will help you to maintain academic integrity and avoid plagiarism https://library.upei.ca/ai/home.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
Failing to obey all academic integrity rules may result in 0 in that assignment/test or the whole course.
|
|
|
|
|
|
|
|
For some/all assignments/moodle resources and exams you may have to earn one or more academic integrity badges.
|
|
|
|
|
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.
It is your responsibility to check this page for updates.