IB101 Introduction to Logic and Logic Programming

Faculty of Informatics
Spring 2003
Extent and Intensity
2/2. 4 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
Teacher(s)
Mgr. Eva Mráková, Ph.D. (lecturer)
doc. RNDr. Lubomír Popelínský, Ph.D. (lecturer)
RNDr. Jan Blaťák, Ph.D. (seminar tutor)
RNDr. Petr Kuba, Ph.D. (seminar tutor)
Mgr. Lukáš Svoboda (seminar tutor)
Mgr. Miloslav Nepil, Ph.D. (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
Tue 12:00–13:50 D1
  • Timetable of Seminar Groups:
IB101/A: Mon 14:00–15:50 D1
IB101/B: Tue 16:00–17:50 D1
IB101/C: Fri 15:00–16:50 D1
Prerequisites (in Czech)
! I008 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
Course objectives (in Czech)
Cílem kursu je seznámení se základy výrokového a predikátového počtu, s resolučním principem a se základy logického programování.
Syllabus
  • The goal of the course is an introduction to propositional and firt-order logic, resolution principle and logic programming.
  • Logics, 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, skolemization.
  • Introduction to logic programming. Basics of Prolog language.
Literature
  • 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
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is also listed under the following terms Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019, Spring 2020.
  • Enrolment Statistics (Spring 2003, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2003/IB101