Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

by Dirk Siefkes

Paperback(1993)

$67.07 $84.99 Save 21% Current price is $67.07, Original price is $84.99. You Save 21%.

Overview

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.

Product Details

ISBN-13: 9783528051990
Publisher: Vieweg+Teubner Verlag
Publication date: 02/29/2012
Series: XTheorie der Informatik
Edition description: 1993
Pages: 190
Product dimensions: 6.38(w) x 9.02(h) x (d)

About the Author

Professor Dr. Dirk Siefkes lehrt an der TU Berlin am Fachbereich Informatik. Er ist Autor des bei Vieweg 1990 erschienenen Lehrbuches "Formalisieren und Beweisen - Logik für Informatiker".

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews