* The Final WW Date is the final date from which you can withdraw from the unit without academic penalty, however you will still incur a financial liability (see Withdrawal dates explained for more information).
Introduces students to symbolic logic, including proof theory, semantics and elementary metatheory of the propositional calculus and the first order predicate calculus, as well as the application of elementary logical techniques to the formalisation of natural language reasoning. The unit is suitable for students wishing to pursue logic further, as well as those wishing to acquire some familiarity with logic for other purposes.
ASSESSMENT: 2 x 1,000-word assignments (20% ea), 3-hr exam (60%)
FLEXIBLE & ONLINE STUDY OPTIONS Note: Class attendance may still be required
Web supported - H,L,W Online access to some part of this unit online is optional
Resource supported teaching & learning - H,L,W Additional resources are provided for your optional use; e.g. audio taped lectures
Video conferencing - L,W A live video link between campuses is used for at least some teaching in this unit
About Flexible Study Options
25% level 100 Philosophy or Science. Prerequisite not applicable to students undertaking this unit through the Bachelor of Information Systems or Bachelor of Computing.
Units are offered in attending mode unless otherwise indicated (that is attendance is required at the campus identified). A unit identified as offered by distance, that is there is no requirement for attendance, is identified with a nominal enrolment campus. A unit offered to both attending students and by distance from the same campus is identified as having both modes of study.
Campus - H Hobart, L Launceston, W Burnie. Study Centre - V Sydney, R Rozelle, P Beauty Point. Distance units may also have a campus identifier of I Isolated, N Interstate, O Overseas. Units delivered in Transnational Education (TNE) Programs have a campus identifier of A Hangzhou, F Fuzhou, G Shanghai, K KDU Malaysia, Q Kuwait or Y Hong Kong.