Гюнтер Шмидт - Gunther Schmidt

Гюнтер Шмидт (род.1939, Рюдерсдорф ) это Немецкий математик кто также работает в информатика.

Жизнь

Шмидт начал изучать математику в 1957 г. Геттингенский университет, учусь с Карл Людвиг Сигель который вернулся в Геттинген, проведя время в Соединенные Штаты во время ВОВ. В 1960 году перешел в Ludwig-Maximilians-Universität München где он учился функции нескольких сложных переменных с Карл Штайн. Шмидт написал диссертацию на тему аналитическое продолжение таких функций.

В 1962 году Шмидт начал работать в TU München со студентами Роберта Зауэра, вначале в лабораториях и учебных пособиях, затем в наставничестве и администрировании. Интересы Шмидта повернулись к программированию, когда он сотрудничал с Хансом Лангмааком над переписывание и группа кос в 1969 г. Фридрих Л. Бауэр и Клаус Самельсон создавали программная инженерия в университете, и Шмидт присоединился к их группе в 1974 году. В 1977 году он подал Абилитация «Программы как частичные графы».[1]

Он стал профессор в 1980 году. Вскоре после этого он был назначен председателем покойного Клаус Самельсон на полтора года. С 1988 г. и до выхода на пенсию в 2004 г. он занимал должность профессора на факультете компьютерных наук Universität der Bundeswehr München. Он был инструктором на курсах для начинающих, а также на специальных курсах в математическая логика, семантика языки программирования, строительство компиляторы, и алгоритмические языки. Работая с Томасом Штроляйном, он написал учебник на связи и графики, опубликовано на немецком языке в 1989 г. и на английском языке в 1993 г. и снова в 2012 г.

В 2001 году он участвовал в большом проекте (17 стран) с Европейское сотрудничество в области науки и технологий:[2] Шмидт был председателем проекта COST 274 TARSKI (Теория и применение реляционных структур как инструментов знаний).[3]

В 2014 г. фестивальный сбор был организован в честь его 75-летия.[4]

В исчисление отношений в двадцатом веке занимала относительно низкое место среди математических тем, но Шмидт и другие подняли этот профиль. В частичный заказ бинарных отношений могут быть организованы путем группировки через закрытие. В 2018 году Шмидт и Майкл Винтер опубликовали Реляционная топология который рассматривает классические математические структуры, Такие как бинарные операции и топологическое пространство, сквозь призму исчисления отношений.

Работа

В 1981 г. участвовал в Международная летняя школа Марктобердорф, и редактировал конспекты лекций Теоретические основы методологии программирования с Манфред Брой.[5]

Гюнтер Шмидт в основном известен своей работой по реляционной математике; он был соучредителем RAMiCS серия конференций 1994 г.

Его учебники по исчислению отношений демонстрируют приложения и потенциал алгебраическая логика.

Книги

  • 1989: (с Т. Стрёляйн) Relationen und Graphen, Mathematik für Informatiker, Springer Verlag, ISBN  3-540-50304-8, ISBN  0-387-50304-8
  • 1993: (с Т. Стрёляйн) Отношения и графики Дискретная математика для компьютерных ученых, Монографии EATCS по теоретической информатике, Springer Verlag, ISBN  3-540-56254-0
  • 2011: Реляционная математика, Энциклопедия математики и ее приложений, т. 132, Издательство Кембриджского университета ISBN  978-0-521-76268-7[6]
  • 2018: (совместно с М. Винтер) Реляционная топология, Конспект лекций по математике т. 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


Редакции

  • 2006: (с де Сварт, Х.С.М., Орловская, Э., и Рубенс, М. )[7] Теория и применение реляционных структур как инструментов познания II, Итоговый том COST Action 274: TARSKI, Конспект лекций по информатике # 4342, Springer ISBN  3-540-69223-1, ISBN  978-3-540-69223-2
  • 2003: (вместе с де Свартом, Х. К. М., Орловской, Э. и Рубенсом, М.) Теория и применение реляционных структур как инструментов познания, Стартовый объем COST Action 274: TARSKI, Конспект лекций по информатике # 2929, Springer, ISBN  3-540-20780-5
  • 2001: (с Парнас, Д., Каль, В. )[8] Реляционные методы в программном обеспечении, спецвыпуск Электронные заметки по теоретической информатике,, т. 44, корп.3, ISSN  1571-0661
  • 1999: (с Жауа, А. )[9] Реляционные методы в информатике, Спецвыпуск Информационные науки, т. 119, номера 3 + 4, Эльзевир
  • 1997: с Бринк, К., Каль, В.: Реляционные методы в информатике, Достижения в области вычислительной техники. Springer ISBN  3-211-82971-7
  • 1994: (с Майр, Э., и Тинхофер Г.) Теоретико-графические концепции в компьютерных науках, т. 903 из Конспект лекций по информатике, Proc. 20-й Междунар. Workshop WG '94, 17–19 июня, Herrsching, Springer 1994, ISBN  3-540-59071-4
  • 1991: (с Бергаммер, Р. ) Теоретико-графические концепции в компьютерных науках, т. 570 конспектов лекций по информатике, Proc. 17-й Междунар. Workshop WG '91, 17-19 июня, Richterheim Fischbachau, Springer 1991, ISBN  3-540-55121-2, ISBN  0-387-55121-2
  • 1987: (с Тинхофер, Г )[10] Теоретико-графические концепции в компьютерных науках т. 246 конспектов лекций по информатике, Proc. 12-й Междунар. Workshop WG '86, 17–19 июня, Клостер Бернрид, Springer, ISBN  3-540-17218-1, ISBN  0-387-17218-1
  • 1982: (с Брой, М. ) Теоретические основы методологии программирования. Издательство Reidel, ISBN  90-277-1460-6.
  • 1981: (с Бауэр, Ф. ) Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages, Springer

Рекомендации

  1. ^ Р. Бергаммер и М. Винтер (2004) "Жизнь Гюнтера Шмидта как математика и компьютерного ученого", Журнал логических и алгебраических методов программирования 83: 300 по 308
  2. ^ о европейском сотрудничестве в области науки и технологий
  3. ^ «СТОИМОСТЬ 274 ТАРСКИХ». Архивировано из оригинал на 2015-07-23. Получено 2015-01-04.
  4. ^ Бергаммер, Р., Мёллер, Б., Винтер, М. (2014) Фестиваль в честь Гюнтера Шмидта по случаю его 75-летия, Спецвыпуск Журнал логических и алгебраических методов программирования
  5. ^ Марктобердорфская летняя школа (1982). Брой, Манфред; Шмидт, Гюнтер (ред.). Теоретические основы методологии программирования: конспект лекций Международной летней школы, 1981 г.. НАТО Серия институтов перспективного обучения. 91. Reidel. Получено 20 февраля 2019.
  6. ^ Реклама CUP для Реляционная математика
  7. ^ «Архивная копия». Архивировано из оригинал на 2013-05-12. Получено 2015-01-06.CS1 maint: заархивированная копия как заголовок (связь)
  8. ^ "Домашняя страница Вольфрама Кала".
  9. ^ «Архивная копия». Архивировано из оригинал на 2011-03-06. Получено 2015-01-12.CS1 maint: заархивированная копия как заголовок (связь)
  10. ^ «ТУМ - Математик - М9».

внешняя ссылка