• Welcome to TUKE FÓRUM - Fórum pre Å¡tudentov Technickej Univerzity v KoÅ¡iciach.
 

Teoria typov

Started by jardo, 13.11.2010, 20:11:57

« predchádzajúce - ïal¹ie »
Print
Go Down Pages 1 2
User actions

Stalker

#25
31.01.2011, 00:38:47
Ake boli otazky na termine 26.1?
ASOT

timwood

#26
31.01.2011, 03:46:18
otazky su zvecsa tie iste, ale ak ti to pomoze tak ja som si 26.1. vytiahol tieto:

1. netyp.lambda kalkul, syntax, semantika
2. sucinove typy (binarne)
3. churchove cisla, scc C0 -> ... -> C2
Print
Go Up Pages 1 2
User actions