Seriály

26. Výpočetní modely

Krajinou Turingových strojů, přepisovacích pravidel a dalších teoretických modelů počítačů. Správné pochopení fungování těchto modelů nám může velmi pomoci třeba v dokazování fungování normálních programů, ve vymýšlení programovacích jazyků a v určování jejich výpočetní síly.

25. TeX

„Proč se mi jenom ta knížka tak dobře čte?“ S pomocí typografického systému TeX je možné hezky sázet nejenom knihy a matematické vzorce, ale prakticky cokoliv, co je menší než 5 × 5 metrů. A někdy i víc. :-)

24. Kombinatorická teorie her a herní algoritmy

Jakým způsobem získávají počítače náskok před lidským rozumem? Poziční hry (variace na piškvorky), Minimax, Alfa-beta prořezávání, transpoziční tabulky a jiná vylepšení Minimaxu. Nadreálná čísla a co na to pan Conway. V posledním díle jsme se vrhli na analýzu deskové hry Dvonn.

23. Regulární výrazy

Regulární výrazy jsou mocnými praktickými nástroji pro rychlou práci s textem.

22. (4., 5. série) APL

Prastarý vysokoúrovňový jazyk s odvážnou syntaxí, která se zaměřuje na rychlou práci s vektory a maticemi.

22. (1.-3. série) Erlang

Erlang je moderní funkcionální jazyk se silnou podporou paralelního zpracování.

21. RAPL

V tomto ročníku jsme si zavedli jednoduchý imperativní „Raw Abbreviated Programming Language“, jehož programy jsme se snažili různě zkracovat, zrychlovat a paměťově uskrovňovat.

20. Hradla

Jak funguje nejnižší úroveň zpracování informací v počítači? Tím se zabývá tzv. číslicová technika.

19. Prolog

Nechce-li se nám počítači předepisovat jak má co dělat, můžeme mu zkusit toliko přesně popsat situaci a doufat, že se tím nějak prokouše (čti: probacktrackuje) sám. Překvapivě se ukáže, že taková metoda klade na hlavu programátorovu daleko větší zátěž (čti: je to zábava!).

18. Kompilátory

Před dávnými časy se počítače programovaly přímo ve strojovém kódu – tj. programátor psal řady čísel. Napsat takto jakýkoliv rozsáhlejší program bylo samozřejmě velmi obtížné, o hledání a opravování chyb ani nemluvě. Proto se brzy objevily nástroje, které tuto činnost usnadňovaly.

17. Automaty a gramatiky

Automaty a gramatiky jsou teoretickým nástrojem pro popis posloupností symbolů (aritmetických výrazů, zdrojových kódů) a práci s nimi (kompilování, komprimování, vyhledávání).

16. Pravděpodobností algoritmy

Co to je? Inu je to vlastně obyčejný algoritmus, který ale navíc při svém běhu využívá náhodná čísla. Asi si řeknete: „K čemu nám jsou náhodná čísla dobrá?“ Ač to je možná na první pohled překvapivé, náhodná čísla mohou pomoci výrazně urychlit běh našeho algoritmu.

15. Haskell

Haskell je velmi moderní a krásný čistě funkcionální jazyk.

14. Turingovy stroje

Pro teoretické uchopení podstaty práce počítače se používá několik tzv. výpočetních modelů: Turingův stroj je jeden z nejstarších a nejznámějších.

13. LISP

LISP je starý funkcionální jazyk vynikající množstvím závorek a dialektů.

12. PRAM

„Parallel Random Access Machine“ je výpočetní model zachycující pojem paralelního počítače.