The University of New South Wales

go to UNSW home page

Handbook Home

Table of Contents
List divider List divider

Use this search only if you have an exact code for a Program, Plan, or Course, e.g. 3400, ACCTA13502, ACCT1501 or ACCT*.
Use the main search box (Search the UNSW Handbook) if you do not have an exact code and want to use a keyword instead.

PRINT THIS PAGE
First-order Logic - COMP4415
 Computing Logo

   
   
   
 
Campus: Kensington Campus
 
 
Career: Postgraduate
 
 
Units of Credit: 6
 
 
EFTSL: 0.12500 (more info)
 
 
Indicative Contact Hours per Week: 4
 
 
Enrolment Requirements:
 
 
Prerequisite: COMP9101 or COMP9801.
 
 
CSS Contribution Charge:Band 2 (more info)
 
   
 
Further Information: See Class Timetable
 
  

Description

This course is a presentation of the kind of logic useful for knowledge representation and reasoning. It begins with the elements of first-order logic using tableau methods and proceeds to soundness and completeness, and compactness. Using compactness it addresses issues like expressibility to show, for instance, why transitive closure is not first-order. The course concludes with an introduction to non-monotonic reasoning as a formalization of common sense reasoning.

URL for this page:

© The University of New South Wales (CRICOS Provider No.: 00098G), 2004-2011. The information contained in this Handbook is indicative only. While every effort is made to keep this information up-to-date, the University reserves the right to discontinue or vary arrangements, programs and courses at any time without notice and at its discretion. While the University will try to avoid or minimise any inconvenience, changes may also be made to programs, courses and staff after enrolment. The University may also set limits on the number of students in a course.