Wprowadzenie do teorii obliczeń
(oryginalnie: Intodrucion to the theory of computation)ISBN: 978-83-204-3436-1
Tłumaczenie: Kanarek Przemysława
Format: 17.0x24.0cm
Liczba stron: 486
Oprawa: Miękka
Wydanie: 1, 2016 r.
Język: polski
Dostępność: aktualnie niedostępny
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.