[solved] definice typu

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: [solved] definice typu

Re: definice typu

od Him » 5. 9. 2009 16:34

aha, díky, už jsem pochopil

Re: definice typu

od Osiris » 5. 9. 2009 16:28

To je abstraktní algebra. Představ si, že T je seznam operací (+,-, krát, děleno, cokoliv tě napadne) přičemž operací může být nekonečně mnoho. Jednotlivé \Delta_t pak reprezentují aritu operace.

[solved] definice typu

od Him » 5. 9. 2009 15:32

Na str. 20 skript je definice "typu" jakozto: soubor \Delta = (\Delta_t)_{t \in T}
Dále je tam napsáno, že \Delta_t jsou množiny. Nikde se však již neříká, co v těch množinách je.

Proto moc nerozumím na str. 22 části definice podobjektu a to: R_{Y,t} = \{\xi: \Delta_t \rightarrow Y | j\ksi \in R_T\}

Nevěděl by někdo? Díky

Nahoru