Gunther Schmidt (nacido en 1939, Rüdersdorf ) es un matemático alemán que también trabaja en informática .
La vida
Schmidt comenzó a estudiar Matemáticas en 1957 en la Universidad de Göttingen . Sus profesores académicos fueron en particular Kurt Reidemeister, Wilhelm Klingenberg y Karl Stein. En 1960 se trasladó a Ludwig-Maximilians-Universität München donde estudió funciones de varias variables complejas con Karl Stein . Schmidt escribió una tesis sobre la continuación analítica de tales funciones.
En 1962, Schmidt comenzó a trabajar en TU München con estudiantes de Robert Sauer, al principio en laboratorios y tutorías, luego en tutoría y administración. Los intereses de Schmidt se volvieron hacia la programación cuando colaboró con Hans Langmaack en la reescritura y el grupo de trenzas en 1969. Friedrich L. Bauer y Klaus Samelson estaban estableciendo ingeniería de software en la universidad y Schmidt se unió a su grupo en 1974. En 1977 presentó sus Programas de habilitación " como gráficos parciales ". [1]
Se convirtió en profesor en 1980. Poco después, fue designado para ocupar la presidencia del difunto Klaus Samelson durante un año y medio. Desde 1988 hasta su jubilación en 2004, ocupó una cátedra en la Facultad de Ciencias de la Computación de la Universität der Bundeswehr München . Fue instructor de aula para cursos de iniciación y cursos especiales de lógica matemática , semántica de lenguajes de programación , construcción de compiladores y lenguajes algorítmicos . Trabajando con Thomas Strohlein, fue autor de un libro de texto sobre relaciones y gráficos , publicado en alemán en 1989 e inglés en 1993 y nuevamente en 2012.
En 2001 se involucró en un gran proyecto (17 países) con la Cooperación Europea en Ciencia y Tecnología : [2] Schmidt fue presidente del proyecto COST 274 TARSKI (Teoría y Aplicación de Estructuras Relacionales como Instrumentos de Conocimiento). [3]
En 2014 se organizó un festschrift para celebrar su 75 aniversario. [4]
El cálculo de relaciones tuvo un perfil relativamente bajo entre los temas matemáticos en el siglo XX, pero Schmidt y otros han elevado ese perfil. El orden parcial de las relaciones binarias se puede organizar agrupando por cierre . En 2018, Schmidt y Michael Winter publicaron Relational Topology, que revisa las estructuras matemáticas clásicas , como las operaciones binarias y el espacio topológico , a través de la lente del cálculo de relaciones.
Trabaja
En 1981 participó en la Escuela Internacional de Verano Marktoberdorf , y editó las notas de la conferencia Theoretical Foundations of Programming Methodology con Manfred Broy . [5]
Gunther Schmidt es conocido principalmente por su trabajo sobre matemáticas relacionales; fue cofundador de la serie de conferencias RAMiCS en 1994.
Sus libros de texto sobre cálculo de relaciones exhiben aplicaciones y potencial de lógica algebraica .
Libros
- 1989: (con T. Ströhlein) Relationen und Graphen , Mathematik für Informatiker, Springer Verlag, ISBN 3-540-50304-8 , ISBN 0-387-50304-8
- 1993: (con T. Ströhlein) Relaciones y gráficos Matemáticas discretas para científicos informáticos, EATCS Monografías sobre informática teórica, Springer Verlag, ISBN 3-540-56254-0
- 2011: Matemáticas relacionales , Enciclopedia de las matemáticas y sus aplicaciones, vol. 132, Cambridge University PressISBN 978-0-521-76268-7 [6]
- 2018: (con M. Winter) Topología relacional , Lecture Notes in Mathematics vol. 2208, Springer Verlag, ISBN 978-3-319-74451-3
- 2020: Rückblick auf die Anfänge der Münchner Informatik , Die blaue Stunde der Informatik, Springer-Vieweg, ISBN 978-3-658-28754-2 , ISBN 978-3-658-28755-9
Editores
- 2006: (con de Swart, HCM , Orłowska, E. y Roubens, M. ) [7] Teoría y aplicación de estructuras relacionales como instrumentos de conocimiento II , volumen de resumen de la acción COST 274: TARSKI, notas de la conferencia en computadora Ciencia # 4342, Springer ISBN 3-540-69223-1 , ISBN 978-3-540-69223-2
- 2003: (con de Swart, HCM, Orłowska, E. y Roubens, M.) Teoría y aplicación de estructuras relacionales como instrumentos de conocimiento , Volumen inicial de la Acción COST 274: TARSKI, Lecture Notes in Computer Science # 2929, Springer, ISBN 3-540-20780-5
- 2001: (con Parnas, D. , Kahl, W. ) [8] Métodos relacionales en software, Edición especial de notas electrónicas en informática teórica , vol. 44, números 3, ISSN 1571-0661
- 1999: (con Jaoua, A. ) [9] Métodos relacionales en informática, Número especial de Ciencias de la información , vol. 119, números 3 + 4, Elsevier
- 1997: con Brink, C. , Kahl, W .: Métodos relacionales en Ciencias de la Computación , Avances en Ciencias de la Computación. Saltador ISBN 3-211-82971-7
- 1994: (con Mayr, EW y Tinhofer, G.) Conceptos teóricos de gráficos en ciencias de la computación , vol. 903 de Lecture Notes in Computer Science , Proc. 20º Pasante. Workshop WG '94, 17-19 de junio, Herrsching, Springer 1994, ISBN 3-540-59071-4
- 1991: (con Berghammer, R. ) Conceptos teóricos de gráficos en ciencias de la computación , vol. 570 de Lecture Notes in Computer Science, Proc. 17º Becario. Workshop WG '91, 17-19 de junio, Richterheim Fischbachau, Springer 1991, ISBN 3-540-55121-2 , ISBN 0-387-55121-2
- 1987: (con Tinhofer, G ) [10] Conceptos teóricos de gráficos en ciencias de la computación vol. 246 de Lecture Notes in Computer Science, Proc. 12º Becario. Workshop WG '86, del 17 al 19 de junio, Kloster Bernried, Springer, ISBN 3-540-17218-1 , ISBN 0-387-17218-1
- 1982: (con Broy, M. ) Fundamentos teóricos de la metodología de programación . Editores Reidel, ISBN 90-277-1460-6 .
- 1981: (con Bauer, FL ) Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages , Springer
Referencias
- ^ R. Berghammer y M. Winter (2004) "La vida de Gunther Schmidt como matemático y científico de la computación", Revista de métodos lógicos y algebraicos en programación 83: 300 a 308
- ^ sobre la cooperación europea en ciencia y tecnología
- ^ "COSTE 274 TARSKI" . Archivado desde el original el 23 de julio de 2015 . Consultado el 4 de enero de 2015 .
- ^ Berghammer, R., Möller, B., Winter, M. (2014) Festschrift en honor a Gunther Schmidt con motivo de su 75 cumpleaños , número especial de la revista Journal of Logical and Algebraic Methods in Programming
- ^ Escuela de verano Marktoberdorf (1982). Broy, Manfred; Schmidt, Gunther (eds.). Fundamentos teóricos de la metodología de programación: notas de la conferencia de una escuela de verano internacional, 1981 . Serie de Institutos de Estudios Avanzados de la OTAN . 91 . Reidel . Consultado el 20 de febrero de 2019 .
- ^ Anuncio de CUP para matemáticas relacionales
- ^ "Copia archivada" . Archivado desde el original el 12 de mayo de 2013 . Consultado el 6 de enero de 2015 .CS1 maint: copia archivada como título ( enlace )
- ^ "Página de inicio de Wolfram Kahl" .
- ^ "Copia archivada" . Archivado desde el original el 6 de marzo de 2011 . Consultado el 12 de enero de 2015 .CS1 maint: copia archivada como título ( enlace )
- ^ "TUM - Mathematik - M9" .
enlaces externos
- Página de inicio de la Universität der Bundeswehr München con acceso a una lista completa de publicaciones y charlas
- Gunther Schmidt en el servidor de bibliografía DBLP
- Gunther Schmidt en Autoridades de la Biblioteca del Congreso
- Página de perfil del autor de Gunther Schmidt en la Biblioteca digital de ACM
- investigador
- Berghammer, Rudolf; Invierno, Michael (2014). "La vida de Gunther Schmidt como matemático e informático" . Revista de métodos lógicos y algebraicos en programación . 83 (2): 300–308. doi : 10.1016 / j.jlap.2014.02.015 .