Zkouška 29. 1. 2019 Gregor+Pilát

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Zkouška 29. 1. 2019 Gregor+Pilát

Příspěvekod I30T4 » 29. 1. 2019 16:43

Test je podobný jako všechny.
Doporučuji se dobře naučit pojmy. Určitě tam bude dotaz, jestli je něco extenze.
Jinak test je na 90 min, což není moc prostoru na vymýšlení něčeho z ničeho. Není žádné oznámení 15 min do konce nebo tak, jediné, co bylo: "za minutu konec, pomalu dopište". Takže doporučuji hlídat čas, osobně jsem nestihl třetí část a Pilát mi pak doporučil, že by začínal právě tou, protože je nejrychlejší. Nebojte se tipovat naslepo, jsou z toho body.
Jinak bodování je velmi mírné, takže se ani náhodou nevzdávejte (ne, jako já) a v mezičase si něco kdyžtak přečtěte.
Ústní je také velmi mírné, chytil jsme Piláta, který je dobrota sama.
I30T4
Matfyz(ák|ačka) level I
 
Příspěvky: 4
Registrován: 30. 5. 2018 14:12
Typ studia: Informatika Bc.

Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník