This unit gives an introduction to formal languages using logic programming and looks at what a computer can compute and what problems are intractable. Examples include why it is so difficult to design timetables, get computers to play Go, or crack a code. Topics include computable functions, finite state automata, regular expressions, grammars, Turing computability, polynomial-time reductions, and NP-completeness.
2 hrs lectures/wk, 3 hrs laboratory/fortnight, 2 hrs tutorial/fortnight
Students will be expecte to spend an average of 12 hours per week:
This will include:
CSE2303
FIT1029 and 6 points of level 1 (or above) mathematics
For students in courses 2380, 2770, 0050, 2672, 3517, 3282 and 0085 who commenced prior to 2011: FIT1008/FIT1015 and 6 points of approved mathematics
David Dowe
Loke Kar Seng
At the completion of this unit, students will have -
A knowledge and understanding of:
Examination (3 hours): 70%; In-semester assessment: 30%
| Assessment Task | Value | Due Date |
|---|---|---|
| Pracs (3 hours) | Total of 30% (5 pracs x 6%) |
|
| Examination 1 | 70% | To be advised |
Monash is committed to excellence in education and regularly seeks feedback from students, employers and staff. One of the key formal ways students have to provide feedback is through SETU, Student Evaluation of Teacher and Unit. The University's student evaluation policy requires that every unit is evaluated each year. Students are strongly encouraged to complete the surveys. The feedback is anonymous and provides the Faculty with evidence of aspects that students are satisfied and areas for improvement.
For more information on Monash's educational strategy, and on student evaluations, see:
http://www.monash.edu.au/about/monash-directions/directions.html
http://www.policy.monash.edu/policy-bank/academic/education/quality/student-evaluation-policy.html
If you wish to view how previous students rated this unit, please go to
https://emuapps.monash.edu.au/unitevaluations/index.jsp
| Week | Activities | Assessment |
|---|---|---|
| 0 | Register for Tutorials and Laboratory classes in Allocate+ | No formal assessment or activities are undertaken in week 0 |
| 1 | Introduction and Propositional Logic | |
| 2 | Predicate Logic and Introduction to Prolog | |
| 3 | Regular Expressions and Finite Automata | |
| 4 | Kleene's Theorem and Lexical Analysis | Prac 1: Finite Automata |
| 5 | Pumping Lemma and Context Free Grammars | |
| 6 | Pushdown Automata and Parsing | Prac 2: Lexical Analysis |
| 7 | Chomsky Normal Form and Turing Machines | |
| 8 | Computability and Universal Turing Machines | Prac 3: Parsing |
| 9 | Decidability and Non-Computability | |
| 10 | Undecidability, and Class P and Class NP | Prac 4: Computability |
| 11 | Polynomial Reducibility and NP-completeness | |
| 12 | Implications and Revision | Prac 5: Cook-Levin and Equivalence |
| SWOT VAC | No formal assessment is undertaken SWOT VAC | |
| Examination period | LINK to Assessment Policy: http://policy.monash.edu.au/policy-bank/ academic/education/assessment/ assessment-in-coursework-policy.html |
*Unit Schedule details will be maintained and communicated to you via your MUSO (Blackboard or Moodle) learning system.
To pass a unit which includes an examination as part of the assessment a student must obtain:
If a student does not achieve 40% or more in the unit examination or the unit non-examination total assessment, and the total mark for the unit is greater than 50% then a mark of no greater than 49-N will be recorded for the unit
Every prac sheet contains a guide of the assessment criteria used to assess that prac. In addition, demonstrators might carry with them a marking guide prepared by the lecturer which indicates some details of the marks for each prac question. You can request the demonstrator to show you the marking guide after he/she has marked your prac.
It is a University requirement (http://www.policy.monash.edu/policy-bank/academic/education/conduct/plagiarism-procedures.html) for students to submit an assignment coversheet for each assessment item. Faculty Assignment coversheets can be found at http://www.infotech.monash.edu.au/resources/student/forms/. Please check with your Lecturer on the submission method for your assignment coversheet (e.g. attach a file to the online assignment submission, hand-in a hard copy, or use an online quiz).
Submission must be made by the due date otherwise penalties will be enforced.
You must negotiate any extensions formally with your campus unit leader via the in-semester special consideration process: http://www.infotech.monash.edu.au/resources/student/equity/special-consideration.html.
Monash has educational policies, procedures and guidelines, which are designed to ensure that staff and students are aware of the University's academic standards, and to provide advice on how they might uphold them.
You can find Monash's Education Policies at:
http://policy.monash.edu.au/policy-bank/academic/education/index.html
Key educational policies include:
The University provides many different kinds of support services for you. Contact your tutor if you need advice and see the range of services available at www.monash.edu.au/students The Monash University Library provides a range of services and resources that enable you to save time and be more effective in your learning and research. Go to http://www.lib.monash.edu.au or the library tab in my.monash portal for more information. Students who have a disability or medical condition are welcome to contact the Disability Liaison Unit to discuss academic support services. Disability Liaison Officers (DLOs) visit all Victorian campuses on a regular basis