Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen: XTheorie der Informatik
Autor Dirk Siefkesde Limba Germană Paperback – oct 1992
Preț: 435.46 lei
Preț vechi: 500.53 lei
-13%
Puncte Express: 653
Carte tipărită la comandă
Livrare economică 06-13 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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".