Гюнтер Шмидт

Гюнтер Шмидт
Рожденный	1939
Занятие	математик

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

Жизнь

Шмидт начал изучать математику в 1957 году в Геттингенском университете . Его академическими учителями были, в частности, Курт Райдемайстер, Вильгельм Клингенберг и Карл Штайн. В 1960 году он перешёл в Мюнхенский университет Людвига-Максимилиана , где изучал функции нескольких комплексных переменных с Карлом Штейном . Шмидт написал диссертацию по аналитическому продолжению таких функций.

В 1962 году Шмидт начал работу в Мюнхенском техническом университете со студентами Роберта Зауэра, сначала в лабораториях и учебных курсах, затем в качестве наставничества и управления. Интересы Шмидта обратились к программированию, когда он сотрудничал с Хансом Лангмааком в работе над переписыванием и группой кос. в 1969 году Фридрих Л. Бауэр и Клаус Самельсон занимались разработкой программного обеспечения в университете, и Шмидт присоединился к их группе в 1974 году. В 1977 году он представил свои хабилитации программы . как частичные графы».

Он стал профессором заведовать кафедрой покойного Клауса Самельсона в 1980 году. Вскоре после этого его назначили на полтора года . С 1988 года до выхода на пенсию в 2004 году он занимал должность профессора факультета компьютерных наук Университета Бундесвера в Мюнхене . Он преподавал на курсах для начинающих, а также на специальных курсах по математической логике , семантике языков программирования , построению компиляторов и алгоритмических языков . Работая с Томасом Стролейном, он написал учебник по связям и графикам , опубликованный на немецком языке в 1989 году и на английском языке в 1993 году и снова в 2012 году.

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

В 2014 году был организован фестиваль в честь его 75-летия.

Исчисление отношений занимало относительно низкое место среди математических тем двадцатого века, но Шмидт и другие подняли его. Частичный порядок бинарных отношений можно организовать путем группировки посредством замыкания . В 2018 году Шмидт и Майкл Винтер опубликовали «Реляционную топологию» , в которой рассматриваются классические математические структуры , такие как бинарные операции и топологическое пространство , через призму исчисления отношений.

Работа

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

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

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

Книги

• 1989: (совместно с Томасом Стрёлейном) Отношения и графики , Математика для компьютерных специалистов, 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
• 2018: (совместно с М. Винтером) Реляционная топология , Конспекты лекций по математике, том. 2208, Шпрингер Верлаг, ISBN   978-3-319-74451-3
• 2020: Оглядываясь назад на истоки мюнхенской информатики , Синий час информатики, Springer-Vieweg, ISBN   978-3-658-28754-2 , ISBN   978-3-658-28755-9
• 2023: Математика как наука в обществе , Springer Spectrum, ISBN   978-3-662-67897-8

Редакции

• 2006: (совместно с де Свартом, ХКМ , Орловской Э. и Рубенсом М. ) Теория и применение реляционных структур как инструментов знаний 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: (совместно с Парнасом Д. , Калем В. ) Реляционные методы в программном обеспечении, Специальный выпуск электронных заметок по теоретической информатике, , vol. 44, цифры 3, ISSN   1571-0661
• 1999: (совместно с Джауа А. ) Реляционные методы в информатике, Специальный выпуск информационных наук , вып. 119, номера 3+4, Эльзевир
• 1997: с Бринк К. , Каль В.: Реляционные методы в информатике , Достижения в области вычислительной техники. Спрингер ISBN   3-211-82971-7
• 1994: (совместно с Майром, Э.В. и Тинхофером, Г.) Теоретико-графовые концепции в информатике , том. 903 Конспектов лекций по информатике , Proc. 20-й стажер. Семинар WG '94, 17–19 июня, Herrsching, Springer 1994, ISBN   3-540-59071-4
• 1991: (совместно с Бергхаммером Р. ) Теоретико-графовые концепции в информатике , вып. 570 конспектов лекций по информатике, Proc. 17-й стажер. Семинар WG '91, 17–19 июня, Рихтерхайм-Фишбахау, Springer 1991, ISBN   3-540-55121-2 , ISBN   0-387-55121-2
• 1987: (совместно с Тинхофером, Г. ) Теоретико-графовые концепции в информатике, том. 246 Конспектов лекций по информатике, Proc. 12-й стажер. Семинар WG '86, 17–19 июня, Клостер Бернрид, Шпрингер, ISBN   3-540-17218-1 , ISBN   0-387-17218-1
• 1982: (совместно с Броем, М. ) Теоретические основы методологии программирования . Издательство Рейдел, ISBN   90-277-1460-6 .
• 1981: (совместно с Бауэром, Флорида ) Воспоминания о Роберте Зауэре, вклад в мемориальный коллоквиум по случаю 10-летия его смерти , Спрингер

Внешние ссылки

• Домашняя страница Мюнхенского университета Бундесвера с доступом к полному списку публикаций и выступлений.
• Гюнтер Шмидт на DBLP библиографическом сервере
• Гюнтер Шмидт в Библиотеке Конгресса
• Гюнтера Шмидта Страница профиля автора ACM в цифровой библиотеке
• исследователь
• Бергаммер, Рудольф; Зима, Майкл (2014). «Жизнь Гюнтера Шмидта как математика и ученого-компьютерщика» . Журнал логических и алгебраических методов программирования . 83 (2): 300–308. дои : 10.1016/j.jlap.2014.02.015 .