Podręcznik do teorii obliczeń skierowany do studentów informatyki na wszystkich wyższych uczelniach. 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, a także deterministycznym językom bezkontekstowym.
Wprowadzenie do teorii obliczeń
Podręcznik do teorii obliczeń skierowany do studentów informatyki na wszystkich wyższych uczelniach. 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…
- Autor: Michael Sipser
- Ilość stron: 480
- Autor tłumaczenia: Marek Włodarz
- Wydawnictwo: PWN
- Numer ISBN: 978-83-01-20926-1
- Data wydania: 2020-02-21
Oceny czytelników
Ta publikacja nie ma jeszcze ocen.
Dodaj pierwszą recenzję “Wprowadzenie do teorii obliczeń”