Author Topic: Teoria typov  (Read 3316 times)

Dodik

  • Jr. Member
  • **
  • Posts: 77
    • View Profile
Teoria typov
« on: 08.01.2012, 22:01:47 »
po dlhom hladani som nasiel dobry matros pre ucenie sa na skusku...tak nech sa paci  bv

Matejus

  • Guest
Re: Teoria typov
« Reply #1 on: 13.01.2012, 17:03:56 »
Vypracované cvičenia z minulého roka:

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

meki

  • Full Member
  • ***
  • Posts: 164
    • View Profile
Re: Teoria typov
« Reply #2 on: 13.01.2012, 19:06:53 »
Vypracované cvičenia z minulého roka:

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

MorFiuM

  • Full Member
  • ***
  • Posts: 144
    • View Profile
Re: Teoria typov
« Reply #3 on: 15.01.2012, 00:41:14 »
vdaka obom

deCode666

  • Full Member
  • ***
  • Posts: 212
    • View Profile
Re: Teoria typov
« Reply #4 on: 20.04.2012, 21:12:22 »
Je tu niekto, kto by mi vedel prepisať jednu podmienku do lambda kalkulu?