Ú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í
• 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

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.

Poslední úprava: Levínský René, Ing., Ph.D. (02.10.2023)

angličtina

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.

Poslední úprava: Levínský René, Ing., Ph.D. (02.10.2023)

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

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

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

Literatura

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

Poslední úprava: Levínský René, Ing., Ph.D. (02.10.2023)

Sylabus

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

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