Závěrečný svazek trilogie Výpočty se zabývá některými aplikacemi teorie, vyvinuté ve svazcích I a II... Zobraziť viac
V aktuálním, pátém svazku edice Munice s názvem Život onlife se zamyslíme nad hybridní povahou sociálního a pracovního prostředí, ve kterém se většina z nás běžně pohybuje. Hranice mezi online a offline se stírají, oba světy se... Zobraziť viac
Komplet 5 svazků edice Munice v dárkové etuji... Zobraziť viac
V aktuálním, pátém svazku edice Munice s názvem Život onlife se zamyslíme nad hybridní povahou sociálního a pracovního prostředí, ve kterém se většina z nás běžně pohybuje. Hranice mezi online a offline se stírají, oba světy se... Zobraziť viac
Kniha se zabývá teorií algoritmů formalizovaných pomocí Turingových strojů a částečně rekursivních funkcí. První svazek je věnován vybudování výpočetního modelu a problému konvergence výpočtů - teorii algoritmické (ne)rozhodnutelnosti, ... Zobraziť viac
