FI:IB101 Introduction to Logic - Course Information

IB101 Introduction to Logic and Logic Programming

Faculty of Informatics
Spring 2004

Extent and Intensity

2/2. 4 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).

Teacher(s)

Guaranteed by

Timetable

Tue 10:00–11:50 D1

IB101/01: Thu 14:00–15:50 D1, P. Kuba
IB101/02: Thu 16:00–17:50 D1, P. Kuba
IB101/03: Fri 10:00–11:50 B204, L. Svoboda

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

Course objectives

The goal of the course is an introduction to propositional and first-order logic, resolution principle and logic programming.

Syllabus

Survey of logic calculi, syntax.
Propositional logic, truth tables, axioms, provability.
Essentials of proof theory in propositional logic, normal forms, resolution.
First-order predicate calculus, predicate formulas, semantics, axioms, provability.
Normal forms in predicate logic, skolemization.
Essentials of proof theory in predicate logic, resolution.
Introduction to logic programming, SLD-resolution. Basics of Prolog language.

Literature

ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
NERODE, Anil and Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. info
KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ and Michal CHYTIL. Logika, algebry a grafy. Vyd. 1. Praha: SNTL - Nakladatelství technické literatury, 1989, 434 s. info

Assessment methods (in Czech)

Předmět je ukončen písemnou zkouškou formou testu, není povoleno používat žádné pomocné materiály.

Language of instruction

Czech

Further Comments

The course is taught annually.