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.
I30T4
Matfyz(ák|ačka) level I
Příspěvky: 4
Registrován: 30. 5. 2018 15:12
Typ studia: Informatika Bc.

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

Příspěvek od I30T4 »

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.
Odpovědět

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