Advertisement

Geschichte der Schaltalgebra

  • Heinz Zemanek

Zusammenfassung

In den gedruckten Einladungsprogrammen für das Kolloquium kommt der Name F. L. Bauer nicht vor.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    A. Eddington: Philosophie der Naturwissenschaft — Der Existenzbegriff. Humboldt Verlag Wien — Sammlung Die Universität Band 6,206. Englisch: The Philosophy of Physical Science. Cambridge Univ Press 1949, p. 162Google Scholar
  2. [2]
    P. Ehrenfest Buchbespr. L. Couturat, L’algèbre de la logique. 2urnal russkogo fizikochimgeskogo obMestva42 (1910) 382–387Google Scholar
  3. [3]
    P. & T. Ehrenfest: Begriffliche Grundlagen der statistischen Auffassung in der Mechanik. In: Encyklopädie der mathematischen Wissenschaften IV,2,II Heft 6,3–80 — B.G. Teubner, Leipzig 1912. Auch in: Collected Papers by P. Ehrenfest (M. Klein, Ed.) North Holland, Amsterdam 1959; 632 ppGoogle Scholar
  4. [4]
    H. Zemanek: Information und Ingenieurwissenschaft. In: Der Informationsbegriff in Technik und Wissenschaft. Festschrift zum 65. Geburtstag von Prof. Dr. Karl Ganzhorn. (0.G. Folberth, C. Hackl, Hrsg.) — Fachberichte & Referate Band 18 R. Oldenbourg Verlag, München 1986; 17–52Google Scholar
  5. [5]
    I.M. Bochenski: A History of Formal Logic. Univ. of Notre Dame Press, Notre Dame IN 1961; 567 pp. Deutsch: Formale Logik. Karl Alber Verlag, Freiburg i.B. 1956Google Scholar
  6. [6]
    G. Boole: The Mathematical Analysis of Logic. McMillan, Cambridge 1847. Neudruck: Blackwell, Oxford 1948Google Scholar
  7. G. Boole: An Investigation of the Laws of Thought. ( 1854 ). Reprint Dover Publ. New York 1958Google Scholar
  8. [7]
    N. Whitehead, B. Russell: Principia Mathematica. Cambridge Univ Press 1913; 3 BändeGoogle Scholar
  9. [8]
    M. Kline: Mathematics — The Loss of Certainty. Oxford Univ Press, New York 1980; 366 PP.Google Scholar
  10. [9]
    H. Zemanek: Hollerith und Schäffer — Datenverarbeitung um 1890. Drei Nationen werden elektrisch gezählt. In: Elektrotechnik im Wandel der Zeit (ILA. Wessel, Hrsg.) VDE-Kolloquium 1986, VDE-Verlag Berlin 1986; 95–115Google Scholar
  11. [10]
    D. Hilbert, W. Ackermann: Grundzüge der theoretischen Logik. Grundlehren der mathematischen Wissenschaften, Band 27. Springer Berlin 1928Google Scholar
  12. [11]
    K. Zuse: Der Plankalkül. Berichte der GMD Band 63 1972; 285 pp.MathSciNetGoogle Scholar
  13. FL. Bauer, H. Wössner: Zuses „Plankalkül“, ein Vorläufer der Programmiersprachen — gesehen vom Jahre 1972. Elektron. Rechenanlagen 14 (1972) 111–118zbMATHGoogle Scholar
  14. [12]
    A. Nakasima: Theory of Relay Circuit Composition. Nippon Electric Communication Engineeering 3 (1936) 197–226. Japanisch: JITTEJ 150, September 1935Google Scholar
  15. [13]
    A. Nakasima: Some properties of the Group of Simple Partial Paths in the Relay Circuit. Nippon Electric Communication Engineeering 5 (1937) 70–71. Japanisch: JITTEJ 1936Google Scholar
  16. A. Nakasima, M. Hanzawa: The Theory of Equivalent Transformation of Simple Partial Paths in the Relay Circuit. Nippon Electric Communication Engineeering 9 (1938) 32–39. Japanisch: JIECE 165, 167 1937 (J Inst El Commun Engrs)Google Scholar
  17. [13]
    A. Nakasima: The Theory of Four-Terminal Passive Networks in Relay Circuits. Nippon Electric Communication Engineeering 9 (1938) 178–179. Japanisch: JIECE IVVI 1937 A. Nakasima: Algebraic Expressions Relative to Simple Partial Paths in the Relay Circuit. Nippon Electric Communication Engineering 12 (1938) 310–314. Japanisch: JIECE 173,VIH 1937Google Scholar
  18. A. Nakasima: The Theory of Two Point Impedance of Passive Networks in the Relay Circuit. Nippon Electric Communication Engineeering 13 (1938) 405–412. Japanisch: JIECE 177, XII 1937 & 178, I 1938Google Scholar
  19. A. Nakasima: The Transfer Impedance of Four-Terminal Passive Networks in the Relay Circuit. Nippon Electric Communication Engineeering 14 (1938) 459–466. Japanisch: JIECE 179, II 1938Google Scholar
  20. A. Nakasima: Expansion Theorem and Design of Two-Terminal Relay-Networks (Part I). Nippon Electric Communication Engineeering 24 (1941) 203–210. Japanisch: JIECE 206, V 1940Google Scholar
  21. [14]
    C.E. Shannon: A Symbolic Analysis of Relay and Switching Circuits. Transact. AIEE 57 (1938) Suppl. 713–723Google Scholar
  22. [15]
    C.E. Shannon: The Synthesis of Two-terminal Switching Circuits. Bell System Techn. J. 28 (1949) 59–98MathSciNetGoogle Scholar
  23. [16]
    Staff of Harvard Computation Laboratory: Synthesis of Electric Computing and Control Circuits. Annals of the Computation Laboratory Vol. XXVII Harvard Univ Press, Cambridge MA 1951; 278 pp.Google Scholar
  24. [17]
    H. Piesch: Begriffe der allgemeinen Schaltungstechnik. Archiv El 33 (1939) 678–686Google Scholar
  25. H. Piesch: Über die Vereinfachung von allgemeinen Schaltungen. Archiv El 33 (1939) 733746Google Scholar
  26. [18]
    O. Plechl: Die Kombinatorik der Strompfade elektromechanischer Schaltungen. Diss. TH Wien, 1944Google Scholar
  27. O. Plechl, A. Duschek: Grundzüge einer Algebra der elektrischen Schaltungen. Österr. Ing. Archiv 1 (1946) 203–230MathSciNetzbMATHGoogle Scholar
  28. A. Duschek: Über eine neue Art von algebraischen Bereichen. Monatsh. f. Math. 52 (1947) 89MathSciNetGoogle Scholar
  29. [19]
    O. Plechl (ergänzt von W. Rieder ): Elektromechanische Schaltungen und Schaltgeräte. Springer Verlag Wien 1956; 224 pp.Google Scholar
  30. [20]
    A. Ritter: Beiträge zur Schaltlehre. Dissertation an der TH Wien 1938Google Scholar
  31. A. Ritter: Verfahren zur Entwicklung von Kehrschaltungen. Archiv El. 35 (1941) 299CrossRefGoogle Scholar
  32. [21]
    J. Piesch, H. Sequenz: Österreichische Wegbereiter der Theorie der elektrischer Schaltungen. EuM 75 (1958) 241–245Google Scholar
  33. [22]
    M. Boda: Die Stromlaufformeln und ihre Anwendung. ZS des Österr. Ing & Arch Vereins 49 (1897) 620Google Scholar
  34. [23]
    R. Lischke: Schaltlehre. Hackmeister & Thal, Leipzig 1911Google Scholar
  35. [24]
    R. Edler: Schaltlehre. M. Jänecke Verlag, Hannover 1905; 192 pp. 3. Aufl. Deuticke Verlag, Wien 1952; 208 pp.Google Scholar
  36. [25]
    M.G. Cimbalisty: K voprosu o racional’nom sostavlenij relejnych schem. (Über den ökonomischen Entwurf von Relaisnetzwerken) Trudy Leningradskoj Eksperimental’noj Elektrotechnineskoj Laboratorij 8 (1928) 18–31Google Scholar
  37. [26]
    V.I. Schestakov: Algebra dvuchpoljusnych schem postroennych isklucitel’no iz dvuchpoljusmkov (Die Algebra der Zweipole aus zweipoligen Elemten). A.i.T. 2 (1941) 532–549Google Scholar
  38. V.I. Schestakov: Ob odnom simbolteskom… (Über einen symbolischen Kalkül, der auf die Theorie elektrischer Relaisschaltungen anwendbar ist). Utenye Zapisky MOU 73 (1944) 45–48Google Scholar
  39. [27]
    M.A. Gavrilov: Metody sinteza relejno-kontaktnych schem (Methoden der Synthese von Kontaktschaltungen). Elektricestvu 2 (1945) 54–59Google Scholar
  40. [28]
    A.G. Lunc (Lunts): Prilozenie matricnoj bulevoj algebry k analizu i sintezu kontaktnych schem (Die Anwendung Boole’ scher Matrixalgebra für die Analyse und Synthese von Relaiskontaktschaltungen) D.AN. 70 (1950) 421–423MathSciNetzbMATHGoogle Scholar
  41. [29]
    H. Zemanek: Logische Algebra und Theorie der Schaltnetzwerke. In: Taschenbuch der Informatik (H. Steinbuch, W. Weber, Hrsg.) Band II, 3. Auflage; Springer-Verlag, Heidelberg 1974; 1–63Google Scholar
  42. [30]
    H. Zemanek: Schaltalgebra. NTF 3 (1956) 93–113Google Scholar
  43. [31]
    H. Zemanek: Schaltalgebra. Radio Technik 31 (1955) 201–209Google Scholar
  44. [32]
    H. Zemanek: Die Lösung von Gleichungen in der Schaltalgebra. Archiv El. Übertr. 12 (1958) 35–44Google Scholar
  45. [33]
    A. Macfarlane: Application of the Method of the Logical Spectrum to Boole’s Problem. Proc. Amer. Assoc. for the Advancement of Science (1891) 57–60Google Scholar
  46. [34]
    L. Couffignal: Les machines à penser. Editions du minuit, Paris 1952. Deutsch: Denkmaschinen. ’Clipper Verlag, Stuttgart 1955; 186 pp.Google Scholar
  47. [35]
    M. Karnaugh: The Map Method for Synthesis of Combinatorial Logic Circuits. Comm. & Electronics 9 (1953) 593–599MathSciNetGoogle Scholar
  48. [36]
    E.W. Veitch: A Chart Method for Simplifying Truth Functions. Proc. Ass. Comp. Machinery 1952, 128–133Google Scholar
  49. [37]
    W. Händler: Ein Minimisierungsverfahren zur Synthese von Schaltkreisen ( Minimisierungsgraphen ). Dissertation TH Darmstadt 1958.Google Scholar
  50. [38]
    W.V. Quine: The Problem of Simplifying Truth Functions. American Math. Monthly 59 (1952) 521–531MathSciNetzbMATHCrossRefGoogle Scholar
  51. W.V. Quine: A way to Simplify Truth Functions. American Math. Monthly 62 (1955) 627631Google Scholar
  52. [39]
    EJ. McCluskey Jr.: Minimization of Boolean Functions. Bell System Techn. J. 35 (1956) 1417–1444MathSciNetGoogle Scholar
  53. [40]
    V. Kudielka: Programmierung von Minimisierungsverfahren für zweistellige Logik. In: 2. Kolloquium über Schaltkreis und Schaltwerktheorie Saarbrücken 1961 (J. Dörr et al., Hrsg.) 49–65 Birkhäuser, Basel-Stuttgart 1963Google Scholar
  54. V. Kudielka: Ein Verfahren zur Ermittlung aller nichtredundanten zweistufigen Darstellungen einer logischen Funktion. Elektron. Rechenanlagen 5 (1963) 11–21zbMATHGoogle Scholar
  55. [41]
    M. Gardner: Logic Machines and Diagrams. McGraw-Hill Book Comp., New York 1958; 157 ppzbMATHGoogle Scholar
  56. [42]
    H. Zemanek: Logistische Rechenmaschinen unter besonderer Berücksichtigung der LRR 1 des Instituts für Niederfrequenztechnik der TH Wien. NTF 4 (1956) 247–212Google Scholar
  57. [43]
    R. Tarjan: Logische Maschinen. In: Digitale Informationswandler ( W Hoffmann, Hrsg.) Vieweg, Braunschweig 1962; 110–159Google Scholar
  58. [44]
    A. Pastore: Logica formale, dedotta della considerazione di modelli meccanici. Torino 1906. Buchbesprechung A. Lalande Revue phiL de la France et de l’étranger 63 (1907) 268Google Scholar
  59. [45]
    B. Burack: An Electrical Logic Machine. (gebaut 1936 !) Science 109 (1949) 610Google Scholar
  60. [46]
    W Burkhart: Electrical Analysis of Truth Functions. Thesis Harvard 1947Google Scholar
  61. E.C. Berkeley: Giant Brains or Machines That Think. Chapter 9. The Logical Truth Calculator by Kalin Burkhart J. Wiley, New York 1949; 144–166Google Scholar
  62. [47]
    D.H. Prinz, J.B. Smith: Machines for the Solution of Logical Problems. In: Faster Than Thought ( B.V. Bowden, Ed.) Pitman & Sons, London 1953; 181–198Google Scholar
  63. [48]
    M.D. McCallum, J.B. Smith: Mechanized Reasoning: Logical Computers and Their Design. Electronic Engineering 23 (1951) No. 278, 126–133MathSciNetGoogle Scholar
  64. [49]
    M.D. McCallum, J.B. Smith: Feedback Logical Computers. Electronic Engineering 23 (1951) No. 286, 458–461MathSciNetGoogle Scholar
  65. [50]
    D. Bobrow: A Symbolic Logic Machine to Minimize Boolean Functions. Scientific Project, Bronx Highschool of Science, 1953Google Scholar
  66. [51]
    C.E. Shannon, E.F. Moore: Machine Aid for Switching Circuit Design. Proc. I.R.E. 41 (1953) 1348–1351MathSciNetCrossRefGoogle Scholar
  67. [52]
    T. Nemes: Logical Machine for Recognizing Class and Causal Relations Genetically. Acta Technica Acad. Sci. Hung. VII (1953) 3–17 Proc. I.R.E. 41 (1953) 1348–1351Google Scholar
  68. [53]
    J. Weipoltshammer: Die logistische Relaisrechenmaschine LRR 1. Staatprüfungsarbeit an der TH Wien 1954Google Scholar
  69. [54]
    A.W. Burks, D.W. Warren, J.B. Wright: An Analysis of a Logical Machine Using Parenthesis-free Notation. Math. Tables and other Aids to Computation 8 (1954) 53–57 W. Miehle: Bourroughs Truth Functions Evaluator. J. ACM 4 (1957) 189–192 Google Scholar
  70. [55]
    L. Kalmâr: A New Principle of Construction of Logical Machines. In: Proc. 2nd Internat. Congress on Cybernetics, Naumur 1958 Gauthier Villars, Paris 1960; 458–463Google Scholar
  71. [56]
    VN. Rodin: Elektronischer Analysator für Kontaktschaltungen. Automatika i Telemechanika 18 (1958) 438–443Google Scholar
  72. [57]
    A.A. Archangelskaya: Eine Maschine für die Synthese von Kontaktnetzwerken. Sbomik problemy peredaéi informacii 1 (1959) 41–52Google Scholar
  73. [58]
    V.N. Roginsky: Eine Maschine für den Entwurf von Relaisschaltungen. Vestnik Akademii Nauk SSSR 10 (1958) 71–73Google Scholar
  74. [59]
    R. Tarjan: On the Instrumentation of Logical Problems. Acta Technica Acad. Sci. Hung. XXVII (1959) 371–383Google Scholar
  75. [60]
    B. Madarâsz: Logical Machine for Automatically Setting Up an Equivalent Relay Network. Acta Technica Acad. Sci. Hung. XX VII (1961)Google Scholar
  76. [61]
    H. Sedldek: Demonstrationsmodell für logische Algebra. Staatsprüfungsarbeit an der TH Wien 1961Google Scholar
  77. [62]
    F.L. Bauer: The Cellar Principle of State Transition and Storage Allocation. Annals of the History of Computing 12 (1990) 41–49zbMATHCrossRefGoogle Scholar
  78. [63] EL. Bauer: The Formula-controlled Logical Computer STANISLAUS. Math. Tables and Other Aids to Comp. 14 (1960)
    -67. Deutsch: Der formelgesteuerte Computer STANISLAUS. Elektron. Rechenanlagen 25 (1983) 36–38Google Scholar
  79. [64]
    F.L. Bauer, K. Samelson: The Cellar Principle for Formula Translation. In: ICIP 1959-UNESCO/Oldenbourg/Butterworth 1960; 154–155Google Scholar
  80. [65]
    K. Samelson und F.L. Bauer: Verfahren zur automatischen Verarbeitung von codierten Daten und Rechenmaschinen zur Ausübung des Verfahrens. Deutsches Patent Nr. B 44 122 IX 42m vom 30 März 1957Google Scholar
  81. [66]
    R. Feldtkeller: Die Gruppenlaufzeit elektrischer Übertragungssysteme. Veröfftl. aus d. Gebiet der Nachrichtentechnik 5 (1935) 21–29Google Scholar
  82. [67]
    H. Zemanek: Sequentielle asynchrone Logik. Elektron. Rechenanlagen 4 (1962) 248–253zbMATHGoogle Scholar
  83. [68]
    D.A. Huffman: Design of Hazard-free switching Circuits. J. ACM 4 (1957) 47–62MathSciNetCrossRefGoogle Scholar
  84. [69]
    D.A. Huffman: The Synthesis of Sequential Switching Circuits. J. Franklin Institute 257 (1954) 161–190, 275–303CrossRefGoogle Scholar
  85. [70]
    C.A. Petri: Kommunikation mit Automaten. Schriften des Rhein. Westf. Institutes für Instrumentelle Mathematik an der Universität Bonn 2 (1962)Google Scholar
  86. C.A. Petri: Fundamentals of a Theory of Asynchronous Information Flow. In: IFIP Congress 62-North Holland, Amsterdam 1963; 386–390Google Scholar
  87. K. Zuse: Petri-Netze aus der Sicht des Ingenieurs. Vieweg, Braunschweig 1980; 93 pp.Google Scholar
  88. [71]
    A. Holt Introduction to Occurrence Systems. Manuskript 1968, 62 pp.Google Scholar
  89. [72]
    H. Reichenbach: Wahrscheinlichkeitslogik. Sitzungsberichte Preuss. Akad., Phys. Math. Klasse (1932) 476–488Google Scholar
  90. [73]
    R.W. Hamming: Error Detecting and Error Correcting Codes. Bell System Techn. J. 29 (1950) 147–160MathSciNetGoogle Scholar
  91. [74]
    C.E. Shannon: Communication Theory of Secrecy Systems. Bell Syst. Techn. J. 28 (1949) 656–716MathSciNetzbMATHGoogle Scholar
  92. [75]
    F.L. Bauer: Cryptology-Methods and Maxims. In: Cryptography (Th. Bath, Ed) Lecture Notes in Computer Sciences Vol. 149 Springer-Verlag, Berlin 1983Google Scholar
  93. [76]
    E.F. Moore, C.E. Shannon: Reliable Circuits Using Less Reliable Relays. J. Franklin Inst. 262 (1956) 191–208, 281–297CrossRefGoogle Scholar
  94. [77]
    J. von Neumann: Probablistic Logics and the Synthesis of Reliable Systems From Unreliable Components. In: Automata Studies, Annals of Math. Studies 34; 43–98 Princeton Univ. Press, Princeton NJ 1956.Google Scholar
  95. [78]
    W.S. McCulloch, W. Pitts: A Logical Calculus of the Ideas Immanent in Nervous Activity. Bull. Math. Biophysics 5 (1943) 115–133MathSciNetzbMATHCrossRefGoogle Scholar
  96. [79]
    H. Zemanek: Zur Störverminderung imperfekter Schaltnetzwerke. Habilitationsarbeit, Techn. Hochschule Wien 1958; 96 pp.Google Scholar
  97. [80]
    H. Zemanek: A Contribution to the Theory of Unreliable Logical Networks. In: Proc. of the First IFAC Congress, Moscow 1960. Butterworths, London 1961; 845–852. Auch auf Russisch erschienenGoogle Scholar
  98. [1]
    F.L. Bauer, K. Samelson: Maschinelle Verarbeitung von Programmsprachen. In: Digitale Informationswandler ( W. Hoffmann, Hrsg.) Vieweg, Braunschweig 1962; 227–268Google Scholar
  99. [2]
    J. Eickel, M. Paul: The Parsing and Ambiguity Problem for Chomsky-Languages. In: Formal Language Description Languages for Computer Programming ( T.B. Steel, Jr, Ed) North Holland, Amsterdam 1966; 52–75Google Scholar
  100. [3]
    F.L. Bauer: From Scientific Computation to Computer Science. In: A Skyline of Information Processing. Proc. Tenth Anniv. Celebrations of IFIP, Amsterdam 1970 North Holland, Amsterdam 1972; 57–71Google Scholar
  101. [4]
    F.L. Bauer: Between Zuse and Rutishauser. In: A History of Computing in the Twentieth Century ( Proc. Los Alamos Conference, N. Metropolis et al, Eds.) Academic Press, New York 1980; 505–524Google Scholar
  102. [5]
    F.L. Bauer: Algorithms and Algebra. In: Algorithms in Modem Mathematics and Computer Science (Urgench Conference 1979, A. Ershov, D. Knuth, Eds.) Springer LN in Computer Sciences Vol. 183 1981; 421–429Google Scholar
  103. [6]
    F.L. Bauer: Woher kommt und wohin geht die Informatik? In: Die Rolle abstrakter Modelle in der Inf. Verarbeitung (Heinz Zemanek - Ein Computerpionier, G. Chroust, Hrsg.) R. Oldenbourg Wien 1985; 41–53 Englisch: Where Does Computer Science Come From and Where is it Going? In: Formal Models in Programming - Proceedings of the IFIP TC Conference on The Role of Abstract Models in Information Processing, Vienna JAN 1985 (Ei. Neuhold, G. Chroust, Eds.) North Holland, Amsterdam 1985; 31–44 Google Scholar
  104. [7]
    F.L. Bauer: Ratiocination and Intuition in the Programming Process. In: A Quarter Century of IFIP-The IFIP Silver Summary Proc. 25th Anniv. Celebration of IFIP, Munich 1985 North Holland, Amsterdam 1986; 177–186Google Scholar
  105. [8]
    H. Zemanek: Laudatio für F.L. Bauer. Anläßlich der Verleihung der Ehrenmitgliedschaft der GI am 22. Oktober 1987 Informatik Spektrum 11 (1988) 3–8Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Heinz Zemanek

There are no affiliations available

Personalised recommendations