Monash University > School of Computer Science and Software Engineering > CSE2303 > Introductory information
This subject looks at the question of exactly what a computer can compute, and gives an introduction to logic and formal languages. Topics include computable functions, finite state automata, regular expressions, grammars, Turing computability, propositional logic, resolution, and predicate logic.
Daniel I.A. Cohen, "Introduction to Computer Theory", Second Edition, John Wiley & Sons, Inc. 1997.
Michael Sipser, "Introduction to the Theory of Computation", PWS Publishing Company, 1997.
There will be six practical labs and five tutorials. Practical labs (3 hours) and Tutorials (1 hour) will be held alternate weeks. Some students will have pracs in the same week that other students are having tutorials. You are expected to read through the prac and tutorial notes before each practical lab and tutorial, respectively. These notes will be handed out during lectures and will be available on the web via the practical labs web page and the tutorial web page
To find out when and where your pracs and tutes are please check the following site:
Excess noise in the classroom will not be tolerated. This includes lectures, tutorials and pracs. You have the right to not learn, if you choose, but you don't have the right to take learning opportunities away from others.
All submitted work (for pracs, tests and the final exam) must be your own work. You are encouraged to discuss pracs with classmates. However, collaboration on coding is not acceptable; direct copying of algorithms or code is not acceptable. Your demonstrator will ask you questions about the code you submit to ensure that you understand it. If you copy the code from someone else your demonstrator will know. Students who copy, and those who knowingly allow their work to be copied by others, will be dealt with by the subject coordinator, and disciplinary action will be taken according to university regulations.
Students should consult University materials on cheating, in particular:
It is the student's responsibility to make themselves familiar with the contents of these documents.
Last modified 20/1/2005