Einfache Suche

Cookie	Anbieter	Beschreibung	Notwendig	Speicherdauer
COPOPENAUTH	OCLC	Ein Cookie, der sich eine erfolgreiche Anmeldung merkt.	Ja	10 Jahre nach Erstellung
EU_LAW_INFO	OCLC	Der Cookie wird gespeichert, sobald der Anwender die Verwendung von Cookies zur Kenntnis genommen hat.	Ja	10 Jahre nach Erstellung
.ASPXANONYMOUS	DNN	Der Cookie speichert eine eindeutige ID für anonyme Anwender.	Ja	ca 70 Tage
.DOTNETNUKE	DNN	Der Cookie wird bei der Anmeldung erzeugt.	Ja	Session
ASP.NET_SessionId	ASP.NET	Identifiziert die Session von ASP.NET.	Ja	Session
authentication	OCLC	Speichert, über welchen Anmeldeweg der Leser sich angemeldet hat. DNN (DNN Login), COP (OPEN Login), "" (Nicht angemeldet)	Ja	Session
dnn_IsMobile	DNN	Der Cookie speichert, ob der Anwender ein mobiles Gerät verwendet.	Ja	Session
languague	DNN	Der Cookie speichert die aktuell eingestellte Sprache.	Ja	Session
LastPageId	DNN	Der Cookie speichert die ID (TabID) des letzten besuchten Reiters.	Ja	Session
__RequestVerificationToken	DNN	Der Cookie bietet Schutz vor Cross-Site-Attacken.	Ja	Session
SplashPageView	DNN	Der Cookie steuert die einmalige Anzeige der Begrüßungsseite.	Ja	Session
RepeaterCategories, RepeaterGroup	DNNGo	Cookies des DNN-Moduls xPlugin für Layout-Einstellungen.	Ja	Session
Liste aller Einstellungs-Cookies von OPEN:	OCLC	Die Cookies steuern den aufgeklappt/zugeklappt - Status bei den einzelnen Bereichen innerhalb der Einstellungen sowie die Sichtbarkeit der Header.	Ja	Session
StayInEditMode	DNN	Der Cookie steuert, ob sich die Oberfläche im Bearbeitungsmodus befindet.	Ja	Session
cem_pending, CEM_CallbackData, CEM_ExistingModule, CEM_NewModuleId	DNN	Diese Cookies werden beim Hinzufügen bzw. Klonen von Modulen im Bearbeitungsmodus verwendet.	Ja	Session
GOOGLE_ANALYTICS_INFO	OCLC	Der Cookie wird gesetzt, wenn der Anwender der Verwendung des Tracking Tools Google Analytics zugestimmt hat.	Nein	1 Jahr
_ga, _ga_<container-id>	Google Analytics	Der Cookie _ga speichert die Google Analytics-Client-ID zur Unterscheidung von Nutzern, _ga_<container-id> dient der Persistierung des Sitzungsstatus (vorausgesetzt der Anwender hat dem Tool zugestimmt, siehe Cookie GOOGLE_ANALYTICS_INFO).	Nein	2 Jahre
_Module_359_Survey_0_, AppearanceSecurityOptions, CSVExportOptions	DNN	Die Cookies werden vom optionalen 3rd Party DNN-Modul Survey verwendet.	Nein	bis 31.12.9999, 20 Minuten, 20 Minuten

Bibliothekskatalog

Standorte
TVA 23(2)

Suche

Medienart

Alle
Physische Medien
E-Medien

Detailanzeige drucken Permalink Detailanzeige Detailanzeige per E-Mail versenden

Grundlagen der Theoretischen Informatik

Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - ein Lernkurs mit Übungen

Verfasser: Schulz, André (Verfasser)

Jahr: 2026

Verlag: Berlin, Springer Vieweg

MONO

Inhaltsverzeichnis (Inhaltsverzeichnis)

verfügbar

Exemplare

Standorte	Standort 2	Status	Vorbestellungen	Frist	Barcode	Lageplan	Signaturfarbe
Standorte: TVA 23(2)	Standort 2:	Status: Verfügbar	Vorbestellungen: 0	Frist:	Barcode: 00134198	Lagepläne: Lageplan	Signaturfarbe:

Inhalt

Dieses Lehrbuch liefert eine grundlegende, aber verständliche Einführung in die Theoretische Informatik. Ziel ist es, Konzepte zu vermitteln, die auch in anderen Informatikbereichen Anwendung finden. Zentral sind Themen wie formale Sprachen, kontextfreie Grammatiken, endliche Automaten und die Komplexitätstheorie.

Die behandelten Inhalte sind grundlegend für das formale Arbeiten in der gesamten Informatik und bilden das Fundament für weiterführende Themen der Theoretischen Informatik. Durch eine Vielzahl von Aufgaben mit Lösungen – erweitert in dieser zweiten Auflage – eignet sich dieses Lehrbuch sehr gut zum Selbststudium.

Der Inhalt

Einführung und formale Sprachen

Reguläre Sprachen

Kontextfreie Sprachen

Entscheidbare und erkennbare Sprachen

Unentscheidbare Sprachen

Komplexitätstheorie (Quelle: Verlag) Literaturangaben