Teoretická informatika

Beschreibung

Úvod do teoretické informatiky: formální jazyky, automaty a vyčíslitelnost. Obsahuje konečné a zásobníkové automaty, bezkontextové gramatiky i Turingův stroj, s důkazy, příklady a cvičeními.
Teoretická informatika — přehledně, výstižně a prakticky. Teoretická informatika se zabývá základními otázkami vyčíslitelnosti a strukturou jazyků. Zkoumá, které problémy jsou algoritmicky řešitelné, jaké modely k tomu potřebujeme a jaké hranice výpočtů existují. Tato kniha vás krok za krokem uvede do základů formálních jazyků, vyčíslitelnosti a teorie automatů. Seznámíte se s nejdůležitějšími modely — od konečných automatů, přes zásobníkové automaty a bezkontextové gramatiky až po Turingův stroj. Přitom nepochopíte pouze formální konstrukce, ale osvojíte si také důkazové techniky, jimiž se ověřují vlastnosti jazyků, a odhalíte meze toho, co je vyčíslitelné. Složitá témata jako pumping-lemma, Myhill–Nerodeova věta, diagonalizace či Riceova věta jsou podána jasně a názorně. Početné obrázky, příklady a cvičení s řešeními názorně ilustrují teorii a upevňují učivo. Kapitoly jsou modulárně uspořádány a didakticky promyšlené, takže si můžete vybírat cíleně nebo se učit krok za krokem. Důkazy jsou uvedeny v plné podobě, přičemž je kladen důraz na intuici a praktický význam. Tím získáte fundovaný, dobře čitelný úvod do jednoho z ústředních oborů informatiky — ideální pro studenty, učitele a všechny, kteří chtějí teoretickou informatiku nejen pochopit, ale i uplatnit v praxi.

Autor*in

Lucien Sina
Lucien Sina ist Mathematiker, Informatiker, Pädagoge und vielseitiger Sachbuchautor. Er verbindet langjährige Erfahrung in Softwareentwicklung, Algorithmik und Didaktik mit der Fähigkeit, komplexe Inhalte klar und verständlich zu vermitteln. Als lizenzierter Fitnesstrainer arbeitet er seit über zwei Jahrzehnten mit Trainingslehre und Ernährung und vereint wissenschaftliche Erkenntnisse mit praktischer Erfahrung. In seinen Büchern – zu Informatik, Sport, Ernährung, Intelligenz, Psychologie, Hundeerziehung, Anti-Aging und weiteren Lebensthemen – legt er besonderen Wert auf Verständlichkeit, klare Struktur und unmittelbare Umsetzbarkeit. Seine Werke richten sich an Leser, die fundiertes Wissen suchen, das sowohl theoretisch solide als auch alltagstauglich ist.

Themen in »Teoretická informatika«

formální jazyky teorie automatů Turingovy stroje bezkontextové jazyky vypočitatelnost rozhodnutelnost pumping lemma

Stimmen zu »Teoretická informatika«

Details

Link teilen