FI:IB101 Introduction to Logic - Course Information
IB101 Introduction to Logic
Faculty of InformaticsSpring 2020
- Extent and Intensity
- 2/2/0. 3 credit(s) (plus extra credits for completion). Type of Completion: zk (examination).
- Teacher(s)
- doc. RNDr. Lubomír Popelínský, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (seminar tutor)
Mgr. Markéta Naušová (seminar tutor)
Bc. Matěj Pavlík (seminar tutor)
Mgr. Bc. Roman Solař (seminar tutor)
Mgr. et Mgr. Matúš Šikyňa (seminar tutor)
doc. RNDr. Aleš Horák, Ph.D. (assistant)
Mgr. Henrieta Micheľová (assistant)
Mgr. Ondřej Nečas (assistant)
doc. Mgr. Bc. Vít Nováček, PhD (assistant)
Mgr. Viktória Spišaková (assistant) - Guaranteed by
- doc. RNDr. Lubomír Popelínský, Ph.D.
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
- Mon 17. 2. to Fri 15. 5. Tue 10:00–11:50 D1
- Timetable of Seminar Groups:
IB101/02: Mon 17. 2. to Fri 15. 5. Thu 12:00–13:50 C416, M. Naušová
IB101/03: Mon 17. 2. to Fri 15. 5. Tue 14:00–15:50 C416, M. Naušová
IB101/04: Mon 17. 2. to Fri 15. 5. Mon 14:00–15:50 A318, M. Pavlík
IB101/05: Mon 17. 2. to Fri 15. 5. Thu 10:00–11:50 A218, M. Pavlík
IB101/06: Mon 17. 2. to Fri 15. 5. Thu 16:00–17:50 B410, R. Solař
IB101/07: Mon 17. 2. to Fri 15. 5. Mon 18:00–19:50 C525, R. Solař
IB101/08: Mon 17. 2. to Fri 15. 5. Tue 8:00–9:50 A319, M. Šikyňa
IB101/09: Mon 17. 2. to Fri 15. 5. Mon 16:00–17:50 C525, M. Šikyňa - 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
- Image Processing and Analysis (programme FI, N-VIZ)
- Applied Informatics (programme FI, B-AP)
- Bioinformatics and systems biology (programme FI, N-UIZD)
- Bioinformatics (programme FI, B-AP)
- Computer Games Development (programme FI, N-VIZ_A)
- Computer Graphics and Visualisation (programme FI, N-VIZ_A)
- Computer Networks and Communications (programme FI, N-PSKB_A)
- Cybersecurity Management (programme FI, N-RSSS_A)
- Formal analysis of computer systems (programme FI, N-TEI)
- Graphic design (programme FI, N-VIZ)
- Graphic Design (programme FI, N-VIZ_A)
- Hardware Systems (programme FI, N-PSKB_A)
- Hardware systems (programme FI, N-PSKB)
- Image Processing and Analysis (programme FI, N-VIZ_A)
- Information security (programme FI, N-PSKB)
- Informatics with another discipline (programme FI, B-EB)
- Informatics with another discipline (programme FI, B-FY)
- 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-INF) (2)
- Public Administration Informatics (programme FI, B-AP)
- Informatics in education (programme FI, B-IVV) (2)
- Information Security (programme FI, N-PSKB_A)
- Quantum and Other Nonclassical Computational Models (programme FI, N-TEI)
- Mathematical Informatics (programme FI, B-IN)
- Parallel and Distributed Systems (programme FI, B-IN)
- Computer graphics and visualisation (programme FI, N-VIZ)
- Computer Graphics and Image Processing (programme FI, B-IN)
- Computer Networks and Communication (programme FI, B-IN)
- Computer Networks and Communications (programme FI, N-PSKB)
- Computer Systems and Data Processing (programme FI, B-IN)
- Principles of programming languages (programme FI, N-TEI)
- Programming and development (programme FI, B-PVA)
- Programmable Technical Structures (programme FI, B-IN)
- Embedded Systems (programme FI, N-IN)
- Cybersecurity management (programme FI, N-RSSS)
- Services development management (programme FI, N-RSSS)
- Software Systems Development Management (programme FI, N-RSSS)
- Services Development Management (programme FI, N-RSSS_A)
- Service Science, Management and Engineering (programme FI, N-AP)
- Social Informatics (programme FI, B-AP)
- Software Systems Development Management (programme FI, N-RSSS_A)
- Software Systems (programme FI, N-PSKB_A)
- Software systems (programme FI, N-PSKB)
- Machine learning and artificial intelligence (programme FI, N-UIZD)
- Teacher of Informatics and IT administrator (programme FI, N-UCI)
- Informatics for secondary school teachers (programme FI, N-UCI) (2)
- Artificial Intelligence and Natural Language Processing (programme FI, B-IN)
- Computer Games Development (programme FI, N-VIZ)
- Big data (programme FI, N-UIZD)
- Natural language processing (programme FI, N-UIZD)
- 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/
- Enrolment Statistics (recent)
- Permalink: https://is.muni.cz/course/fi/spring2020/IB101