Stroje I
Abstrakt
V tomto seriálu se podíváme na základy kombinátorového kalkulu. Jedná se o velmi jednoduchý model výpočtu postavený na několika základních funkcí, které se nazývají kombinátory. Poutavost kalkulu spočívá v tom, že libovolný výpočet, který jsme schopni provést na počítači, můžeme vyjádřit vhodnou aplikací kombinátorů. Základní rysy kombinátorového kalkulu si představíme na jednoduché deskové hře.
Stahování
Publikováno
Jak citovat
Číslo
Sekce
Licence
Autoři, kteří publikují v tomto časopise, souhlasí s následujícími body:
- Autoři si ponechávají copyright a garantují časopisu právo prvního publikování, přitom je práce zároveň licencována pod Creative Commons Attribution licencí, která umožňuje ostatním sdílet tuto práci s tím, že přiznají jejího autora a první publikování v tomto časopisu.
- Autoři mohou vstupovat do dalších samostatných smluvních dohod pro neexkluzivní šíření práce ve verzi, ve které byla publikována v časopise (například publikovat ji v knize), avšak s tím, že přiznají její první publikování v tomto časopisu.
Obsah časopisu podléhá licenci Creative Commons Uveďte autora 3.0 Česko