Cantitate/Preț
Produs
Total produse
Vezi coșul
Endliche Modelltheorie de Stefan Geschke

Endliche Modelltheorie

Autor Stefan Geschke
de Limba Germană Paperback – 20 feb 2024
Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der Naturwissenschaften erwirbt. Ausdrücklich nicht vorausgesetzt werden Kenntnisse in mathematischer Logik.

Die Produktfamilie WissensExpress bietet Ihnen Lehr- und Lernbücher in kompakter Form. Die Bücher liefern schnell und verständlich fundiertes Wissen.

Citește tot Restrânge

Preț: 13496 lei

Nou

Puncte Express: 202
Preț estimativ în valută:
2583€ • 2717$ • 2144£

Carte tipărită la comandă

Livrare economică 15-29 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783662683217
ISBN-10: 3662683210
Ilustrații: VII, 67 S. 1 Abb.
Dimensiuni: 155 x 235 mm
Greutate: 0.12 kg
Ediția:1. Aufl. 2023
Editura: Springer Berlin, Heidelberg
Colecția Springer Spektrum
Locul publicării:Berlin, Heidelberg, Germany

Cuprins

Einleitung.- erststufige Logik und endliche Strukturen.- ehrenfeucht-Fraïssé-Spiele.- 0-1-Gesetze.- Zweitstufige Logik und reguläre Sprachen.- Turing-Maschinen, Komplexitätsklassen und der Satz von Trahtenbrot.- Zweitstufige Logik und die Komplexität von Model Checking.

Notă biografică

​PD Dr. Stefan Geschke arbeitet am Fachbereich Mathematik an der Universität Hamburg.

Textul de pe ultima copertă

Dieses Buch basiert auf dem Skript zu einer Vorlesung über endliche Modelltheorie an der Freien Universität Berlin und dient als eine kurze Einführung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einführenden Mathematikvorlesung für Studierende der Mathematik, Informatik oder der Naturwissenschaften erwirbt. Ausdrücklich nicht vorausgesetzt werden Kenntnisse in mathematischer Logik.

Die Produktfamilie WissensExpress bietet Ihnen Lehr- und Lernbücher in kompakter Form. Die Bücher liefern schnell und verständlich fundiertes Wissen.

​Der Autor
PD Dr. Stefan Geschke arbeitet am Fachbereich Mathematik an der Universität Hamburg.

Caracteristici

Einführung in die endliche Modelltheorie von Grundlagen bis hin zu fortgeschrittenen Konzepten Verbindung von Logik und Informatik wird beschrieben Anwendbarkeit der endlichen Modelltheorie auf verschiedene Problembereiche