2007 HPA291 Introduction to Logic

Unit Level: Intermediate

Available as a Student Elective: Yes

View timetable of lectures only for this unit.  View ALL timetable events for this unit.

See also   HPA391

OFFERINGS

Unit Sem 1 Sem 2 Full Yr Spring Summer Winter
HPA291 H,L,W

Key Semester Dates
Semester Campus Attendance Note Start Date Census Date Final WW Date* End Date
Sem 1 H On Campus 26-FEB-2007 23-MAR-2007 16-APR-2007 01-JUN-2007
Sem 1 L On Campus 26-FEB-2007 23-MAR-2007 16-APR-2007 01-JUN-2007
Sem 1 W On Campus 26-FEB-2007 23-MAR-2007 16-APR-2007 01-JUN-2007

* 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).

Offered in Courses: [C3L] [C3S] [F3R] [G3C] [G3H] [G3J] [L3D] [L3L] [R3A] [R3S] [S3F] [S3L] [S3U]
About Census Dates

DESCRIPTION

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.

WEIGHT: 12.5%

ASSESSMENT: 2 x 1,000-word assignments (20% ea), 3-hr exam (60%)

TEACHING PATTERN: 2 hrs lectures weekly, 1-hr tutorial fortnightly (13 wks)

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

REQUISITE INFO
Prereq 25% level 100 Philosophy or Science. Prerequisite not applicable to students undertaking this unit through the Bachelor of Information Systems or Bachelor of Computing.
M.Excl HPS291/391

TEXTS
Launceston Co-op Bookshop Website - Semester (Sem 1)
Hobart Co-op Bookshop Website - Semester (Sem 1)

STAFF: Dr D Coady

FEES
View fees for this unit

KEY

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.

Special approval is required for enrolment into TNE Program units - campuses A, F, G, K, Q and Y click here for more information.



University of Tasmania Home Page Authorised by the Academic Registrar
© University of Tasmania | ABN 30 764 374 782 | CRICOS Provider Code 00586B
Copyright and Disclaimers | Accessibility | Feedback, Suggestions and Questions
Info Line 1300 363 864