Logicke programovani II
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Logicke programovani II
Nerikal neco profesor Stepanek o zkouskovych terminech?
Mimochodem, rekl bych, ze slajdy k Castecne korektnosti, ktere jsou na webu KTIMLu, jsou starsi nez ty, ktere promital na prednasce..
Mimochodem, rekl bych, ze slajdy k Castecne korektnosti, ktere jsou na webu KTIMLu, jsou starsi nez ty, ktere promital na prednasce..
-
- Matfyz(ák|ačka) level III
- Příspěvky: 186
- Registrován: 18. 1. 2005 15:15
- Typ studia: Informatika Mgr.
- Bydliště: Brno / 17. Listopad
- Kontaktovat uživatele:
Re: Logicke programovani II
terminy jsou pry kdykoliv se zkousi z vyrokove a predikatove logiky -- zatimco budou druhaci psat pisemku, nas bude zkouset...
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Re: Logicke programovani II
Diky moc za info.
-
- Matfyz(ák|ačka) level III
- Příspěvky: 186
- Registrován: 18. 1. 2005 15:15
- Typ studia: Informatika Mgr.
- Bydliště: Brno / 17. Listopad
- Kontaktovat uživatele:
Re: Logicke programovani II
Neni zac. Dejte pak nekdo pls. vedet, z ceho vseho zkousi -- hlavne jestli se pta i na ty veci z konce, kde uz nebyly slidy...
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Re: Logicke programovani II
A on nerikal neco o tom, ze by je dal na web?
-
- Matfyz(ák|ačka) level III
- Příspěvky: 186
- Registrován: 18. 1. 2005 15:15
- Typ studia: Informatika Mgr.
- Bydliště: Brno / 17. Listopad
- Kontaktovat uživatele:
Re: Logicke programovani II
To nevim. Ja byl jenom na posledni prednasce a tam nic takovyho myslim nezaznelo...twoflower píše:A on nerikal neco o tom, ze by je dal na web?
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Re: Logicke programovani II
Nevim jestli to jeste nekomu k necemu bude, ale dneska jsem dostal
a) definujte problem Occur-checku
b) vyslovte Vetu o NSTO mnozinach a pripadne naznak dukazu
Perfektni otazky, takze za 1.
a) definujte problem Occur-checku
b) vyslovte Vetu o NSTO mnozinach a pripadne naznak dukazu
Perfektni otazky, takze za 1.
-
- Matfyz(ák|ačka) level III
- Příspěvky: 186
- Registrován: 18. 1. 2005 15:15
- Typ studia: Informatika Mgr.
- Bydliště: Brno / 17. Listopad
- Kontaktovat uživatele:
Re: Logicke programovani II
Tyjo no to si rikam uz po nekolikaty, ze ty otazky, ktery p. prof. dava, jsou vzhledem k tomu, co je ve slidech, pomerne trivialni. Nechci si narokovat objev ameriky, spis bych tim rad pripomnel tem, kdo prislusne zkousky jiz skladali, aby se sem pochlubili se svymi otazkami a usetrili tim nekomu treba uceni se zbytecnych definic... (a druhe pulky slidu jako celku, kuprikladu...)
- twoflower
- Supermatfyz(ák|ačka)
- Příspěvky: 445
- Registrován: 22. 9. 2004 21:07
- Typ studia: Informatika Ph.D.
- Kontaktovat uživatele:
Re: Logicke programovani II
Na druhou stranu, dala by se konkretne z tohohle semestru vycarovat nejaka tezka otazka? (aby to nebylo mimo slajdy). Pripada mi, ze snad ani ne.krystof píše:Tyjo no to si rikam uz po nekolikaty, ze ty otazky, ktery p. prof. dava, jsou vzhledem k tomu, co je ve slidech, pomerne trivialni
-
- Matfyz(ák|ačka) level III
- Příspěvky: 186
- Registrován: 18. 1. 2005 15:15
- Typ studia: Informatika Mgr.
- Bydliště: Brno / 17. Listopad
- Kontaktovat uživatele:
Re: Logicke programovani II
No na log. prog. II jsem jeste nebyl, ale na lambda kalkulu II byla moje otazka opravdu jen ze zakladnich definic...
-
- Matfyz(ák|ačka) level I
- Příspěvky: 19
- Registrován: 1. 4. 2008 11:16
- Typ studia: Informatika Mgr.
Re: Logicke programovani II
Existuje nejaky sposob, ako by som sa dostal k poslidovym vetam z Log. program. II do dnes vecera, lebo zajtra je skuska ?
Viem, ze su to nejake taketo, ale znenie neviem:
Veta o prieniku 1 + dosledok
Veta o jednom pevnom bode TP 1
Veta M pre post (P ) = M pre (p)
dosledok : prenik 2
Veta jediny pevny bod 2
Karma Vam to oplati !
Viem, ze su to nejake taketo, ale znenie neviem:
Veta o prieniku 1 + dosledok
Veta o jednom pevnom bode TP 1
Veta M pre post (P ) = M pre (p)
dosledok : prenik 2
Veta jediny pevny bod 2
Karma Vam to oplati !
- Void
- Matfyz(ák|ačka) level II
- Příspěvky: 54
- Registrován: 17. 1. 2006 16:21
- Typ studia: Informatika Mgr.
Re: Logicke programovani II
Nevíte někdo něco o letošních zkouškových termínech?
Logika je teď v zimním semestru, takže při zkouškách z logiky asi ne-e...
Logika je teď v zimním semestru, takže při zkouškách z logiky asi ne-e...
Aurë Entuluva!!
- Myshaak
- Matfyz(ák|ačka) level III
- Příspěvky: 162
- Registrován: 18. 1. 2006 22:29
- Typ studia: Informatika Mgr.
- Login do SIS: michp5am
Re: Logicke programovani II
Tak ja chodil sice na Lambda kalkulus, ale vzhledem k tomu, ze na LK I a LP I byly take spolecne terminy, tak by moje odpoved mohla byt relevantni... :) Na posledni predasce z kalkulu rikal, ze vypise nejspise 3 terminy: jeden v prvnim cervnovem tydnu, jeden v poslednim tydnu a jeden termin nekde uprostred (ocekaval bych, ze opet terminy techto dvou predmetu spoji). Nicmene na SISu jeste nic neni. :(Void píše:Nevíte někdo něco o letošních zkouškových termínech?
Logika je teď v zimním semestru, takže při zkouškách z logiky asi ne-e...
"Go for the eyes Boo, go for the eyes! Yeahh!!"
-
- Matfyz(ák|ačka) level II
- Příspěvky: 65
- Registrován: 12. 1. 2007 22:22
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
Re: Logicke programovani II
Ahoj,byli jste nekdo letos na zkousce u Hrice? Prof. Stepanek umrel , tak to zkousi misto nej. Zajimalo by me jaky ma styl zkouseni...
-
- Matfyz(ák|ačka) level II
- Příspěvky: 65
- Registrován: 12. 1. 2007 22:22
- Typ studia: Informatika Mgr.
- Kontaktovat uživatele:
Re: Logicke programovani II
Hm, tak nikdo nic... a to jesne iniciativne pisu maily lidem co byli prihlaseni na predchozi zkousky a zadna odpoved. Nekteri matfyzaci jsou fakt @#$#$%!!!!
No nic, tak jsem si ulevil se svym nazorem na lidi co nesdili svoje zkusenosti a ted ty moje
Byl jsem dneska u Hrice na zkousce a dostal jsem:
- definovat Herbrandovo univerzum pomoci operatoru bezprostredniho naslendika
- popsat konecnost vypoctu v zavislosti na tvaru LD-stromu (vzdy konci, diverguje, nekonecno odpovedi, atd.)
- dokazat, program sjednoceni(xs, ys, zs) ukoncuje vypocet pomoci stupnoveho zobrazeni (= napsat program, zvolit stupnove zobrazeni, ukazat rekurenci)
Hric byl hodny, na detailech se nebazirovalo, viditelne mu slo o to, jestli znam aspon princip. Prvni otazku jsem uplne vynechal, protoze jsem tohle pri uceni preskocil, coz byl trapas, ale presto jsem byl dokopan k te definici a vysledek za 3. GL.
Celkove ten predmet neni tezky, pro cloveka co zvladl neprocko a LP1 spis relativne lehce ziskane 3 kredity. (imho lehci nez treba UI2, ale zas uplna davacka taky ne )
No nic, tak jsem si ulevil se svym nazorem na lidi co nesdili svoje zkusenosti a ted ty moje
Byl jsem dneska u Hrice na zkousce a dostal jsem:
- definovat Herbrandovo univerzum pomoci operatoru bezprostredniho naslendika
- popsat konecnost vypoctu v zavislosti na tvaru LD-stromu (vzdy konci, diverguje, nekonecno odpovedi, atd.)
- dokazat, program sjednoceni(xs, ys, zs) ukoncuje vypocet pomoci stupnoveho zobrazeni (= napsat program, zvolit stupnove zobrazeni, ukazat rekurenci)
Hric byl hodny, na detailech se nebazirovalo, viditelne mu slo o to, jestli znam aspon princip. Prvni otazku jsem uplne vynechal, protoze jsem tohle pri uceni preskocil, coz byl trapas, ale presto jsem byl dokopan k te definici a vysledek za 3. GL.
Celkove ten predmet neni tezky, pro cloveka co zvladl neprocko a LP1 spis relativne lehce ziskane 3 kredity. (imho lehci nez treba UI2, ale zas uplna davacka taky ne )