498436
Książka
W koszyku
Wprowadzenie do teorii obliczeń / Michael Sipser ; [przekład Marek Włodarz]. - Wydanie III. - Warszawa : PWN, 2020. - XVIII, 480 stron : ilustracje ; 24 cm.
Autor
Sipser Michael. Autor Włodarz Marek. Tłumaczenie
Forma i typ
Książki Publikacje dydaktyczne
Odbiorca
Szkoły wyższe
Temat
Automaty Teoria automatów Teoria obliczalności Teoria obliczeń Złożoność obliczeniowa
Gatunek
Podręcznik
Dziedzina i ujęcie
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
Status dostępności:
Czytelnia Naukowa Magazyn (Meissnera 5)
Są egzemplarze dostępne do wypożyczenia: sygn. FV-62094 (1 egz.)
Strefa uwag:
Tytuł oryginału: Introduction to the theory of computation, 2013
Uwaga dotycząca bibliografii
Bibliografia na stronach 465-468. Indeks.
Uwaga dotycząca przeznaczenia czytelniczego
Dla studentów informatyki na wszystkich wyższych uczelniach.
Recenzje:
Potwierdź wykonanie raportu
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej