od Hugo » 12. 9. 2006 23:30
tendence ztezovani opet nezklamala (alespon, co se tyce cetnosti veci, ktere lze najit ve skriptech - dnes snad nebyly zadne, same vymysleni)..
nevim, zda si to pamatuji dobre, spise jen matne zachvevy z me mysli (pozor, uz jsem se tu jednou udajne seknul
,
takze, co jeste nenapsal tuchek
- L je jazyk a M jeho model, A fle L, A' uzavrena fle, dokazte M|=A prave kdyz M|=A' (10B)
- plati to same, jako v predeslem priklade, pricemz mame jeste uplnou aritmetiku Th(M) (jsou v ni pravdive vsechny uzavrene fle), dokazte, ze je to uplna teorie (10B)
-dokazat nejake odvozovaci pravidlo (nejaky rez) AvB, nonA v C|-BvC, pricemz B nebo C nebo i oboji muze byt vynechano. Pokud jsou vynechana B i C, znaci se to novym specialnim symbolem, ktery vlastne oznacuje false (k tomu tam bylo jeste o hodne delsi povidani, uz nevim, co tam vse bylo). Dokazat korektnost tohoto pravidla. (15B)
-Pak tam bylo neco ve stylu L je jazyk teorie T a jazyk L' teorie T' vznikne rozsirenim z L o nove konstanty a,b,c.
dokazte je-li T'|-a=b ->(b=c -> a=c) pak T|-x=y ->(y=z -> x=z) (10B)
- dokazat jednoduchou fli s nerovnostmi, ktera se vyskytla na 1. terminu (5B)
-a to posledni si moc nepamatuji, neco ze pro kazdy model T plati, ze je i modelem T' a dokazat, ze T' je rozsirenim T
a pak jeste dokazat s nejakymi dalsimi predpoklady ekvivalenci tech teorii (ale to zadani bylo mnohem delsi, sorry
10B
a ten dukaz z PA, ze vsechny x jsou nezaporne byl za 15B
no, pocitejte, ze jsem se v tech zadani urcite spletl, neco napsal nepresne, sem tam pozapomnel zminit
tendence ztezovani opet nezklamala (alespon, co se tyce cetnosti veci, ktere lze najit ve skriptech - dnes snad nebyly zadne, same vymysleni)..
nevim, zda si to pamatuji dobre, spise jen matne zachvevy z me mysli (pozor, uz jsem se tu jednou udajne seknul :roll: ,
takze, co jeste nenapsal tuchek
- L je jazyk a M jeho model, A fle L, A' uzavrena fle, dokazte M|=A prave kdyz M|=A' (10B)
- plati to same, jako v predeslem priklade, pricemz mame jeste uplnou aritmetiku Th(M) (jsou v ni pravdive vsechny uzavrene fle), dokazte, ze je to uplna teorie (10B)
-dokazat nejake odvozovaci pravidlo (nejaky rez) AvB, nonA v C|-BvC, pricemz B nebo C nebo i oboji muze byt vynechano. Pokud jsou vynechana B i C, znaci se to novym specialnim symbolem, ktery vlastne oznacuje false (k tomu tam bylo jeste o hodne delsi povidani, uz nevim, co tam vse bylo). Dokazat korektnost tohoto pravidla. (15B)
-Pak tam bylo neco ve stylu L je jazyk teorie T a jazyk L' teorie T' vznikne rozsirenim z L o nove konstanty a,b,c.
dokazte je-li T'|-a=b ->(b=c -> a=c) pak T|-x=y ->(y=z -> x=z) (10B)
- dokazat jednoduchou fli s nerovnostmi, ktera se vyskytla na 1. terminu (5B)
-a to posledni si moc nepamatuji, neco ze pro kazdy model T plati, ze je i modelem T' a dokazat, ze T' je rozsirenim T
a pak jeste dokazat s nejakymi dalsimi predpoklady ekvivalenci tech teorii (ale to zadani bylo mnohem delsi, sorry :roll: 10B
a ten dukaz z PA, ze vsechny x jsou nezaporne byl za 15B
no, pocitejte, ze jsem se v tech zadani urcite spletl, neco napsal nepresne, sem tam pozapomnel zminit