Introduction to the Logic and Theoretical Computer Science I - AIS100113

• Title: Úvod do logiky a teoretické informatiky I
• Guaranteed by: Institute of Information Studies and Librarianship (21-UISK)
• Faculty: Faculty of Arts
• Actual: from 2023
• Semester: winter
• Points: 0
• E-Credits: 4
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/0, Ex [HT]
• Capacity: unlimited / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: Ing. René Levínský, Ph.D.
• Teacher(s): Ing. René Levínský, Ph.D.

Annotation

English

Last update: Ing. René Levínský, Ph.D. (02.10.2023)

The aim of the lecture is to provide students with information of logic and its importance for scientific work and studies. The students will learn how to use logic in the practice, i.e. in the language of basic formal logic - propositional calculus and predicate logic.

Czech

Last update: Ing. René Levínský, Ph.D. (02.10.2023)

Cílem předmětu je seznámit posluchačky*ce se základy logiky. První část přednášky se věnuje klasické výrokové logice. Zde budou posluchačky*ci seznámeny*i s metodami prošetřování sémantických vlastností formulí a metodami formálního dokazování. Druhá část přednášky se bude věnovat klasické predikátové logice.

E-learningová podpora v Moodle - https://dl1.cuni.cz/course/view.php?id=15567.

Podmínky ukončení předmětu: test.

Course completion requirements

Last update: Mgr. Adéla Jarolímková, Ph.D. (22.09.2022)

Předmět je zakončen písemným testem.

Literature

Last update: Ing. René Levínský, Ph.D. (02.10.2023)

Jiří Raclavský, Úvod do logiky: klasická výroková logika

https://munispace.muni.cz/library/catalog/book/762

Jiří Raclavský, Úvod do logiky: klasická predikátová logika

https://munispace.muni.cz/library/catalog/book/764

Syllabus

Last update: Mgr. Adéla Jarolímková, Ph.D. (22.09.2022)

Cíl předmětu: 

Cílem přednášky je seznámit posluchače s historií logiky, s jejím významem pro vědeckou práci a výuku. Pozornost je věnována výrokové logice a stručně základům predikátové logiky. Dále jsou probírány: chyby v argumentaci, definice, otázka a odpověď, logika v matematice a ve vědě, typy úsudků, neklasické logiky.

Cílem semináře je naučit studenty užívat logiku v praxi, tj. v jazyce základní formální logiky, tj. výroková a predikátová logika. 

Osnova:

1. Výrokový počet

Výrokové proměnné, spojky - konjunkce, disjunkce, negace, implikace, ekvivalence, sémantika - pravdivostní ohodnocení, logické vyplývání, pravidla, syntax - axiomy, odvozovací pravidla, důkaz. Věta o úplnosti výrokového počtu

2. Predikátový počet, otázka pojmů

Aristotelovský subjekt - predikátové soudy, sylogismy, teorie tříd, monadický predikátový počet, kvatifikátory, řešení sylogismů - Eulerovy diagramy, Vennovy diagramy, formálně logické důkazy, obecný predikátový počet, sémantika - modely, seyntax - axiomy, odvozovací pravidla, důkazy, práce s kvantifikátory, nejznámější relace (ekvivalence, uspořádání, náležení), paradoxy

3. Neformální logika

Chyby v argumentaci, definice, otázka a odpověď, logika v matematice a ve vědě, typy úsudků, neklasické logiky