Wprowadzenie do teorii obliczeń

Book

In basket

rate

Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie III. - Warszawa : PWN, 2020. - XVIII, 480 stron : ilustracje ; 24 cm.

Author

Sipser Michael. Autor Włodarz Marek. Tłumaczenie

Form of Work

Książki Publikacje dydaktyczne

Audience Group

Szkoły wyższe

Subject

Automaty Teoria automatów Teoria obliczalności Teoria obliczeń Złożoność obliczeniowa

Genre/Form

Podręcznik

Domain

Informatyka i technologie informacyjne Matematyka

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.

zob. w.bibliotece.pl

Availability:

Czytelnia Naukowa Magazyn (Meissnera 5)

There are copies available to loan: sygn. FV-62094 (1 egz.)

Notes:

Tytuł oryginału: Introduction to the theory of computation, 2013

Bibliography, etc. note

Bibliografia na stronach 465-468. Indeks.

Target audience note

Dla studentów informatyki na wszystkich wyższych uczelniach.