Bis zu 50 % günstiger als neu 3 Jahre rebuy Garantie Professionelles Refurbishment
ElektronikMedien
Tipps & News

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Optischer Zustand
Beschreibung
Teoria obliczeń - jasno, zwięźle i praktycznie. Książka krok po kroku wprowadza w podstawy języków formalnych i obliczalności: od automatów skończonych, przez automaty ze stosem i gramatyki bezkontekstowe, aż po potężną maszynę Turinga. Czytelnik nie tylko poznaje formalne modele, lecz także rozumie techniki dowodowe, które pozwalają wykazać własności języków - a przede wszystkim, gdzie leżą granice tego, co da się obliczyć. Dzięki licznym przykładom, przejrzystym diagramom, klarownym dowodom oraz zadaniom ćwiczeniowym z rozwiązaniami książka jest idealna dla studentów, wykładowców oraz wszystkich, którzy chcą systematycznie zgłębić temat. Kluczowe twierdzenia, takie jak lemat o pompowaniu, twierdzenie Myhilla–Nerode’a, twierdzenie Kleene’a, diagonalizacja oraz twierdzenie Rice’a, są przedstawione w sposób przystępny i omawiane pod kątem konsekwencji. Szczególny nacisk położono na zrozumiałość i praktyczność: rozdziały mają konstrukcję modułową, dowody są w pełni rozwinięte, a tam, gdzie szczegóły techniczne mogłyby rozpraszać, podkreślono intuicję. Liczne zadania ćwiczeniowe wspierają aktywne przyswajanie wiedzy - doskonałe zarówno jako materiał uzupełniający wykłady, jak i do samodzielnej nauki. Niezależnie od tego, czy poszukujesz solidnej podstawy do dalszych kursów (np. teoria złożoności), czy chcesz rozwinąć mocne umiejętności matematyczne w teorii obliczalności - ta książka oferuje gruntowne i przystępne wprowadzenie do jednego z kluczowych obszarów informatyki teoretycznej.
Dieses Produkt haben wir gerade leider nicht auf Lager.
ab 15,49 €
Derzeit nicht verfügbar
Derzeit nicht verfügbar

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Technische Daten


Erscheinungsdatum
17.09.2025
Sprache
Polnisch
EAN
9783565032501
Herausgeber
epubli
Sonderedition
Nein
Autor
Lucien Sina
Seitenanzahl
156
Auflage
1
Einbandart
Broschiert
Lesealter
1 - 99
Schlagwörter
języki formalne, teoria automatów, maszyny Turinga, języki bezkontekstowe, obliczalność, decyzyjność, lemat o pompowaniu
Thema-Inhalt
UY - Informatik
Höhe
190 mm
Breite
12.5 cm

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!