Fórum studentů MFF UK

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

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.

aha, díky, už jsem pochopil

Fórum studentů MFF UK

[solved] definice typu

[solved] definice typu

Re: definice typu

Re: definice typu