Gunther Schmidt - Gunther Schmidt

Gunther Schmidt (narozen 1939, Rüdersdorf ) je Němec matematik kdo pracuje také v informatika.

Život

Schmidt začal studovat matematiku v roce 1957 na Göttingen University studovat s Carl Ludwig Siegel který se vrátil do Göttingenu poté, co strávil nějaký čas v Spojené státy během druhé světové války. V roce 1960 přešel do Ludwig-Maximilians-Universität München kde studoval funkce několika složitých proměnných s Karl Stein. Schmidt napsal diplomovou práci analytické pokračování těchto funkcí.

V roce 1962 Schmidt zahájil práci v TU München se studenty Roberta Sauera, zpočátku v laboratořích a cvičeních, později v mentoringu a administrativě. Schmidtovy zájmy se obrátily k programování, když spolupracoval s Hansem Langmaackem dál přepis a skupina copu v roce 1969. Friedrich L. Bauer a Klaus Samelson zakládali softwarové inženýrství na univerzitě a Schmidt se k jejich skupině připojil v roce 1974. V roce 1977 předložil své Habilitace Msgstr "Programy jako dílčí grafy".[1]

Stal se profesor v roce 1980. Krátce nato byl jmenován do funkce předsedy pozdě Klaus Samelson na jeden a půl roku. Od roku 1988 do svého odchodu do důchodu v roce 2004 působil jako profesor na Fakultě informatiky VŠCHT Universität der Bundeswehr München. Byl instruktorem učebny pro začátečníky i speciální kurzy v matematická logika, sémantika programovací jazyky, konstrukce překladače, a algoritmické jazyky. Ve spolupráci s Thomasem Strohleinem napsal a učebnice na vztahy a grafy, publikovaná v němčině v roce 1989 a angličtině v roce 1993 a znovu v roce 2012.

V roce 2001 se zapojil do velkého projektu (17 zemí) s Evropská spolupráce v oblasti vědy a techniky:[2] Schmidt byl předsedou projektu COST 274 TARSKI (Teorie a aplikace relačních struktur jako znalostních nástrojů).[3]

V roce 2014 a slavnostní svátek byl uspořádán k oslavě jeho 75. roku.[4]

The počet vztahů měl ve dvacátém století relativně malý profil mezi matematickými tématy, ale Schmidt a další tento profil zdůraznili. The částečná objednávka binárních vztahů lze uspořádat seskupením uzavření. V roce 2018 zveřejnili Schmidt a Michael Winter Relační topologie který hodnotí klasiku matematické struktury, jako binární operace a topologický prostor optikou počtu vztahů.

Práce

V roce 1981 se zúčastnil Mezinárodní letní škola Marktoberdorf a upravil poznámky k přednášce Teoretické základy metodiky programování s Manfred Broy.[5]

Gunther Schmidt je známý především svou prací o relační matematice; byl spoluzakladatelem RAMiCS série konferencí v roce 1994.

Jeho učebnice kalkulu vztahů vykazují uplatnění a potenciál algebraická logika.

Knihy

  • 1989: (s T. Ströhleinem) Relationen und Graphen, Mathematik für Informatiker, Springer Verlag, ISBN  3-540-50304-8, ISBN  0-387-50304-8
  • 1993: (s T. Ströhleinem) Vztahy a grafy Diskrétní matematika pro počítačové vědce, Monografie EATCS o teoretické informatice, Springer Verlag, ISBN  3-540-56254-0
  • 2011: Relační matematika, Encyclopedia of Mathematics and its Applications, sv. 132, Cambridge University Press ISBN  978-0-521-76268-7[6]
  • 2018: (s M. Winterem) Relační topologie, Přednášky z matematiky sv. 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


Vydavatelství

  • 2006: (s de Swart, H. C. M., Orłowska, E., a Roubens, M. )[7] Teorie a aplikace relačních struktur jako znalostních nástrojů II, Shrnutí svazku COST Action 274: TARSKI, Přednášky z informatiky # 4342, Springer ISBN  3-540-69223-1, ISBN  978-3-540-69223-2
  • 2003: (s de Swartem, H. C. M., Orłowskou, E. a Roubensem, M.) Teorie a aplikace relačních struktur jako znalostních nástrojů, Výkop objemu COST Akce 274: TARSKI, Přednášky z informatiky # 2929, Springer, ISBN  3-540-20780-5
  • 2001: (s Parnas, D., Kahl, W. )[8] Relační metody v softwaru, zvláštní vydání Elektronické poznámky v teoretické informatice,, sv. 44, čísla 3, ISSN  1571-0661
  • 1999: (s Jaoua, A. )[9] Relační metody v informatice, speciální vydání Informační vědy, sv. 119, čísla 3 + 4, Elsevier
  • 1997: s Brink, C., Kahl, W.: Relační metody v informatice Pokroky ve výpočetní technice. Springer ISBN  3-211-82971-7
  • 1994: (s Mayr, E. W. a Tinhofer, G.) Graf-teoretické koncepty v informatice, sv. 903 z Přednášky z informatiky, Proc. 20. Intern. Workshop WG '94, červen 17–19, Herrsching, Springer 1994, ISBN  3-540-59071-4
  • 1991: (s Berghammer, R. ) Graf-teoretické koncepty v informatice, sv. 570 přednášek z informatiky, Proc. 17. Intern. Workshop WG '91, 17. - 19. června, Richterheim Fischbachau, Springer 1991, ISBN  3-540-55121-2, ISBN  0-387-55121-2
  • 1987: (s Tinhofer, G )[10] Graf-teoretické koncepty v informatice sv. 246 přednášek v informatice, Proc. 12. Intern. Workshop WG '86, 17. - 19. června, Kloster Bernried, Springer, ISBN  3-540-17218-1, ISBN  0-387-17218-1
  • 1982: (s Broy, M. ) Teoretické základy metodiky programování. Vydavatelé Reidel, ISBN  90-277-1460-6.
  • 1981: (s Bauer, F. L. ) Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. TodestagesSpringer

Reference

  1. ^ R. Berghammer a M. Winter (2004) „Život Gunthera Schmidta jako matematik a počítačový vědec“, Journal of logických a algebraických metod v programování 83: 300 až 308
  2. ^ o evropské spolupráci v oblasti vědy a techniky
  3. ^ „COST 274 TARSKI“. Archivovány od originál dne 2015-07-23. Citováno 2015-01-04.
  4. ^ Berghammer, R., Möller, B., Winter, M. (2014) Festschrift na počest Gunthera Schmidta u příležitosti jeho 75. narozenin Zvláštní vydání Journal of logických a algebraických metod v programování
  5. ^ Marktoberdorf Summer School (1982). Broy, Manfred; Schmidt, Gunther (eds.). Teoretické základy metodiky programování: Přednášky mezinárodní letní školy, 1981. NATO Série pokročilých studijních ústavů. 91. Reidel. Citováno 20. února 2019.
  6. ^ CUP reklama pro Relační matematika
  7. ^ „Archivovaná kopie“. Archivovány od originál dne 12. 05. 2013. Citováno 2015-01-06.CS1 maint: archivovaná kopie jako titul (odkaz)
  8. ^ „Domovská stránka Wolframa Kahla“.
  9. ^ „Archivovaná kopie“. Archivovány od originál dne 06.03.2011. Citováno 2015-01-12.CS1 maint: archivovaná kopie jako titul (odkaz)
  10. ^ „TUM - Mathematik - M9“.

externí odkazy