02-22-2018, 10:57 AM
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 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.
Kod:
data wydania: 2016 (data przybliżona)
ISBN: 9788320434361
liczba stron: 486
słowa kluczowe: informatyka, matematyka, teoria obliczeń, wprowadzenie do teorii obliczeń
język: polski