Wprowadzenie do teorii obliczeń

Wprowadzenie do teorii obliczeń to najpopularniejszy podręcznik do teorii obliczeń. Dotyczy podstaw informatyki, a w szczególności możliwości obliczeniowych współczesnych komputerów.

Książka składa się z trzech części. Pierwsza jest 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.

Trzecia edycja zawiera zupełnie nowy podrozdział poświęcony deterministycznym językom bezkontekstowym. Została też wzbogacona o nowe ćwiczenia, problemy i przykłady.

Książka skierowana do studentów informatyki na wszystkich wyższych uczelniach.

• Tytuł: Wprowadzenie do teorii obliczeń
• Autor: Michael Sipser
• Wydawnictwo Wydawnictwo Naukowe PWN
• Oprawa: Miękka
• Rok wydania: 2020
• Ilość stron: 480
• Stan: nowy, pełnowartościowy produkt
• Model: 9788301209261
• Język: polski
• Oryginalny tytuł: Introduction To The Theory Of Computation
• Tłumacz: Włodarz Marek
• Nr wydania: 3
• ISBN: 9788301209261
• EAN: 9788301209261
• Wymiary: 16.5x23.5x2.5 cm