FI:IB101 Intro to Logic Programming - Course Information

IB101 Introduction to Logic and Logic Programming

Extent and Intensity

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

Teacher(s)

doc. RNDr. Lubomír Popelínský, Ph.D. (lecturer)
doc. RNDr. Jan Bouda, Ph.D. (seminar tutor)
Mgr. Lukáš Másilko (seminar tutor)
Mgr. Ondřej Nečas (seminar tutor)
Mgr. Adam Šiška (seminar tutor)
Mgr. Juraj Jurčo (assistant)

Guaranteed by

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

Mon 10:00–11:50 D2, Mon 10:00–11:50 D1

• Timetable of Seminar Groups:

IB101/01: Tue 18:00–19:50 D3, J. Bouda
IB101/02: Wed 18:00–19:50 D2, A. Šiška
IB101/03: Thu 10:00–11:50 D3, J. Bouda

Prerequisites (in Czech)

! IA008 Computational Logic

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

• Applied Informatics (programme FI, B-AP)
• Bioinformatics (programme FI, B-AP)
• Informatics with another discipline (programme FI, B-BI)
• Informatics with another discipline (programme FI, B-FY)
• Informatics with another discipline (programme FI, B-GE)
• Informatics with another discipline (programme FI, B-GK)
• Informatics with another discipline (programme FI, B-CH)
• Informatics with another discipline (programme FI, B-IO)
• Informatics with another discipline (programme FI, B-MA)
• Informatics with another discipline (programme FI, B-TV)
• Informatics (programme FI, B-IN)
• Mathematical Informatics (programme FI, B-IN)
• Parallel and Distributed Systems (programme FI, B-IN)
• Computer Graphics and Image Processing (programme FI, B-IN)
• Computer Networks and Communication (programme FI, B-IN)
• Computer Systems and Data Processing (programme FI, B-IN)
• Programmable Technical Structures (programme FI, B-IN)
• Embedded Systems (programme FI, N-IN)
• Service Science, Management and Engineering (programme FI, N-AP)
• Artificial Intelligence and Natural Language Processing (programme FI, B-IN)

Course objectives

At the end of the course students will be familiar with propositional and first-order logic, resolution principle, logic programming and computational logic, as well as with inductive inference and knowledge representation.

Syllabus

• 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.
• 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 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

Teaching methods

Lectures, exercises.

Assessment methods

A midterm written exam and a written final exam.

Language of instruction

Czech

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/

• Enrolment Statistics (Spring 2010, recent)
  
• Permalink: https://is.muni.cz/course/fi/spring2010/IB101