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

Гюнтер Шмидт
Родился	1939 г.
Занятие	математик

Гюнтер Шмидт (род. 1939, Рюдерсдорф ) - немецкий математик, который также занимается информатикой .

Жизнь

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

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

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

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

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

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

Работа

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

Гюнтер Шмидт в основном известен своей работой по реляционной математике; он был соучредителем серии конференций 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, Cambridge University Press ISBN  978-0-521-76268-7
• 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 (с де Сварту, HCM , Orlowska, Е. и Roubens М. ) Теория и применение реляционных структур , как знание инструментов II , ПОДВЕДЕНИЕ ИТОГОВ объема COST Action 274: Тарский, Lecture Notes в области компьютерных наук # 4342 , Springer ISBN  3-540-69223-1 , ISBN  978-3-540-69223-2
• 2003: (вместе с де Свартом, HCM, Орловской, Э. и Рубенсом, М.) Теория и применение реляционных структур как инструментов знаний , вводный том COST Action 274: TARSKI, Lecture Notes in Computer Science # 2929, Springer, ISBN  3-540-20780-5
• 2001: (вместе с Парнасом, Д. , Калем, В. ) Реляционные методы в программном обеспечении, специальный выпуск электронных заметок по теоретической информатике , т. 44, номера 3, ISSN  1571-0661
• 1999: (вместе с Джауа, А. ) Реляционные методы в компьютерных науках, специальный выпуск информационных наук , т. 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: (совместно с Тинхофером, G ) Теоретико- графические концепции в компьютерных науках, том. 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

использованная литература

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

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