Historische Notizen zur Informatik pp 9-13 | Cite as
Angstls Mechanismus zur Prüfung auf Wohlgeformtheit
Chapter
Zusammenfassung
Im Jahr 1950 erfand Helmut Angstl ein mechanisches Gerät, dessen Konstruktion (Fig. 1) die funktionelle Basis des späteren Baues einer Relaisrechenmaschine für aussagenlogische Formeln in Polnischer Notation war. Die Grundzüge der Angstlschen Konstruktion werden im folgenden dargestellt.
Preview
Unable to display preview. Download preview PDF.
Literatur
- [1]F. L. Bauer, The formula-controlled logical computer ‘Stanislaus’, Math. Tables Aids Comp. 14 (1960), 64–67 . MR 24.MATHGoogle Scholar
- [2]Jan Lukasiewicz, Elementy Logiki Matematycznei, Warszawa, 1929.Google Scholar
- [3]Arthur W. Burks, Don W. Warren & Jesse B. Wright, An analysis of a logical machine using parenthesis-free notation, MTAC 8 (1954), 53-57. MR 15.MATHMathSciNetGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2009