= Logika = 2024/2025 -- zimný semester, rozsah 2-2 == Vyučujúci == * doc.RNDr. Karol Nemoga, CSc., nemoga@mat.savba.sk * [[KarlaCipkova| RNDr. Karla Čipková, PhD.]] {i} [[Pracovnici| kontakt]] ## <> ## Druhá priebežná písomka - pondelok - '''2.decembra 2019''' - 13oo-14oo - '''DE 300''' ## ''Rozsah:'' po kapitolu 8 (v knihe uvedenej nižšie) ## <> <> Prihláste sa do kurzu LOGIKA v MOODLE, je uvedený v kategórii Matematika. Tam nájdete všetky potrebné informácie. <> ##<> ##Na cvičeniach odporúčam ako pomôcku používať '''tabuľky alfa a beta formúl''' pre konštrukciu sémantických tabuliek (v knihe uvedenej nižšie na ##tejto stránke; strana 36, Fig.2.8), tabuľku na strane 148 (klasifikácia gama a delta formúl), platné formuly v PP - v knihe str.141-142. ## '''Dovolený ťahák:''' uvedené pomôcky máte k dispozícii aj na 2.písomke. ##<> ##<> '''Náhradný termín (za obe priebežné písomky)''' si dohodnite individuálne s doc.Nemogom, písomku budete písať na SAV-ke (Štefánikova 49, ##BA). <> ## <> Náhradné písomky za obe priebežné písomky budú na konci semestra, treba si to dohodnúť (najlepšie osobne na prednáške) s doc.Nemogom. ##''Rozsah:'' Po temporálnu logiku (tá už v tejto písomke nebude), tj.od SAT solverov po skolemizáciu v PP. ##Pre zaujímavosť uvádzame k nahliadnutiu [[attachment:Pisomka1.pdf| zadanie písomky z minulého roku]]. ##'''Dovolený ťahák:''' tabuľka 2.8 (strana 36, klasifikácia alfa a beta formúl). ##Na písomke môžete ako pomôcku používať '''tabuľky alfa a beta formúl''' pre konštrukciu sémantických tabuliek (v knihe strana 36, ##Fig.2.8), '''tabuľky gama a delta formúl''' - str.148 a logické ekvivalencie v predikátovom počte (str. 141/142). ## .............................................................................................................................. ## '''Rozdelenie do miestností:''' ## AB 300 - priezvisko '''A-O''' ## AB 150 - priezvisko '''P-Z''' ##<> ##<> ##Predtermín - štvrtok - 19.decembra 2019 - 11oo - DE 300 ##Predtermínu sa môžete zúčastniť aj napriek tomu, že ešte nie je zverejnené bodovanie písomiek ##Riadny termín - utorok - 7.januára 2020 - 11:00 (2.beh) - miestnosť BC 300 ##'''Opravný termín - štvrtok - 30.januára 2020 - 11:00 (2.beh) - miestnosť CD 300''' ##<> ##<> Ak potrebujete absolvovať '''náhradný termín pre ktorúkoľvek písomku,''' musíte osloviť priamo doc.Nemogu, Ak sa Vám neozve naspäť, odporúčam dostaviť sa na predtermín skúšky. ## na SAV-ke (Štefánikova 49, BA). ##<> ##<> Riadny termín - streda - 20.decembra 2017 - 11:00 (2.beh) - AB 300, BC 300 ##'''Opravný termín - piatok - 26.januára 2018 - 1.beh - DE 300''' ## ||<#0F0000> ''''' Začiatok skúšky je o 9:30 ! ''''' || ## -------------------------------------------------------- ## '''Obsah:''' Predikátový počet s funkciami, prenexná KNF, v učebnici Chapter 9 ## Temporálna logika (všeobecne) a lineárna temporálna logika, v učebnici Chapter 13 ## '''Dovolený ťahák''' - musí byť '''vlastnoručne písaný''', môže obsahovať: ## - Skolemov algoritmus 9.15 (str.173-175) ## - Herbrandovo univerzum (str.177) ## - definíciu nových unárnych operátorov v TL a LTL (z kapitoly 13) ##Na ukážku: [[attachment:Pisomka3.pdf| Zadanie písomky zo skúšky z minulého roku]] ##<> ## <> Ak ste '''nezískali zápočet''' (t.j. nemáte po oboch písomkách aspoň 30 bodov), '''môžete sa zúčastniť skúšky''' (aj bez udeleného zápočtu) a ak budete mať v súčte aspoň 56 bodov, získate týmto dodatočne zápočet a známku zo skúšky (podľa bežnej tabuľky). <> ## <> '''Náhradný termín skúšky:''' piatok - 12.februára 2016 - o 9:00 u doc.Nemogu na SAV-ke. <> ##<> ''' Opravný termín - pondelok - 1.februára 2016 - o 14:00 - BC 300''' ## Trvanie testu: 60 minút ## (bezpečnostný koeficient 2.6) ## Rozdelenie do miestností: ## '''BC 300''' - poslucháči s priezviskom na '''A - H''' ## '''AB 300''' - poslucháči s priezviskom na '''CH - N''' ## '''CD 300''' - poslucháči s priezviskom na '''O - Ž''' ## Uvedené rozdelenie je približné, pretože nie je úplne zrejmé, koľkí poslucháči sa skutočne dostavia na predtermín. ## '''Obsah:''' Predikátový počet s funkciami, prenexná KNF, v učebnici Chapter 9 ## Temporálna logika (všeobecne) a lineárna temporálna logika, v učebnici Chapter 13 ## tabuľka na strane 148 (klasifikácia gama a delta formúl) '''vlastnoručne písané''', ## platné formuly v PP - v knihe str.141-142 (môže byť fotokópia) ## Skolemov algoritmus 9.15 (str.173-175) ## <> == Rozvrh == || ||'''Deň'''||'''Miestnosť'''||'''Od'''||'''Do'''|| ||'''Výnimky:'''|| ||'''Prednáška'''||streda||AB 150||8:00||9:40||Nemoga|| --- || ||'''Cvičenie'''||streda||BC 35||10:00||11:40||Nemoga|| --- || || ||streda||B 704||10:00||11:40||Čipková|| --- || || ||streda||C 517||15:00||16:40||Čipková|| zrušené od 13.11. || ||'''Konzultácie'''||<-6> podľa dohody|| == Stručná osnova predmetu == 1. Historický úvod, príklady. 2. Výrokový počet, formuly, konštrukcia, binárne rozhodovacie diagramy. 3. Booleovské výrazy, logická ekvivalencia, logické funkcie, pravdivostné tabuľky. 4. Tautológie, pravdivosť, splniteľnosť formuly. 5. Úplnosť výrokového počtu. 6. Logika prvého rádu, formuly. 7. Sémantické a syntaktické metódy všeobecne. 8. Teória modelov, splniteľnosť formuly, pravdivosť, vety o úplnosti. 9. Hilbertov systém, jeho úplnosť. 10. SAT solvery. 11. Modálna a temporálna logika. 12. Verifikácia programov. == Literatúra == BEN-ARI, M. Mathematical Logic for Computer Science. London: Springer, 2012. 346 s. ISBN 978-1-4471-4128-0. == Podmienky na absolvovanie predmetu == Z celkového počtu 100 bodov môže študent získať * 30 bodov za 1.priebežnú písomku * 30 bodov za 2.priebežnú písomku * 40 bodov za záverečnú skúškovú písomku V čase konania písomiek môžu byť stanovené konkrétne minimálne kritériá pre úspešné zvládnutie písomky. Účasť na prednáškach a cvičeniach je nutná.