Skip to main content
SpringerLink
Log in

Formale Methoden und kleine Systeme

Lernen, leben und arbeiten in formalen Umgebungen

  • Book
  • © 1993

Overview

Authors:
  1. Dirk Siefkes
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: XTheorie der Informatik (XTI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-3
    Download chapter PDF

  2. Groß und klein

    1. Front Matter

      Pages 5-5
      Download chapter PDF

    2. Nur kleine Systeme entwickeln sich

      • Dirk Siefkes
      Pages 7-19

    3. Kleine Systeme

      • Dirk Siefkes
      Pages 21-53

  3. Formalisieren in kleinen Systemen

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Ungelogene unlogische Geschichten

      • Dirk Siefkes
      Pages 57-78

    3. Formalisieren und Verstehen

      • Dirk Siefkes
      Pages 79-92

    4. Wie sollen wir über Beweise und Programme reden?

      • Dirk Siefkes
      Pages 93-114

    5. Beziehungskiste Mensch — Maschine

      • Dirk Siefkes
      Pages 115-129

  4. Theorien müssen nicht groß sein

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Theoriebildung als das Gestalten mit Prototypen

      • Dirk Siefkes
      Pages 133-142

    3. Wende zur Phantasie

      • Dirk Siefkes
      Pages 143-159

  5. Rahmenstücke

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Der Wissenschaftler und seine Verantwortung

      • Dirk Siefkes
      Pages 163-167

    3. Warum macht uns Formales Angst?

      • Dirk Siefkes
      Pages 169-171

  6. Back Matter

    Pages 173-192
    Download chapter PDF
Back to top

Keywords

About this book

Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen erscheinen, manche kommen nie zu Wort, werden schweigsam. Bei noch mehr Teilnehmern ergreift man Maßnahmen: Wortmeldungen, Refer­ enten, Arbeitsgruppen; braucht man Hilfsmittel: Rednerlisten, Mikrofone; muß man laut und deutlich reden; lernt man die einzelnen nicht mehr kennen; lernt man nicht mehr, sondern sagt seine Meinung. Je größer die Gruppe, desto größer die Abstände und desto schwieriger die Verständigung. Ich kann nicht einmal denen richtig zuhören, die neben mir stehen. Die Probleme zu großer Gruppen können auch in kleinen auftreten. Während einer Ehekrise kann man auf einmal nur noch schriftlich kommunizieren; muß man Sprechzeiten festlegen; hört man nicht, was der Partner sagt; kann sich nicht mehr verständigen. Etwas ist zu groß geworden. Ob eine Gruppe groß oder klein ist, hängt nicht nur von der Anzahl ab. Also wovon dann? Mit festen Formen ermöglichen oder verbessern wir die Verständigung in größeren Gruppen: Jeder kommt mal dran; wir sprechen alle eine Sprache; wir achten uns. Aber Formen erstarren. Aus der Achtung wird Verachtung, als Höf­ lichkeit getarnt. Wir reden in Floskeln. Tuscheln hinter vorgehaltener Hand mit dem Nachbarn. Wieder kommt es nicht auf die Art der Formen an, sondern was wir daraus machen.

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".

Bibliographic Information

  • Book Title: Formale Methoden und kleine Systeme

  • Book Subtitle: Lernen, leben und arbeiten in formalen Umgebungen

  • Authors: Dirk Siefkes

  • Series Title: XTheorie der Informatik

  • DOI: https://doi.org/10.1007/978-3-322-84923-6

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 1993

  • Softcover ISBN: 978-3-528-05199-0Published: 01 October 1992

  • eBook ISBN: 978-3-322-84923-6Published: 08 March 2013

  • Edition Number: 1

  • Number of Pages: VIII, 190

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation