Logicke programovani II

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: Logicke programovani II

Re: Logicke programovani II

od malta.x » 24. 6. 2014 18:50

Byl jsem na zkoušce minulej tejden.

Otázky:
1) occur-check - definovat lepší modovanost a jak to souvisí
2) idea dokazování správnosti - pre a post podmínky
3) stupňové zobrazení, definovat pomocí toho zastavení a napsat nějakej jednoduchej příklad

Re: Logicke programovani II

od Kubees » 24. 9. 2012 20:10

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

Re: Logicke programovani II

od Kubees » 21. 9. 2012 16:53

Ahoj,byli jste nekdo letos na zkousce u Hrice? Prof. Stepanek umrel :( , tak to zkousi misto nej. Zajimalo by me jaky ma styl zkouseni...

Re: Logicke programovani II

od Myshaak » 26. 5. 2009 20:48

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. :(

Re: Logicke programovani II

od Void » 26. 5. 2009 15:20

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

Re: Logicke programovani II

od mito » 20. 7. 2008 11:23

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 :) !

Re: Logicke programovani II

od krystof » 25. 6. 2008 00:13

No na log. prog. II jsem jeste nebyl, ale na lambda kalkulu II byla moje otazka opravdu jen ze zakladnich definic...

Re: Logicke programovani II

od twoflower » 24. 6. 2008 23:45

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.

Re: Logicke programovani II

od krystof » 24. 6. 2008 23:38

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

Re: Logicke programovani II

od twoflower » 24. 6. 2008 16:36

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.

Re: Logicke programovani II

od krystof » 2. 6. 2008 10:12

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

Re: Logicke programovani II

od twoflower » 2. 6. 2008 09:21

A on nerikal neco o tom, ze by je dal na web?

Re: Logicke programovani II

od krystof » 2. 6. 2008 08:48

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

Re: Logicke programovani II

od twoflower » 1. 6. 2008 18:38

Diky moc za info.

Re: Logicke programovani II

od krystof » 1. 6. 2008 15:45

terminy jsou pry kdykoliv se zkousi z vyrokove a predikatove logiky -- zatimco budou druhaci psat pisemku, nas bude zkouset...

Nahoru