Wprowadzenie do teorii obliczeń
- Kategoria:
- informatyka, matematyka
- Wydawnictwo:
- Wydawnictwo Naukowe PWN
- Data wydania:
- 2020-02-25
- Data 1. wyd. pol.:
- 2020-02-25
- Liczba stron:
- 500
- Czas czytania
- 8 godz. 20 min.
- Język:
- polski
- ISBN:
- 9788301209261
- Tłumacz:
- Marek Włodarz
- Tagi:
- informatyka matematyka teoria obliczeń wprowadzenie do teorii obliczeń informatyka teoretyczna
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.
Porównaj ceny
W naszej porównywarce znajdziesz książki, audiobooki i e-booki, ze wszystkich najpopularniejszych księgarni internetowych i stacjonarnych, zawsze w najlepszej cenie. Wszystkie pozycje zawierają aktualne ceny sprzedaży. Nasze księgarnie partnerskie oferują wygodne formy dostawy takie jak: dostawę do paczkomatu, przesyłkę kurierską lub odebranie przesyłki w wybranym punkcie odbioru. Darmowa dostawa jest możliwa po przekroczeniu odpowiedniej kwoty za zamówienie lub dla stałych klientów i beneficjentów usług premium zgodnie z regulaminem wybranej księgarni.
Za zamówienie u naszych partnerów zapłacisz w najwygodniejszej dla Ciebie formie:
• online
• przelewem
• kartą płatniczą
• Blikiem
• podczas odbioru
W zależności od wybranej księgarni możliwa jest także wysyłka za granicę. Ceny widoczne na liście uwzględniają rabaty i promocje dotyczące danego tytułu, dzięki czemu zawsze możesz szybko porównać najkorzystniejszą ofertę.
Mogą Cię zainteresować
Książka na półkach
- 14
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
OPINIE i DYSKUSJE
Książka jest tematycznie obszerna, ale zastosowane skróty myślowe pozbawiają ją ścisłości. Dowody stanowią bardziej szkice opisowe niż realne procesy dowodzenia z dziedziny matematyki.
Bardzo brakuje powiązania pewnych tematów z matematyką teoretyczną. W przypadku funkcji rekurencyjnych przydałoby się omówić predykat T Kleene'ego oraz zaznaczyć w jaki sposób opis maszyn Turinga, używany we wzajemnych symulacjach, odpowiada pojęciom funkcji efektywnie obliczalnych.
Książka jest przeznaczona bardziej dla studentów kierunków technicznych niż teoretycznych. Można ją jednak polecić jako uzupełnienie posiadanej wiedzy i przyczynek do dalszych refleksji.
Książka jest tematycznie obszerna, ale zastosowane skróty myślowe pozbawiają ją ścisłości. Dowody stanowią bardziej szkice opisowe niż realne procesy dowodzenia z dziedziny matematyki.
więcej Pokaż mimo toBardzo brakuje powiązania pewnych tematów z matematyką teoretyczną. W przypadku funkcji rekurencyjnych przydałoby się omówić predykat T Kleene'ego oraz zaznaczyć w jaki sposób opis maszyn...