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


	Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis \| Helmut Eirund, Bernd ...

Bücher:

formale beschreibung...

	Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis Helmut Eirund, Bernd Müller, ... B.G. Teubner Verlag, 2000 - 124 Seiten Kundenbewertung:(3 Bewertungen) großes Bild anzeigen
	weitere Infos, Preis & Bestellmöglichkeit

Prädikatenlogik. Kompakt auf weniger als 30 Seiten

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.

weitere Infos, Preis & Bestellmöglichkeit

Theoretische Informatik - verstaendlich ruebergebracht

sehr empfehlenswertes Buch! Ein Buch, das sowohl Anfaengern einen guten Einstieg als auch Fortgeschrittenen einen soliden Ueberblick ueber die oft so "trockene" und schwer verstaendliche Materie der Theoretischen Informatik gibt. Besonders gelungen finde ich die vielen praktischen Beispiele!

Kurz und knapp sehr gut

Es handelt sich um eines der wenigen Bücher, die wenig Bearbeitungszeit schlucken um in den relativ trockenen Stoff einzusteigen.
Viele Beispiele aus dem alltäglichen Leben machen das Buch sehr interessant.
Als besonders gelungen empfinde ich die Abschnitte :
Schreibweisen der Logik
Prädikatenlogik
und
Relationen.

In meinem Studiengang als Wirtschaftsinformatiker hat mir dass Buch sehr weitergeholfen.

weitere Infos, Preis & Bestellmöglichkeit

Folgende Artikel könnten Sie interessieren

arbeitsbuch

Caminos neu 1. Lösungsheft zum Lehr- und Arbeitsbuch
Espresso 1: Espresso, Bd.1, Lehr- und Arbeitsbuch, m. Audio-CD: ...
Mathematik für Ingenieure und Naturwissenschaftler 1: Ein Lehr- und ...
Mirada aktuell: Mirada aktuell - Ein Spanischkurs für Anfänger / ...
Mathematik für Ingenieure und Naturwissenschaftler 2: Ein Lehr- und ...

informatik

Scott Kelbys Glorreiche 7: 7 Techniken, die alle Bilder zum Leuchten ...
Taschenbuch der Mathematik
Medizin zum Aufmalen - Heilen durch Informationsübertragung und Neue ...
Wirtschaftsinformatik 1
Taschenbuch der Physik

praxis

Psychotherapeutische Schätze: 101 bewährte Übungen und Methoden für ...
Organisation: Einführung in die Organisationstheorie und -praxis
Steuern kompakt: mit Unternehmensteuerreform 2008 + ...
Das neue 1x1 des Zeitmanagement: Zeit im Griff, Ziele in Balance. ...
Grundlektionen und Hufschlagfiguren in der Praxis: Kompaktes Wissen

Suche nach Büchern
arbeitsbuch, beschreibungsverfahren, formale, informatik, praxis