TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach

FEI archív 2011/2012 => 4. ročník => Topic started by: Dodik on 08.01.2012, 22:01:47

Title: Teoria typov
Post by: Dodik on 08.01.2012, 22:01:47

po dlhom hladani som nasiel dobry matros pre ucenie sa na skusku...tak nech sa paci  bv

Title: Re: Teoria typov
Post by: Matejus on 13.01.2012, 17:03:56

Vypracované cvičenia z minulého roka:

http://dl.dropbox.com/u/4764904/tt_cvicenia_2010.pdf (http://dl.dropbox.com/u/4764904/tt_cvicenia_2010.pdf)

Title: Re: Teoria typov
Post by: meki on 13.01.2012, 19:06:53

Quote from: Matejus on  13.01.2012, 17:03:56

Vypracované cvičenia z minulého roka:

vdaka pekne spracovane  :thumbs-up:  zo stavby spracovane prednasky nemas?

Title: Re: Teoria typov
Post by: MorFiuM on 15.01.2012, 00:41:14

vdaka obom

Title: Re: Teoria typov
Post by: deCode666 on 20.04.2012, 21:12:22

Je tu niekto, kto by mi vedel prepisať jednu podmienku do lambda kalkulu?