Willkommen, schön sind Sie da!
Logo Ex Libris

Formale Methoden und kleine Systeme
Dirk Siefkes

Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der T... Weiterlesen
Kartonierter Einband (Kt), 204 Seiten  Weitere Informationen
20%
101.00 CHF 80.80
Auslieferung erfolgt in der Regel innert 4 bis 6 Werktagen.

Beschreibung

Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verständnis vertiefen und gleichzeitig Freude machen kann. Siefkes Plädoyer für eine kluge Verwendung "kleiner Systeme" wie auch für eine "Wende zur Phantasie" belegen, daß auch eingefleischte "Praktiker" unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten können. Die einzelnen Kapitel des Buches bilden jeweils selbständige Einheiten, die je nach dem persönlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden können. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit "formalisierten Umgebungen" in vielfacher Hinsicht transparent werden läßt.

Inhalt
Kleine Systeme - Ungelogene unlogische Geschichten - Formalisieren und Verstehen - Wie man Anderen Beweise und Programme klarmachen kann - Prototyping als Theoriebildung - Beziehungskiste Mensch-Maschine - Wende zur Phantasie: Die Praxis der Entstehung von Theorie in der Informatik.

Produktinformationen

Titel: Formale Methoden und kleine Systeme
Untertitel: Lernen, leben und arbeiten in formalen Umgebungen
Autor: Dirk Siefkes
EAN: 9783528051990
ISBN: 978-3-528-05199-0
Format: Kartonierter Einband (Kt)
Herausgeber: Vieweg+Teubner Verlag
Genre: Technik
Anzahl Seiten: 204
Gewicht: 354g
Größe: H229mm x B163mm x T12mm
Jahr: 1992
Auflage: 1993

Filialverfügbarkeit

PLZ, Ort, Name Es wurde kein Treffer gefunden. Bitte geben Sie eine gültige PLZ oder einen gültigen Ort ein. Bitte geben Sie eine PLZ oder einen Ort ein. Dieses Produkt ist in NUMBER Filialen verfügbar Dieses Produkt ist momentan nur im Online-Shop verfügbar. NUMBER Stk. verfügbar Kein aktueller Lagerbestand verfügbar. Detailkarte Detailkarte in einem neuen Fenster anzeigen Route berechnen Route in einem neuen Fenster berechnen Adresse Telefon Öffnungszeiten NUMBER Stk. verfügbar Nicht an Lager Die nächste Filiale finden Es gibt keine Geschäfte in 20 Kilometer Reichweite
  • Geben Sie die Postleitzahl, den Ortsnamen oder den Namen einer Filiale in das Suchfeld ein
  • Klicken Sie auf den "Pfeil"-Button, rechts neben dem Eingabefeld
  • Wählen Sie eine Filiale in der Trefferliste aus

Die nächste Filiale auch mobil finden Montag Dienstag Mittwoch Donnerstag Freitag Samstag Sonntag
Die nächste Filiale finden
  • Geben Sie die Postleitzahl, den Ortsnamen oder den Namen einer Filiale in das Suchfeld ein
  • Klicken Sie auf den "Pfeil"-Button, rechts neben dem Eingabefeld
  • Wählen Sie eine Filiale in der Trefferliste aus

Die nächste Filiale auch mobil finden
Zuletzt angesehen
Verlauf löschen