User Tools

Site Tools


books

Table of Contents

Books

C

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
  • Mysli jako freak
  • Cal Newport: Hluboká práce, 978-80-7555-008-8
books.txt · Last modified: 2017/10/08 22:06 (external edit)