Gunther Schmidt - Gunther Schmidt
Gunther Schmidt | |
---|---|
Nascer | 1939 |
Ocupação | matemático |
Gunther Schmidt (nascido em 1939, Rüdersdorf ) é um matemático alemão que também trabalha com informática .
Vida
Schmidt começou a estudar matemática em 1957 na Universidade de Göttingen . Seus professores acadêmicos foram em particular Kurt Reidemeister, Wilhelm Klingenberg e Karl Stein. Em 1960 ele foi transferido para Ludwig-Maximilians-Universität München, onde estudou funções de várias variáveis complexas com Karl Stein . Schmidt escreveu uma tese sobre a continuação analítica de tais funções.
Em 1962 Schmidt começou a trabalhar na TU München com alunos de Robert Sauer, no início em laboratórios e tutoriais, depois em mentoria e administração. Os interesses de Schmidt voltaram-se para a programação quando ele colaborou com Hans Langmaack na reescrita e no grupo de tranças em 1969. Friedrich L. Bauer e Klaus Samelson estavam estabelecendo a engenharia de software na universidade e Schmidt juntou-se ao grupo em 1974. Em 1977, ele apresentou seus "Programas de habilitação " como gráficos parciais ".
Ele se tornou professor em 1980. Pouco depois, foi nomeado para ocupar a cadeira do falecido Klaus Samelson por um ano e meio. De 1988 até sua aposentadoria em 2004, ele foi professor na Faculdade de Ciência da Computação da Universität der Bundeswehr München . Ele foi um instrutor em sala de aula para cursos para iniciantes, bem como cursos especiais em lógica matemática , semântica de linguagens de programação , construção de compiladores e linguagens algorítmicas . Trabalhando com Thomas Strohlein, ele escreveu um livro sobre relações e gráficos , publicado em alemão em 1989 e em inglês em 1993 e novamente em 2012.
Em 2001 ele se envolveu em um grande projeto (17 nações) com a Cooperação Europeia em Ciência e Tecnologia : Schmidt foi presidente do projeto COST 274 TARSKI (Teoria e Aplicação de Estruturas Relacionais como Instrumentos de Conhecimento).
Em 2014, um festschrift foi organizado para comemorar seus 75 anos.
O cálculo das relações teve um perfil relativamente baixo entre os tópicos matemáticos no século XX, mas Schmidt e outros elevaram esse perfil. A ordem parcial das relações binárias pode ser organizada por agrupamento por fechamento . Em 2018, Schmidt e Michael Winter publicaram Relational Topology que revisa estruturas matemáticas clássicas , como operações binárias e espaço topológico , através das lentes do cálculo de relações.
Trabalhar
Em 1981 ele participou da International Summer School Marktoberdorf , e editou as notas de aula Fundamentos Teóricos da Metodologia de Programação com Manfred Broy .
Gunther Schmidt é conhecido principalmente por seu trabalho em Matemática Relacional; ele foi cofundador da série de conferências RAMiCS em 1994.
Seus livros didáticos sobre cálculo de relações exibem aplicações e potencialidades da lógica algébrica .
Livros
- 1989: (com T. Ströhlein) Relationen und Graphen , Mathematik für Informatiker, Springer Verlag, ISBN 3-540-50304-8 , ISBN 0-387-50304-8
- 1993: (com T. Ströhlein) Relations and Graphs Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, Springer Verlag, ISBN 3-540-56254-0
- 2011: Relational Mathematics , Encyclopedia of Mathematics and its Applications, vol. 132, Cambridge University Press ISBN 978-0-521-76268-7
- 2018: (com M. Winter) Topologia 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
Editorias
- 2006: (com de Swart, HCM , Orłowska, E. , e Roubens, M. ) Teoria e Aplicação de Estruturas Relacionais como Instrumentos de Conhecimento II , Volume final da Ação COST 274: TARSKI, Notas de Aula em Ciência da Computação # 4342 , Springer ISBN 3-540-69223-1 , ISBN 978-3-540-69223-2
- 2003: (com de Swart, HCM, Orłowska, E. , e Roubens, M.) Teoria e aplicação de estruturas relacionais como instrumentos de conhecimento , volume inicial da Ação COST 274: TARSKI, Notas de aula em ciência da computação # 2929, Springer, ISBN 3-540-20780-5
- 2001: (com Parnas, D. , Kahl, W. ) Métodos Relacionais em Software, Edição Especial de Notas Eletrônicas em Ciência da Computação Teórica , vol. 44, números 3, ISSN 1571-0661
- 1999: (com Jaoua, A. ) Métodos Relacionais em Ciência da Computação, Edição Especial de Ciências da Informação , vol. 119, números 3 + 4, Elsevier
- 1997: com Brink, C. , Kahl, W .: Relational Methods in Computer Science , Advances in Computing Science. Springer ISBN 3-211-82971-7
- 1994: (com Mayr, EW e Tinhofer, G.) Graph-Theoretic Concepts in Computer Science , vol. 903 de Lecture Notes in Computer Science , Proc. 20º estagiário. Workshop WG '94, 17-19 de junho, Herrsching, Springer 1994, ISBN 3-540-59071-4
- 1991: (com Berghammer, R. ) Graph-Theoretic Concepts in Computer Science , vol. 570 de Lecture Notes in Computer Science, Proc. 17th Intern. Workshop WG '91, 17-19 de junho, Richterheim Fischbachau, Springer 1991, ISBN 3-540-55121-2 , ISBN 0-387-55121-2
- 1987: (com Tinhofer, G ) Graph-Theoretic Concepts in Computer Science vol. 246 de Lecture Notes in Computer Science, Proc. 12º Intern. Workshop WG '86, junho 17-19, Kloster Bernried, Springer, ISBN 3-540-17218-1 , ISBN 0-387-17218-1
- 1982: (com Broy, M. ) Fundamentos Teóricos da Metodologia de Programação . Reidel Publishers, ISBN 90-277-1460-6 .
- 1981: (com Bauer, FL ) Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages , Springer
Referências
- ^ R. Berghammer e M. Winter (2004) "A vida de Gunther Schmidt como matemático e cientista da computação", Journal of Logical and Algebraic Methods in Programming 83: 300 a 308
- ^ sobre a Cooperação Europeia em Ciência e Tecnologia
- ^ "CUSTO 274 TARSKI" . Arquivado do original em 23/07/2015 . Retirado 2015-01-04 .
- ^ Berghammer, R., Möller, B., Winter, M. (2014) Festschrift em homenagem a Gunther Schmidt na ocasião de seu 75º aniversário , edição especial do Journal of Logical and Algebraic Methods in Programming
- ^ Escola de verão de Marktoberdorf (1982). Broy, Manfred; Schmidt, Gunther (eds.). Fundamentos teóricos da metodologia de programação: notas de aula de uma escola internacional de verão, 1981 . Série dos Institutos de Estudos Avançados da OTAN . 91 . Reidel . Página visitada em 20 de fevereiro de 2019 .
- ^ CUP blurb para matemática relacional
- ^ "Cópia arquivada" . Arquivado do original em 12/05/2013 . Obtido em 06-01-2015 .CS1 maint: cópia arquivada como título ( link )
- ^ "Página inicial de Wolfram Kahl" .
- ^ "Cópia arquivada" . Arquivado do original em 06/03/2011 . Página visitada em 12/01/2015 .CS1 maint: cópia arquivada como título ( link )
- ^ "TUM - Mathematik - M9" .
links externos
- Homepage da Universität der Bundeswehr München com acesso a uma lista completa de publicações e palestras
- Gunther Schmidt no DBLP Bibliography Server
- Gunther Schmidt, da Biblioteca de Autoridades do Congresso
- Página de perfil do autor de Gunther Schmidt na Biblioteca Digital ACM
- pesquisador
- Berghammer, Rudolf; Winter, Michael (2014). "A vida de Gunther Schmidt como matemático e cientista da computação" . Journal of Logical and Algebraic Methods in Programming . 83 (2): 300–308. doi : 10.1016 / j.jlap.2014.02.015 .