Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FSI-SMLAk. rok: 2024/2025
V předmětu budou systematicky vyloženy základy výrokové a predikátové logiky. Nejprve budou studenti seznámeni se syntaxí a sémantikou těchto logik, pak budou logiky studovány jako formální teorie s důrazem na problematiku dokazování formulí. Prodiskutovány budou také klasické věty o korektnosti, úplnosti a kompaktnosti. Po probrání převodu formulí na prenexní tvar budou uvedeny některé vlastnosti a modely teorií 1. řádu. Pozornost bude také věnována nerozhodnutelnosti teorií 1. řádu vyplývající ze známých Gödelových vět o neúplnosti.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Pravidla hodnocení a ukončení předmětu
Podmínkou pro zápočet je aktivní účast ve cvičeních a prokázání znalostí při písemných testech, které budou průběžně konány. Zkouška proběhne písemnou formou a je třeba u ní prokázat zvládnutí probrané teorie a schopnost řešit zadaný problém na základě získaných vědomostí.
Učební cíle
Cílem předmětu je seznámit studenty se základními metodami uvažování v matematice. Studenti si osvojí obecné principy predikátové logiky a získají tak schopnost přesného matematického uvažování a vyjadřování. Pochopí obecné principy konstruování matematických teorií a důkazů. Předmět přispěje studentům k osvojení si logického uvažování v matematice a tím i k lepšímu chápání matematických poznatků .
Základní literatura
Doporučená literatura
Zařazení předmětu ve studijních plánech
specializace NBIO , libovolný ročník, letní semestr, volitelnýspecializace NISD , libovolný ročník, letní semestr, volitelnýspecializace NISY , libovolný ročník, letní semestr, volitelnýspecializace NISY do 2020/21 , libovolný ročník, letní semestr, volitelnýspecializace NIDE , libovolný ročník, letní semestr, volitelnýspecializace NCPS , libovolný ročník, letní semestr, volitelnýspecializace NSEC , libovolný ročník, letní semestr, volitelnýspecializace NMAT , libovolný ročník, letní semestr, volitelnýspecializace NGRI , libovolný ročník, letní semestr, volitelnýspecializace NNET , libovolný ročník, letní semestr, volitelnýspecializace NVIZ , libovolný ročník, letní semestr, volitelnýspecializace NSEN , libovolný ročník, letní semestr, volitelnýspecializace NMAL , libovolný ročník, letní semestr, volitelnýspecializace NHPC , libovolný ročník, letní semestr, volitelnýspecializace NVER , libovolný ročník, letní semestr, volitelnýspecializace NEMB do 2023/24 , libovolný ročník, letní semestr, volitelnýspecializace NEMB , libovolný ročník, letní semestr, volitelnýspecializace NADE , libovolný ročník, letní semestr, volitelnýspecializace NSPE , libovolný ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení