Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen: XTheorie der Informatik
Autor Dirk Siefkesde Limba Germană Paperback – oct 1992
Preț: 402.72 lei
Preț vechi: 462.89 lei
-13% Nou
Puncte Express: 604
Preț estimativ în valută:
77.10€ • 80.26$ • 63.47£
77.10€ • 80.26$ • 63.47£
Carte tipărită la comandă
Livrare economică 27 ianuarie-03 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783528051990
ISBN-10: 352805199X
Pagini: 204
Ilustrații: VIII, 190 S.
Dimensiuni: 162 x 229 x 11 mm
Ediția:1993
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria XTheorie der Informatik
Locul publicării:Wiesbaden, Germany
ISBN-10: 352805199X
Pagini: 204
Ilustrații: VIII, 190 S.
Dimensiuni: 162 x 229 x 11 mm
Ediția:1993
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria XTheorie der Informatik
Locul publicării:Wiesbaden, Germany
Public țintă
ResearchCuprins
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.
Notă biografică
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".