Michael Sipser – Wprowadzenie do teorii obliczeń
Podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Składa się z trzech części. Pierwsza ...
Podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Składa się z trzech części. Pierwsza ...
Tematyka skryptu obejmuje zagadnienia teorii automatów i języków: metody generacji języków - wyrażenia regularne, gramatyki regularne, bezkontekstowe, kontekstowe i nieograniczone; ...
The most famous 18th-century copper engraver, Giovanni Battista Piranesi (1720–1778) made his name with etchings of ancient Rome. His startling,...
Atlas Maior Joana Blaeu'a, opublikowany po raz pierwszy w 1662 roku, jest największym atlasem, jaki kiedykolwiek wydano. Jego około 600...
Li Bai (701–762 r. n.e.) pochodził z bocznej gałęzi rodu cesarskiego, był jednym z najbardziej wykształconych ludzi swojej epoki, chociaż...
Podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów. Składa się z trzech części. Pierwsza poświęcona automatom i językom formalnym. Omówiono w niej niedeterminizm, równoważność automatów deterministycznych i niedeterministycznych, wyrażenia regularne, kryteria nieregularności języków, a także języki bezkontekstowe. Druga część dotyczy teorii obliczalności . Opisano w niej ograniczenia współczesnych komputerów, wyjaśniono pojęcia rozstrzygalności i nierozstrzygalności. Trzecia część jest poświęcona teorii złożoności. Przedstawiono w niej podstawowe klasy złożoności obliczeniowej, klasę problemów NP- zupełnych, a także klasyfikację problemów ze względu na możliwość automatycznego ich rozwiązywania przy ograniczonych zasobach. Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach.