Andere Kunden interessierten sich auch für
![Synchronisation in verteilten Systemen]( "Synchronisation in verteilten Systemen")
Synchronisation in verteilten Systemen49,99 €![Messung und Modellierung paralleler und verteilter Rechensysteme]( "Messung und Modellierung paralleler und verteilter Rechensysteme")
Messung und Modellierung paralleler und verteilter Rechensysteme49,99 €![Rekursive Funktionen und ihre Komplexität]( "Rekursive Funktionen und ihre Komplexität")
Rekursive Funktionen und ihre Komplexität44,99 €![Transputerpraktikum]( "Transputerpraktikum")
Transputerpraktikum44,99 €![Systematischer Entwurf digitaler Systeme]( "Systematischer Entwurf digitaler Systeme")
Systematischer Entwurf digitaler Systeme49,99 €![System-Programmierung in UNIX]( "System-Programmierung in UNIX")
System-Programmierung in UNIX49,99 €![Finite Modelle gewöhnlicher Randwertaufgaben]( "Finite Modelle gewöhnlicher Randwertaufgaben")
Finite Modelle gewöhnlicher Randwertaufgaben49,99 €
Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegriff.- B: Komplexität Algorithmischer Unlösbarkeit.- C: Rekursivität und Komplexität.- Zweites Buch: Elementare Prädikatenlogik.- D: Logische Analyse Des Wahrheitsbegriffs.- E: Logische Analyse Des Beweisbegriffs.- F: Komplexität Logischer Entscheidungsprobleme.- Bibliographie.- Symbolverzeichnis.