www.wikidata.de-de.nina.az

Wolfram Menzel 6 Juli 1933 in Marienbad 5 Oktober 2022 in Karlsruhe 1 war ein Informatiker und Mathematiker der bis zu s

Wolfram Menzel

Wolfram Menzel (* 6. Juli 1933 in Marienbad; † 5. Oktober 2022 in Karlsruhe) war ein Informatiker und Mathematiker, der bis zu seiner Emeritierung im Jahr 2001 an der Universität Karlsruhe im Bereich der Theoretischen Informatik tätig war.

Wolfram Menzel

Leben Bearbeiten

Menzel wurde 1933 in Marienbad in Tschechien geboren. Während des Zweiten Weltkriegs zog die Familie nach Eger (Cheb) in Tschechien. Dort besuchte er ein Gymnasium, doch regelmäßige Bombenabwürfe ab Oktober 1944 machten einen Abschluss unmöglich. In Bayern und später Hessen setzte er seine Ausbildung fort; in Darmstadt legte er dann 1952 sein Abitur ab. Danach studierte er Mathematik, Physik und Philosophie in Frankfurt am Main, wo er 1956 sein Diplom in Mathematik erhielt und 1959 im Bereich der Gruppentheorie promoviert wurde. Ab 1965 war Menzel wissenschaftlicher Mitarbeiter am Institut für Nachrichtenverarbeitung und Nachrichtenübertragung der Universität Karlsruhe. Im Jahr 1969 habilitierte er auch dort für das Fach Informatik und unterrichtete ab 1972 im Bereich der Theoretischen Informatik. Im Oktober 2001 wurde Menzel emeritiert und wohnte bis zu seinem Lebensende in der Nähe von Karlsruhe, wo er am 5. Oktober 2022 verstarb.

Veröffentlichungen Bearbeiten

Mathematik und Informatik Bearbeiten

Menzels naturwissenschaftliche Veröffentlichungen sind:

  • Über den Untergruppenverband einer Abelschen Operatorgruppe. Teil I: m-Verbände. W. Menzel. Math. Zeitschrift 74, 39–51. 1960
  • Über den Untergruppenverband einer Abelschen Operatorgruppe, Teil II: Distributive und m-Verbände einer Abelschen Operatorgruppe. W. Menzel. Math. Zeitschrift 74, 52–65. 1960
  • Ein Kriterium für die die Distributivität des Untergruppenverbands einer Abelschen Operatorgruppe. W. Menzel. Math. Zeitschrift 75, 271–276. 1960
  • Zur technischen Simulierbarkeit von Bewusstsein. W. Menzel. In: S. Moser, S. J. Schmidt (Hrsg.): Information und Kommunikation, 23. Internationale Hochschulwochen Alpbach, Oldenbourg Verlag, München Wien. 1968
  • Theorie der Lernsysteme. Springer Verlag, Berlin Heidelberg New York. W. Menzel. 1970
  • An Extension of the Theory of Learning Systems. W. Menzel. Acta Informatica 2, 357–381. 1973
  • Über Schwierigkeiten mit Namen. Universität Karlsruhe, Fakultät Informatik. 1975
  • Embedding Properties of Total Recursive Functions. W. Maier, W. Menzel, V. Sperschneider. Zeitschrift für math. Logik und Grundlagen der Mathematik 28, 565–574. 1982
  • Universal Automata with Uniform Bounds on Simulation Time. W. Menzel und V. Sperschneider. Information and Control 52, 19–35. 1982
  • Recursively Enumerable Extensions of R1 by Finite Functions. W. Menzel und V. Sperschneider. Lecture Notes of Computer Science, LNCS 171, 62–76. Springer Verlag. 1984
  • Versuch einer sprachphilosophischen Analyse: Reflexion und Rekursion. In: H. M. Gauger, H. Heckmann (Hrsg.): Wir sprechen anders. Warum Computer nicht sprechen können. S. Fischer Verlag, Frankfurt. 1987
  • Programmverifikation und Künstliche Intelligenz. W. Menzel und W. Stephan. In: H. Henn (Hrsg.): Technologie, Wachstum und Beschäftigung. Festschrift für Lothar Späth. Springer Verlag, 256–263. 1987
  • Der Karlsruhe Interactive Verifier (KIV) – Eine Übersicht. M. Heisel, W. Menzel, W. Reif. In: H. Kersten (Hrsg.): Sichere Software – Formale Spezifikation und Verifikation vertrauenswürdiger Systeme. Hüthig Verlag, Heidelberg. 172–193. 1990
  • Denk-Maschine. Zur Geschichte und zu Streitpositionen um die Künstliche Intelligenz. In: Evangelische Akademie Baden(Hrsg.): Herrenalber Protokolle 85, 80–95. 1992
  • HARMONET: A Neural Net for Harmonizing Chorals in the Style of J. S. Bach. H. Hild, J. Feulner, W. Menzel. Advances in Neural Information Processing 4 (NIPS4), 267–274. 1992
  • Integrating Automated and Interactive Theorem Proving. W. Ahrendt, B. Beckert, R. Hähnle, W Menzel, W. Reif, G. Schellhorn, P. H. Schmitt. In: W. Bibel, P. H. Schmitt (Hrsg.), Automated Deduction – A Basis for Applications, vol. II, Kluwer Verlag, 97–116. 1998
  • Learning Musical Structure and Style with Neural Networks. H. Hörnel, W Menzel. Computer Music Journal 22, vol. 4, 44–62. 1998
  • Problem Solving with Neural Networks. W. Menzel. In: U. Ratsch, M. M. Richter, I.-O. Stamatescu (Hrsg.), Intelligence and Artificial Intelligence – An Interdisciplinary Debate. Springer, 163–177. 1998
  • Neuronale Netze zur Prognose von Finanzzeitreihen und Absatzzahlen. W. Menzel. In: G. Bol, G. Nakhaeizadeh, K.-H. Vollmer (Hrsg.), Datamining and Computational Finance. Physika-Verlag, 95–114. 2000
  • Bayesian Learning for Sales Rates Prediction for Thousands of Retailers. Th. Ragg, W. Menzel, W. Baum, M. Wigbers. Neurocomputing 43, 127–144. 2002
  • Mathematics Approach to Learning. W. Menzel. In: R. Kühn, R. Menzel, W. Menzel, U. Ratsch, M. M. Richter, I.-O. Stamatescu (Hrsg.), Adaptivity and Learning – An Interdisciplinary Debate, Springer, 111–113. 2003
  • Inductive versus Approximative Learning. W. Menzel, F. Stephan. In: R. Kühn, R. Menzel, W. Menzel, U. Ratsch. M. M. Richter, I.-O. Stamatescu (Hrsg.), Adaptivity and Learning – An Interdisciplinary Debate, Springer, 187–209. 2003
  • Topological Aspects of Numberings. W. Menzel, F. Stephan. Mathematical Logic Quarterly 49, 129–149. 2003
  • Classes with Easily Learnable Subclasses. S. Jain, W. Menzel, F. Stephan. Information and Computation 190, 81–99. 2004
  • The RIN: An RNA Integrity Number for Assigning Integrity Values to RNA Measurements. A. Schroeder, O. Mueller, S. Stocker, R. Salowsky, M. Leiber, M. Gassmann, S. Lightfoot, W. Menzel, M. Granzow, Th. Ragg. BMC Molecular Biology 2006, 7:3. 2006
  • KIV: Der Karlsruhe Interactive Verifier. W. Menzel. In: B. Reuse, R. Vollmar (Hrsg.), Informatikforschung in Deutschland, Springer, 56–57 und 188–197. 2008

Literarische Veröffentlichungen Bearbeiten

Zwischen 1956 und 1985 veröffentlichte Menzel auch Gedichte, welche in unterschiedlichen Sammlungen, Zeitschriften und Anthologien erschienen. Zwei Gedichtbände, die diese Werke gesammelt enthalten, sind ebenfalls veröffentlicht worden. Der erste Band erschien 1985 in Karlsruhe unter dem Titel „der rand der spott“, der zweite Band „nicht oder anders“ im Jahr 2008 in Halle (Saale), wobei der zweite eine modifizierte Neuauflage des ersten ist.

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. Priscilla Wee: KIT – Fakultät für Informatik – Aktuelles - Newsarchiv - Fakultät trauert um Professor Wolfram Menzel. 10. Oktober 2022, abgerufen am 13. Oktober 2022 (deutsch).
  2. ↑ Schicksale und Gesichter von Cheb: Prof. em. Dr. Wolfram Menzel Abgerufen am 20. Mai 2016.
  3. Fliegeralarm in Eger 1940 – 1945 Eger und Egerland. Abgerufen am 24. Mai 2016.
  4. Jahresbericht der Fakultät für Informatik 2001 Universität Karlsruhe (TH) Fakultät für Informatik. Abgerufen am 24. Mai 2016.
Personendaten
NAME Menzel, Wolfram
KURZBESCHREIBUNG deutscher theoretischer Informatiker
GEBURTSDATUM 1933
GEBURTSORT Marienbad
STERBEDATUM 5. Oktober 2022
STERBEORT Karlsruhe
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Wolfram Menzel 6 Juli 1933 in Marienbad 5 Oktober 2022 in Karlsruhe 1 war ein Informatiker und Mathematiker der bis zu seiner Emeritierung im Jahr 2001 an der Universitat Karlsruhe im Bereich der Theoretischen Informatik tatig war Wolfram Menzel Inhaltsverzeichnis 1 Leben 2 Veroffentlichungen 2 1 Mathematik und Informatik 2 2 Literarische Veroffentlichungen 3 Weblinks 4 EinzelnachweiseLeben BearbeitenMenzel wurde 1933 in Marienbad in Tschechien geboren Wahrend des Zweiten Weltkriegs zog die Familie nach Eger Cheb in Tschechien Dort besuchte er ein Gymnasium 2 doch regelmassige Bombenabwurfe ab Oktober 1944 3 machten einen Abschluss unmoglich In Bayern und spater Hessen setzte er seine Ausbildung fort in Darmstadt legte er dann 1952 sein Abitur ab 2 Danach studierte er Mathematik Physik und Philosophie in Frankfurt am Main wo er 1956 sein Diplom in Mathematik erhielt und 1959 im Bereich der Gruppentheorie promoviert wurde Ab 1965 war Menzel wissenschaftlicher Mitarbeiter am Institut fur Nachrichtenverarbeitung und Nachrichtenubertragung der Universitat Karlsruhe Im Jahr 1969 habilitierte er auch dort fur das Fach Informatik und unterrichtete ab 1972 im Bereich der Theoretischen Informatik Im Oktober 2001 wurde Menzel emeritiert und wohnte bis zu seinem Lebensende in der Nahe von Karlsruhe wo er am 5 Oktober 2022 verstarb 4 Veroffentlichungen BearbeitenMathematik und Informatik Bearbeiten Menzels naturwissenschaftliche Veroffentlichungen sind Uber den Untergruppenverband einer Abelschen Operatorgruppe Teil I m Verbande W Menzel Math Zeitschrift 74 39 51 1960 Uber den Untergruppenverband einer Abelschen Operatorgruppe Teil II Distributive und m Verbande einer Abelschen Operatorgruppe W Menzel Math Zeitschrift 74 52 65 1960 Ein Kriterium fur die die Distributivitat des Untergruppenverbands einer Abelschen Operatorgruppe W Menzel Math Zeitschrift 75 271 276 1960 Zur technischen Simulierbarkeit von Bewusstsein W Menzel In S Moser S J Schmidt Hrsg Information und Kommunikation 23 Internationale Hochschulwochen Alpbach Oldenbourg Verlag Munchen Wien 1968 Theorie der Lernsysteme Springer Verlag Berlin Heidelberg New York W Menzel 1970 An Extension of the Theory of Learning Systems W Menzel Acta Informatica 2 357 381 1973 Uber Schwierigkeiten mit Namen Universitat Karlsruhe Fakultat Informatik 1975 Embedding Properties of Total Recursive Functions W Maier W Menzel V Sperschneider Zeitschrift fur math Logik und Grundlagen der Mathematik 28 565 574 1982 Universal Automata with Uniform Bounds on Simulation Time W Menzel und V Sperschneider Information and Control 52 19 35 1982 Recursively Enumerable Extensions of R1 by Finite Functions W Menzel und V Sperschneider Lecture Notes of Computer Science LNCS 171 62 76 Springer Verlag 1984 Versuch einer sprachphilosophischen Analyse Reflexion und Rekursion In H M Gauger H Heckmann Hrsg Wir sprechen anders Warum Computer nicht sprechen konnen S Fischer Verlag Frankfurt 1987 Programmverifikation und Kunstliche Intelligenz W Menzel und W Stephan In H Henn Hrsg Technologie Wachstum und Beschaftigung Festschrift fur Lothar Spath Springer Verlag 256 263 1987 Der Karlsruhe Interactive Verifier KIV Eine Ubersicht M Heisel W Menzel W Reif In H Kersten Hrsg Sichere Software Formale Spezifikation und Verifikation vertrauenswurdiger Systeme Huthig Verlag Heidelberg 172 193 1990 Denk Maschine Zur Geschichte und zu Streitpositionen um die Kunstliche Intelligenz In Evangelische Akademie Baden Hrsg Herrenalber Protokolle 85 80 95 1992 HARMONET A Neural Net for Harmonizing Chorals in the Style of J S Bach H Hild J Feulner W Menzel Advances in Neural Information Processing 4 NIPS4 267 274 1992 Integrating Automated and Interactive Theorem Proving W Ahrendt B Beckert R Hahnle W Menzel W Reif G Schellhorn P H Schmitt In W Bibel P H Schmitt Hrsg Automated Deduction A Basis for Applications vol II Kluwer Verlag 97 116 1998 Learning Musical Structure and Style with Neural Networks H Hornel W Menzel Computer Music Journal 22 vol 4 44 62 1998 Problem Solving with Neural Networks W Menzel In U Ratsch M M Richter I O Stamatescu Hrsg Intelligence and Artificial Intelligence An Interdisciplinary Debate Springer 163 177 1998 Neuronale Netze zur Prognose von Finanzzeitreihen und Absatzzahlen W Menzel In G Bol G Nakhaeizadeh K H Vollmer Hrsg Datamining and Computational Finance Physika Verlag 95 114 2000 Bayesian Learning for Sales Rates Prediction for Thousands of Retailers Th Ragg W Menzel W Baum M Wigbers Neurocomputing 43 127 144 2002 Mathematics Approach to Learning W Menzel In R Kuhn R Menzel W Menzel U Ratsch M M Richter I O Stamatescu Hrsg Adaptivity and Learning An Interdisciplinary Debate Springer 111 113 2003 Inductive versus Approximative Learning W Menzel F Stephan In R Kuhn R Menzel W Menzel U Ratsch M M Richter I O Stamatescu Hrsg Adaptivity and Learning An Interdisciplinary Debate Springer 187 209 2003 Topological Aspects of Numberings W Menzel F Stephan Mathematical Logic Quarterly 49 129 149 2003 Classes with Easily Learnable Subclasses S Jain W Menzel F Stephan Information and Computation 190 81 99 2004 The RIN An RNA Integrity Number for Assigning Integrity Values to RNA Measurements A Schroeder O Mueller S Stocker R Salowsky M Leiber M Gassmann S Lightfoot W Menzel M Granzow Th Ragg BMC Molecular Biology 2006 7 3 2006 KIV Der Karlsruhe Interactive Verifier W Menzel In B Reuse R Vollmar Hrsg Informatikforschung in Deutschland Springer 56 57 und 188 197 2008Literarische Veroffentlichungen Bearbeiten Zwischen 1956 und 1985 veroffentlichte Menzel auch Gedichte welche in unterschiedlichen Sammlungen Zeitschriften und Anthologien erschienen Zwei Gedichtbande die diese Werke gesammelt enthalten sind ebenfalls veroffentlicht worden Der erste Band erschien 1985 in Karlsruhe unter dem Titel der rand der spott der zweite Band nicht oder anders im Jahr 2008 in Halle Saale wobei der zweite eine modifizierte Neuauflage des ersten ist Weblinks BearbeitenWebsiteEinzelnachweise Bearbeiten Priscilla Wee KIT Fakultat fur Informatik Aktuelles Newsarchiv Fakultat trauert um Professor Wolfram Menzel 10 Oktober 2022 abgerufen am 13 Oktober 2022 deutsch a b Schicksale und Gesichter von Cheb Prof em Dr Wolfram Menzel Abgerufen am 20 Mai 2016 Fliegeralarm in Eger 1940 1945 Eger und Egerland Abgerufen am 24 Mai 2016 Jahresbericht der Fakultat fur Informatik 2001 Universitat Karlsruhe TH Fakultat fur Informatik Abgerufen am 24 Mai 2016 Normdaten Person GND 132593300 lobid OGND AKS LCCN no2009072624 VIAF 57778363 Wikipedia Personensuche PersonendatenNAME Menzel WolframKURZBESCHREIBUNG deutscher theoretischer InformatikerGEBURTSDATUM 1933GEBURTSORT MarienbadSTERBEDATUM 5 Oktober 2022STERBEORT Karlsruhe Abgerufen von https de wikipedia org w index php title Wolfram Menzel amp oldid 239081520