Fórum studentů MFF UK

Ahoj, taky v izomorfnim spektru docela plavu...

neumel by nekdo aspon vysvetlit jednoduche priklady z tabulky v Mlckovo skriptech?

1. L = <U>, U je unarni relacni

|M(k,L)| = 2^k pro k>0 ... tady jeste chapu, ze U plati v nejake podmnozine prvku, a tech je 2^k
I(k,L) = |Cn prunik k+| pro k>0 ... tak tady uz jsem uplne mimo - cekal bych neco jako (k+1) - podle poctu prvku kde U plati

2. L = <R>, R je binarni relacni

|M(k,L)| = 2^k pro k>omega ... tady nechapu, proc je to stejne jako u unarniho symbolu, cekal bych vsechny mozne kombinace a to by bylo 2^(k^2)
I(k,L) = 2^k pro k>omega ... to tedy znamena, ze zadne dva modely nejsou izomorfni - jak je to mozne?

A jaky vliv na to ma, jestli je k>0, k>omega atd?

Diky za jakoukoliv odpoved...

ty jo...tu Výrokovku si moc lidí nedává, co? a nebo že by tu přestaly být duše ochotné pomoct hloupějším kolegům?

Zdravím,

nemohl by mi někdo zkusit stručně shrnout, jak na příklady z PL, kde se počítá "Izomorfní spektrum"? k pochopení většiny látky mi obyvkle stačí cvičení, ale zrovna když se bralo tohle, tak jsem dopisoval test, čili jsem si z výkladu nic neodnesl...

zítra ještě budu samozřejmě pilně koukat do skript, ale z těch toho já moc nevyčtu, potřebuju na tohle spíš nějakého "převypravěče"...