Gunther Schmidt - Gunther Schmidt

Gunther Schmidt
Született	1939
Foglalkozása	matematikus

Gunther Schmidt (1939, Rüdersdorf ) német matematikus, aki informatikával is foglalkozik .

Élet

Schmidt 1957 -ben kezdett matematikát tanulni a Göttingeni Egyetemen . Tanárai különösen Kurt Reidemeister, Wilhelm Klingenberg és Karl Stein voltak. 1960-ban átadott Ludwig-Maximilian Universität München , ahol tanult funkciói több összetett változók a Karl Stein . Schmidt dolgozatot írt az ilyen funkciók analitikus folytatásáról .

1962 -ben Schmidt a Müncheni TU -n kezdett dolgozni Robert Sauer tanítványaival, kezdetben laboratóriumokban és oktatóanyagokban, később mentorálásban és adminisztrációban. Schmidt érdekei felé programozás, amikor együttműködött Hans Langmaack az újraírás , és a fonat-csoport 1969-ben Friedrich L. Bauer és Klaus Samelson voltak létrehozó szoftverfejlesztés az egyetemen és a Schmidt csatlakozott a csoporthoz 1974-ben 1977-ben nyújtotta be habilitációs „Programok részgráfként ".

Ő lett a professzor 1980-ban sokkal ez után nevezték ki, hogy tartsa a széket a néhai Klaus Samelson egy és fél év. 1988 -tól egészen 2004 -es nyugdíjba vonulásáig a Müncheni Universität der Bundeswehr Számítástechnikai Karának professzori tisztségét töltötte be . Tantermi oktató volt a kezdő tanfolyamokon, valamint a matematikai logika , a programozási nyelvek szemantikája , a fordítók építése és az algoritmikus nyelvek speciális kurzusain . Thomas Strohleinnel együttműködve írt egy kapcsolatokról és grafikonokról szóló tankönyvet , amely 1989 -ben jelent meg németül, 1993 -ban pedig angolul, majd 2012 -ben.

2001 -ben részt vett egy nagy projektben (17 nemzet) az Európai Tudományos és Technológiai Együttműködésben : Schmidt a COST 274 TARSKI (A relációs struktúrák mint tudáseszközök elmélete és alkalmazása) projekt elnöke volt.

2014 -ben ünnepséget szerveztek 75. évfordulója alkalmából.

A kapcsolatok számítása viszonylag alacsony profillal rendelkezett a huszadik század matematikai témái között, de Schmidt és mások emelték ezt a profilt. A bináris kapcsolatok részleges sorrendje a lezáráson keresztül történő csoportosítással szervezhető . 2018 -ban Schmidt és Michael Winter közzétették a Relációs topológiát, amely áttekinti a klasszikus matematikai struktúrákat , például a bináris műveleteket és a topológiai teret a kapcsolatok számításának szemüvegén keresztül.

Munka

1981 -ben részt vett a Marktoberdorf Nemzetközi Nyári Iskolában , és Manfred Broy -val szerkesztette a Programozási módszertan elméleti alapjai című előadás jegyzeteit .

Gunther Schmidt elsősorban a relációs matematikáról szóló munkájáról ismert; 1994 -ben társalapítója volt a RAMiCS konferencia sorozatnak.

A kapcsolatok számításáról szóló tankönyvei az algebrai logika alkalmazását és lehetőségeit mutatják be .

Könyvek

• 1989: (Ströhlein T.-vel) Relationen und Graphen , Mathematik für Informatiker, Springer Verlag, ISBN  3-540-50304-8 , ISBN  0-387-50304-8
• 1993: (Ströhlein T.-vel) Kapcsolatok és grafikonok Diszkrét matematika számítástechnikusok számára, EATCS Monographs on Theoretical Computer Science, Springer Verlag, ISBN  3-540-56254-0
• 2011: Relációs matematika , Encyclopedia of Mathematics and Applications, vol. 132, Cambridge University Press ISBN  978-0-521-76268-7
• 2018: (M. Winterrel) Relációs topológia , Előadásjegyzetek a matematikában kötet 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

Szerkesztőség

• 2006: ( de Swart, HCM , Orłowska, E. és Roubens, M. ) A relációs struktúrák elmélete és alkalmazása mint tudásinstrumentumok II , A COST 274-es cselekvésének összefoglaló kötete: TARSKI, Előadás a számítástechnikában #4342 , Springer ISBN  3-540-69223-1 , ISBN  978-3-540-69223-2
• 2003: (de Swart, HCM, Orłowska, E. és Roubens, M.) A relációs struktúrák elmélete és alkalmazása mint tudásinstrumentumok, a COST 274 -es intézkedés kezdőkötete: TARSKI, Előadás a számítástechnikában #2929, Springer, ISBN  3-540-20780-5
• 2001: ( Parnas, D. , Kahl, W. ) Relational Methods in Software, Special Issue of Electronic Notes in Theoretical Computer Science ,, vol. 44., 3. szám, ISSN  1571-0661
• 1999: ( Jaouával, A. ) Relational Methods in Computer Science, Special Issue of Information Sciences , vol. 119, 3+4 szám, Elsevier
• 1997: Brink, C. , Kahl, W .: Relational Methods in Computer Science , Advances in Computing Science. Springer ISBN  3-211-82971-7
• 1994: ( Mayr, EW és Tinhofer, G.) Graph-Theoretic Concepts in Computer Science , kötet. 903, Számítástechnika előadás jegyzetei , Proc. 20. gyakornok Workshop WG '94, június 17–19, Herrsching, Springer 1994, ISBN  3-540-59071-4
• 1991: ( Berghammer, R. ) Graph-Theoretic Concepts in Computer Science , kötet. 570 A Számítástechnika előadás jegyzetei, Proc. 17. gyakornok. Workshop WG '91, június 17-19, Richterheim Fischbachau, Springer 1991, ISBN  3-540-55121-2 , ISBN  0-387-55121-2
• 1987: ( Tinhofer, G. ) Graph-Theoretic Concepts in Computer Science vol. 246. előadásjegyzetek a számítástechnikában, Proc. 12. gyakornok. Workshop WG '86, június 17–19, Kloster Bernried, Springer, ISBN  3-540-17218-1 , ISBN  0-387-17218-1
• 1982: ( Broy -val, M. ) A programozási módszertan elméleti alapjai . Reidel Kiadó, ISBN  90-277-1460-6 .
• 1981: ( Bauer, FL ) Erinnerungen és Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages , Springer

Hivatkozások

Külső linkek

• A Universität der Bundeswehr München honlapja a publikációk és előadások teljes listájához való hozzáféréssel
• Gunther Schmidt, a DBLP Bibliography Server
• Gunther Schmidt , a Kongresszusi Hatóságok Könyvtárában
• Gunther Schmidt szerzői profiloldala az ACM Digitális Könyvtárban
• kutató
• Berghammer, Rudolf; Winter, Michael (2014). "Gunther Schmidt élete matematikusként és informatikusként" . Journal of Logical and Algebraic Methods in Programming . 83. (2): 300–308. doi : 10.1016/j.jlap.2014.02.015 .