Information System of Masaryk University 

Course Information

IB101 Introduction to Logic and Logic Programming

Faculty of Informatics
Spring 2007

Extent and Intensity

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

Teacher(s)

RNDr. Petr Kuba, Ph.D. (lecturer)
doc. RNDr. Lubomír Popelínský, Ph.D. (lecturer)
RNDr. Jan Bouda, Ph.D. (seminar tutor)
RNDr. Ondřej Výborný (seminar tutor)
Mgr. Mária Briatková (assistant)
Mgr. Jan Doleček (assistant)

Supervisor

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science - Faculty of Informatics
Contact Person: doc. RNDr. Lubomír Popelínský, Ph.D.

Timetable

Wed 10:00–11:50 D3, Wed 10:00–11:50 D1

• Timetable of Seminar Groups:

IB101/01 Wed 18:00–19:50 D1, J. Bouda
IB101/02 Thu 10:00–11:50 D3, J. Bouda
IB101/03 Tue 16:00–17:50 D2, O. Výborný
IB101/04 Thu 8:00–9:50 B410, J. Bouda, L. Popelínský, O. Výborný

Prerequisites (v češtině)

! IA008 Computational Logic

Course Enrollment Limitations

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

Fields of study the course is directly associated with

there are 10 fields of study the course is directly associated with, display

Course objectives

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

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.
• Basics of inductive inference and knowledge representation.

Literature

• ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého, 2001. 198 s. ISBN 80-244-0254-8. info
• NERODE, Anil and Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993. xvii, 365. ISBN 0-387-94129-0. info

Assessment methods (v češtině)

Součástí hodnocení jsou dvě semestrální zkoušky. Předmět je ukončen písemnou zkouškou formou testu, není povoleno používat žádné pomocné materiály.

Follow-Up Courses

• IA008 Computational Logic

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/popelinsky/lectures/bak_logika/

The course is also listed under the following terms Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014.

---

• Enrollment Statistics (Spring 2007, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2007/IB101

---