Logicke programovani II

Uživatelský avatar
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

Příspěvek od twoflower »

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..
krystof
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

Příspěvek od krystof »

terminy jsou pry kdykoliv se zkousi z vyrokove a predikatove logiky -- zatimco budou druhaci psat pisemku, nas bude zkouset...
Uživatelský avatar
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

Příspěvek od twoflower »

Diky moc za info.
krystof
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

Příspěvek od krystof »

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...
Uživatelský avatar
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

Příspěvek od twoflower »

A on nerikal neco o tom, ze by je dal na web?
krystof
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

Příspěvek od krystof »

twoflower píše:A on nerikal neco o tom, ze by je dal na web?
To nevim. Ja byl jenom na posledni prednasce a tam nic takovyho myslim nezaznelo...
Uživatelský avatar
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

Příspěvek od twoflower »

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.
krystof
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

Příspěvek od krystof »

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...)
Uživatelský avatar
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

Příspěvek od twoflower »

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
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
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

Příspěvek od krystof »

No na log. prog. II jsem jeste nebyl, ale na lambda kalkulu II byla moje otazka opravdu jen ze zakladnich definic...
mito
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

Příspěvek od mito »

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 :) !
Uživatelský avatar
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

Příspěvek od Void »

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...
Aurë Entuluva!!
Uživatelský avatar
Myshaak
Matfyz(ák|ačka) level III
Příspěvky: 162
Registrován: 18. 1. 2006 22:29
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvek od Myshaak »

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...
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. :(
"Go for the eyes Boo, go for the eyes! Yeahh!!"
Kubees
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

Příspěvek od Kubees »

Ahoj,byli jste nekdo letos na zkousce u Hrice? Prof. Stepanek umrel :( , tak to zkousi misto nej. Zajimalo by me jaky ma styl zkouseni...
Kubees
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

Příspěvek od Kubees »

Hm, tak nikdo nic... a to jesne iniciativne pisu maily lidem co byli prihlaseni na predchozi zkousky a zadna odpoved. Nekteri matfyzaci jsou fakt @#$#$%!!!! :evil:

No nic, tak jsem si ulevil se svym nazorem na lidi co nesdili svoje zkusenosti a ted ty moje :D

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

Zpět na „I1 Ostatní Teoretická informatika“