TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
Vitajte,
Guest
. Prosím
prihláste sa
alebo
sa zaregistrujte
.
Nedostali ste váš
aktivačný email?
1 Hour
1 Day
1 Week
1 Month
Forever
Login with username, password and session length
News:
Home
Help
Search
Login
Register
TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
»
FEI archív 2010/2011
»
4. ročník
(Moderators:
DeeL
,
stricky
) »
Teoria typov
« predchádzajúce
ďalšie »
Print
Pages:
1
[
2
]
Author
Topic: Teoria typov (Read 11872 times)
Stalker
Jr. Member
Posts: 67
Re: Teoria typov
«
Reply #25 on:
31.01.2011, 00:38:47 »
Ake boli otazky na termine 26.1?
Logged
ASOT
timwood
Guest
Re: Teoria typov
«
Reply #26 on:
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
Logged
Print
Pages:
1
[
2
]
« predchádzajúce
ďalšie »
TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
»
FEI archív 2010/2011
»
4. ročník
(Moderators:
DeeL
,
stricky
) »
Teoria typov