Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis)


 		 Prädikatenlogik. Kompakt auf weniger als 30 Seiten
• • • • •   (bewertet mit 5 von 5 Punkten)

Rezension bezieht sich auf: Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis) (Taschenbuch) Rezension zu Kapitel 1 von 5: Dieses Buch ist eines der wenigen Bücher das es schafft ein extrem formalisiertes Thema, wie die Prädikatenlogik, durch glasklare und konsistente Begrifflichkeit zu beschreiben. Dieses Buch erklärt sehr gut, einen Ausschnitt höherer Mathematik, und setzt dem Leser keinen Zeichensalat vor. Die vielen Beispiele und Übungen mit Lösungen sind gut gewählt, und stehen immer in direkter Verbindung zum vorangehenden Stoff. Durch die kurze und knappe Abhandlung läßt dieses Buch so manchen Autor mathematischer Bücher weit hinter sich. Sehr empfehlenswert.
Eine Rezension von Ein Kunde
vom 4. April 2001
Kundenrezensionen:
3. Prädikatenlogik. Kompakt auf weniger als 30 Seiten (die aktuell angezeigte Rezension)
2. Theoretische Informatik - verstaendlich ruebergebracht
1. Kurz und knapp sehr gut
Zur Übersicht ...
 
 Angebote zu
, 
, 
 ab 1 Euro!

Sonstige Artikel:
Philips HD4631/20 Wasserkocher 2400 Watt von Philips
Fakir 1800 Öko Power Bodenstaubsauger 1300 Watt von Fakir
Counter Force - Internationale Anti-Terror-Einheiten, Vol. 2 von Tim Wolochatiuk
Mehr zu  Informatik,  Softwareentwicklung,  Angewandte Mathematik,  Theoretische Informatik,  Mathematik
Home ...,    
,    Begleitseite ...
Herausgeber dieser Seite ist DomainLoc.com GmbH - Partner von

Copyright © DomainLoc.com GmbH (Impressum)