Books
C
- 21st Century C nejlepší kniha v poslední době!!!*
Lisp
SVKOS
- Jiří Rybička: Úvod do teorie formálních jazyků, 1999, 40stran, A5
- Petr Jirků, Jiřina Vejvarová: Formální logika, neformální výklad FL, 2005, VŠE, skripta
- Katřina Trlifajová, Daniel Vašata: Matematická logika, 2013, skripta ČVUT/FIT
- Eva Milková: Teorie grafů a grafové algoritmy, 2013, FIaM UHK, skripta
- Jan Mareš: Jazyky, gramatiky a automaty, 2011, ČVUT/FJFI
Různé
- Ian Stewart: Matematika života
isbn
