1
10841
false
COMP4630
<p>This course covers: essentials of first order logic, up to and including completeness proofs; introductions to proof theory and model theory; elements of modal and temporal logic; introduction to automated reasoning. Students will have the opportunity to read and present material going beyond that in the lectures.</p>
C
1
false
10812
<p>Assignments (50%);Final Exam (50%)</p>
1
1
<p>On satisfying the requirements of this course, students will have the knowledge and skills to:</p> <ul><li>Define several formal logical languages, their syntax and semantics. </li><li>Explain inference mechanisms and their theoretical properties. </li><li>Demonstrate how these languages and inference mechanisms can be applied to model and solve problems. </li><li>Experiment with computer programs for automated reasoning. </li><li>Develop mathematical proofs in the area of formal logic.</li></ul>
0
Overview of Logic and Computation
6
6
6
<p>24 units of 3000-level COMP courses including COMP3610</p>
Overview of Logic and Computat
Band 2
Computer Science
2
<p>Twenty-six one-hour lectures, ten one-hour tutorials</p>
2010