Úvod do logiky a teoretické informatiky I - AIS100113

• Anglický název: Introduction to the Logic and Theoretical Computer Science I
• Zajišťuje: Ústav informačních studií a knihovnictví (21-UISK)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• Semestr: zimní
• Body: 0
• E-Kredity: 4
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neomezen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: Ing. René Levínský, Ph.D.
• Vyučující: Ing. René Levínský, Ph.D.

Anotace

čeština

Poslední úprava: 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.

angličtina

Poslední úprava: 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.

Podmínky zakončení předmětu

Poslední úprava: Mgr. Adéla Jarolímková, Ph.D. (22.09.2022)

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

Literatura

Poslední úprava: 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

Sylabus

Poslední úprava: 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