Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formale Methoden und kleine Systeme

E-BookPDF1 - PDF WatermarkE-Book
190 Seiten
Deutsch
Vieweg+Teubner Verlagerschienen am08.03.20131993
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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR74,99
E-BookPDF1 - PDF WatermarkE-Book
EUR38,66

Produkt

KlappentextDieses 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.
Details
Weitere ISBN/GTIN9783322849236
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2013
Erscheinungsdatum08.03.2013
Auflage1993
ReiheXTheorie der Informatik
Seiten190 Seiten
SpracheDeutsch
IllustrationenVIII, 190 S.
Artikel-Nr.5394718
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Vorwort.- Groß und klein.- Nur kleine Systeme entwickeln sich.- Kleine Systeme.- Formalisieren in kleinen Systemen.- Ungelogene unlogische Geschichten.- Formalisieren und Verstehen - Was können Logiker und Informatiker voneinander lernen?.- Wie sollen wir über Beweise und Programme reden?.- Beziehungskiste Mensch - Maschine.- Theorien müssen nicht groß sein.- Theoriebildung als das Gestalten mit Prototypen.- Wende zur Phantasie - zur Theoriebildung in der Informatik.- Rahmenstücke.- Der Wissenschaftler und seine Verantwortung.- Warum macht uns Formales Angst?.- Hinweise zur Literatur.- LI. Natur, Biologie, Landwirtschaft.- L2. Evolution.- L3. Erlebte und erdachte Utopien.- 14. Soziales, Politisches, Philosophisches, Psychologisches.- L5. Informatik, Mathematik, Logik.- L6. Sicht aufs Ganze.- L7. Schreiben, Literatur, Poesie.- Ersterscheinungshinweise.mehr