libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

geschke stefan - endliche modelltheorie

Endliche Modelltheorie




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
20,98 €
NICEPRICE
19,93 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Tedesco
Pubblicazione: 02/2024
Edizione: 1. Aufl. 2023





Trama

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.





Sommario

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.




Autore

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










Altre Informazioni

ISBN:

9783662683217

Condizione: Nuovo
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:VII, 67 S. 1 Abb.
Pagine Arabe: 67
Pagine Romane: vii


Dicono di noi