od Kubees » 19. 7. 2010 23:01
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...
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...