IB101 Introduction to Logic

Faculty of Informatics
Spring 2018
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)
RNDr. Karel Vaculík, Ph.D. (seminar tutor)
Mgr. Martin Víta, Ph.D. (seminar tutor)
Dr. rer. nat. Achim Blumensath (seminar tutor)
Bc. Peter Gábor (seminar tutor)
Mgr. Lukáš Gryga (seminar tutor)
Mgr. Michal Jankovič (seminar tutor)
Mgr. Simona Katkinová (seminar tutor)
Mgr. Veronika Krejčířová (seminar tutor)
Mgr. Markéta Kučerová (seminar tutor)
Mgr. Jakub Lédl (seminar tutor)
Mgr. Vincent Mihalkovič (seminar tutor)
Mgr. Henrieta Micheľová (seminar tutor)
Mgr. Markéta Naušová (seminar tutor)
Kristýna Pokorná (seminar tutor)
Mgr. Jakub Ryšavý (seminar tutor)
Mgr. Bc. Roman Solař (seminar tutor)
RNDr. Viktória Spišaková (seminar tutor)
Mgr. Alena Zahradníčková (seminar tutor)
Mgr. Lukáš Zaoral (seminar tutor)
RNDr. Aleš Zlámal (seminar tutor)
Mgr. Ondřej Nečas (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.
Supplier department: Department of Computer Science – Faculty of Informatics
Timetable
Tue 8:00–9:50 D1
  • Timetable of Seminar Groups:
IB101/01: Thu 10:00–11:50 B411, A. Zlámal
IB101/02: Mon 10:00–11:50 C416, A. Zlámal
IB101/03: Mon 14:00–15:50 C416, A. Zlámal
IB101/04: Wed 10:00–11:50 A319, A. Zlámal
IB101/05: Wed 14:00–15:50 C511, A. Zahradníčková
IB101/06: Thu 16:00–17:50 C416, A. Zahradníčková
IB101/07: Thu 10:00–11:50 A217, P. Gábor
IB101/08: Wed 12:00–13:50 C525, P. Gábor
IB101/09: Tue 18:00–19:50 A218, H. Micheľová
IB101/10: Thu 12:00–13:50 C525, J. Ryšavý
IB101/11: Tue 14:00–15:50 C416, K. Pokorná
IB101/12: Wed 8:00–9:50 B411, L. Zaoral
IB101/13: Thu 14:00–15:50 A218, M. Kučerová
IB101/14: Wed 10:00–11:50 C525, M. Naušová
IB101/15: Thu 8:00–9:50 C525, M. Jankovič
IB101/16: Fri 8:00–9:50 C525, R. Solař
IB101/17: Mon 16:00–17:50 C416, S. Katkinová
IB101/18: Thu 18:00–19:50 B411, V. Spišaková
IB101/19: Tue 10:00–11:50 C511, V. Mihalkovič
IB101/20: Tue 10:00–11:50 C416, L. Gryga
IB101/21: Wed 18:00–19:50 B411, J. Lédl
IB101/22: Mon 12:00–13:50 B411, A. Blumensath
IB101/23: Fri 10:00–11:50 C525, M. Víta
IB101/25: Tue 18:00–19:50 C525, L. Zaoral
Prerequisites (in Czech)
( IB000 Math. Foundations of CS || IB112 Math Foundations ) && ! 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
there are 18 fields of study the course is directly associated with, display
Course objectives
This subject gives basics of thinking in logic. The goal of this subject is to give introduction to use of logic in computer science. At the end of the course students will be familiar with propositional and first-order logic.
Learning outcomes
At the end of the course students
- will be familiar with propositional and first-order logic, and capable to use them;
- know basics of deductive proofs;
- wiil be able to use different variants of resolution.
Syllabus
  • This course is an introduction to propositional and predicate logic.
  • Motivation, examples of the use of logic in computer science. Logic in mathematics.
  • Propositional logic, logical conectives, logical consequence, truth tables.
  • Natural language and formalization in propositional logic.
  • Dokazatelnost, normální formy. Věty o dedukci, formulace a praktické využití.
  • Základy teorie důkazů ve výrokové logice, axiomatické systémy, metoda Davise-Putnama, úvod do rezoluce.
  • Predikátový počet 1. řádu, predikátové formule, sémantika, axiomy.
  • Dokazatelnost. Normální formy predikátové logiky. Přirozený jazyk a formalizace v predikátové logice.
  • Resolution in predicate calculus
  • Úvod do výpočtové logiky. Použití logik v informatice. Formulace složitějších problémů pomocí logiky.
Literature
    recommended literature
  • DUŽÍ, Marie. Logika pro informatiky (a příbuzné obory) : učební text. 1. vyd. Ostrava: VŠB-TU Ostrava, 2012, 179 s. ISBN 9788024826622. info
  • NERODE, Anil and Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290. info
  • PRIEST, Graham. Logic : a very short introduction. 1st pub. Oxford: Oxford University Press, 2000, xii, 140. ISBN 9780192893208. info
  • ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
Teaching methods
Lectures, exercises.
Assessment methods
Homework questionairres and a written midterm exam and a written final exam.
Language of instruction
Czech
Follow-Up Courses
Further Comments
Study Materials
The course is taught annually.
Teacher's information
http://www.fi.muni.cz/~popel/lectures/bak_logika/
The course is also listed under the following terms Spring 2003, 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 2019, Spring 2020.
  • Enrolment Statistics (Spring 2018, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2018/IB101