LG 15.1.

[Alan Pavičić]

Alo svima,

sutra nam je termin za LG (tema bi trebala biti System F i možda još
nešto vezano za formalnu teoriju tipova), a glavni predavač bi nam
trebao biti Frane (Perleta) iako i David o tome zna masu. E sad, Frane
je u nekim obavezama oko faksa tako da ne može zajamčiti ništa vezano
za predavanje. Još ću ga kontaktirati danas oko ponoći pa ćete o svemu
biti obavješteni. Isto tako, pokušat ću skuvat Davida da nam on
koncipira kompletno predavanje, ali malo mi ga je bed gnjavit jer je
već 100 puta uletio sa ad-hoc temama.

Eto, još se javim kasnije, samo da znate da nisam zaboravio.

Guštajte
--aka

[Alan Pavičić]

> Eto, još se javim kasnije, samo da znate da nisam zaboravio.
>

Alo, evo me taman zvao Frane da sutra *ima* predavanja.

Dakle, vidimo se u 18h.

poz
--aka

[David Kaloper]

2012/1/15 Alan Pavičić <aka...@gmail.com>:

> --
> You received this message because you are subscribed to the Google Groups "lang gang" group.
> To post to this group, send email to lang...@googlegroups.com.
> To unsubscribe from this group, send email to lang-gang+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lang-gang?hl=en.
>

Eya.

Re: Materijal za vježbu, mislio sam kompilirati par zadataka iz moje omiljenje
knjige, ali nekako smo taman pokrili prvo poglavlje, pa predlažem da ga naprosto
pogledate i riješite što se već da.

DZ je dakle hrabro prelistati prvih 20 stranica, može i laktovima.

http://bljak.org/~david/lambda-calculus_and_combinators.pdf.xz

--
"Linear Time is wrong and suicidal." -- Gene Ray

[Dinko Srkoc]

2012/1/16 David Kaloper <dkal...@mjesec.ffzg.hr>:

> 2012/1/15 Alan Pavičić <aka...@gmail.com>:
>>> Eto, još se javim kasnije, samo da znate da nisam zaboravio.
>>>
>>
>> Alo, evo me taman zvao Frane da sutra *ima* predavanja.
>>
>> Dakle, vidimo se u 18h.
>>
>> poz
>> --aka
>>
>

> Eya.
>
> Re: Materijal za vježbu, mislio sam kompilirati par zadataka iz moje omiljenje
> knjige, ali nekako smo taman pokrili prvo poglavlje, pa predlažem da ga naprosto
> pogledate i riješite što se već da.
>
> DZ je dakle hrabro prelistati prvih 20 stranica, može i laktovima.
>
> http://bljak.org/~david/lambda-calculus_and_combinators.pdf.xz
>

Za one koji žele znati više...

Na ovaj rad sam naletio dok sam tražio podatke o Curry-Howardu. Svidio
mi se zato što je razmjerno kratak (15 stranica) i daje mali povijesni
pregled logike i računarstva od Fregea i Gentzena, preko Churcha, do
Curryja i Howarda pa i malo dalje (naglasak na "mali", ne treba
očekivati detaljan povijesni opis).

Wadler, Proofs are Programs: 19th Century Logic and 21st Century Computing,
http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf [PDF]

- oknid

PS
Aka, nisam baš siguran da si na ovako nešto mislio, ali što je tu je