Skip navigation
The Australian National University

Logic COMP2620

Course overview

Course description

An introductory course in formal logic, dealing with propositional and predicate logic. Techniques of formal deduction and tests for the validity of arguments will be studied. Basic semantic concepts will be discussed.

Attendance

Attendance at tutorials is compulsory

Workload

26 hours of lectures and 24 hours of tutorials

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.