Logicke programovani II

Logicke programovani II

Příspěvekod twoflower » 1. 6. 2008 12:06

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..
Uživatelský avatar
twoflower
Supermatfyz(ák|ačka)
 
Příspěvky: 445
Registrován: 22. 9. 2004 20:07
Typ studia: Informatika Ph.D.

Re: Logicke programovani II

Příspěvekod krystof » 1. 6. 2008 14:45

terminy jsou pry kdykoliv se zkousi z vyrokove a predikatove logiky -- zatimco budou druhaci psat pisemku, nas bude zkouset...
krystof
Matfyz(ák|ačka) level III
 
Příspěvky: 186
Registrován: 18. 1. 2005 15:15
Bydliště: Brno / 17. Listopad
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod twoflower » 1. 6. 2008 17:38

Diky moc za info.
Uživatelský avatar
twoflower
Supermatfyz(ák|ačka)
 
Příspěvky: 445
Registrován: 22. 9. 2004 20:07
Typ studia: Informatika Ph.D.

Re: Logicke programovani II

Příspěvekod krystof » 2. 6. 2008 07: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...
krystof
Matfyz(ák|ačka) level III
 
Příspěvky: 186
Registrován: 18. 1. 2005 15:15
Bydliště: Brno / 17. Listopad
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod twoflower » 2. 6. 2008 08:21

A on nerikal neco o tom, ze by je dal na web?
Uživatelský avatar
twoflower
Supermatfyz(ák|ačka)
 
Příspěvky: 445
Registrován: 22. 9. 2004 20:07
Typ studia: Informatika Ph.D.

Re: Logicke programovani II

Příspěvekod krystof » 2. 6. 2008 09: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...
krystof
Matfyz(ák|ačka) level III
 
Příspěvky: 186
Registrován: 18. 1. 2005 15:15
Bydliště: Brno / 17. Listopad
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod twoflower » 24. 6. 2008 15: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.
Uživatelský avatar
twoflower
Supermatfyz(ák|ačka)
 
Příspěvky: 445
Registrován: 22. 9. 2004 20:07
Typ studia: Informatika Ph.D.

Re: Logicke programovani II

Příspěvekod krystof » 24. 6. 2008 22: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...)
krystof
Matfyz(ák|ačka) level III
 
Příspěvky: 186
Registrován: 18. 1. 2005 15:15
Bydliště: Brno / 17. Listopad
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod twoflower » 24. 6. 2008 22: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.
Uživatelský avatar
twoflower
Supermatfyz(ák|ačka)
 
Příspěvky: 445
Registrován: 22. 9. 2004 20:07
Typ studia: Informatika Ph.D.

Re: Logicke programovani II

Příspěvekod krystof » 24. 6. 2008 23:13

No na log. prog. II jsem jeste nebyl, ale na lambda kalkulu II byla moje otazka opravdu jen ze zakladnich definic...
krystof
Matfyz(ák|ačka) level III
 
Příspěvky: 186
Registrován: 18. 1. 2005 15:15
Bydliště: Brno / 17. Listopad
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod mito » 20. 7. 2008 10: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 :) !
mito
Matfyz(ák|ačka) level I
 
Příspěvky: 19
Registrován: 1. 4. 2008 10:16
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod Void » 26. 5. 2009 14: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...
Aurë Entuluva!!
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ěvekod Myshaak » 26. 5. 2009 19: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. :(
"Go for the eyes Boo, go for the eyes! Yeahh!!"
Uživatelský avatar
Myshaak
Matfyz(ák|ačka) level III
 
Příspěvky: 161
Registrován: 18. 1. 2006 22:29
Bydliště: Tanvald / Troja A820
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod Kubees » 21. 9. 2012 15: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...
Kubees
Matfyz(ák|ačka) level II
 
Příspěvky: 65
Registrován: 12. 1. 2007 22:22
Typ studia: Informatika Mgr.

Re: Logicke programovani II

Příspěvekod Kubees » 24. 9. 2012 19: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 :) )
Kubees
Matfyz(ák|ačka) level II
 
Příspěvky: 65
Registrován: 12. 1. 2007 22:22
Typ studia: Informatika Mgr.

Další

Zpět na I1 Ostatní Teoretická informatika

Kdo je online

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