Фридрих Л.Бауэр - Friedrich L. Bauer

«F. L. Bauer» мұнда бағыттайды. Австриялық ботаникалық иллюстратор үшін қараңыз Фердинанд Бауэр.

Фридрих Людвиг Бауэр
FriedrichLudwigBauer.jpg
Туған
Фридрих Людвиг Бауэр

(1924-06-10)10 маусым 1924
Регенсбург, Германия
Өлді26 наурыз 2015 ж(2015-03-26) (90 жаста)
ҰлтыНеміс
БілімЛюдвиг-Максимилианс-Университет
БелгіліСтек (мәліметтер құрылымы)
Формулалардың дәйекті аудармасы
АЛГОЛ
бағдарламалық жасақтама
Бауэр – Фике теоремасы
Балалар5
МарапаттарТемір крест 2 класс,
Bundesverdienstkreuz 1 класс,
IEEE Компьютер пионері сыйлығы (1988)
Ғылыми мансап
ӨрістерИнформатика
Қолданбалы математика
МекемелерМайнц университеті
Мюнхен техникалық университеті
Тезистер
  • Спин-толқын теңдеулер теориясының топтық-теориялық зерттеулері (1952)
  • Квадраттық конвергентті қайталау әдістері бойынша алгебралық теңдеулер мен меншікті есептерді шешуге болады (1954)
Докторлық кеңесшілерФриц Бопп, Джордж Ауманн
ДокторанттарМанфред Брой, Дэвид Грис, Йозеф Стоер, Питер Винн, Кристоф Ценгер

Фридрих Людвиг "Фриц" Бауэр (10 маусым 1924 - 26 наурыз 2015) неміс информатик және профессор Мюнхен техникалық университеті.

Өмір

Бауэр өз ақшасын тапты Абитур 1942 ж. қызмет етті Вермахт Екінші дүниежүзілік соғыс кезінде, 1943-1945 жж. 1946-1950 жж., ол математика және теориялық физика кезінде Людвиг-Максимилианс-Университет жылы Мюнхен. Бауэр оны қабылдады Философия докторы (Ph.D.) жетекшілік етеді Фриц Бопп тезисі үшін Gruppentheoretische Untersuchungen zur Theorie der Spinwellengleichungen («Айналмалы теңдеу теориясының топтық-теориялық зерттеулері») 1952 ж. Ол өзінің аяқтады хабилитация тезис Біртұтас квадраттық конвергент Iterationsverfahren zur Lösung von algebraischen Gleichungen und Eigenwertproblemen («Алгебралық теңдеулер мен меншікті есептерді шешудің квадраттық конвергентті итерация әдістері туралы») 1954 ж. Мюнхен техникалық университеті. Ретінде оқытудан кейін приватдозент 1954-1958 жылдар аралығында Людвиг-Максимилианс-Университетте ол қолданбалы математика бойынша кезектен тыс профессор болды. Майнц университеті. 1963 жылдан бастап Мюнхен техникалық университетінде математика және (1972 жылдан) информатика профессоры болып жұмыс істеді. Ол 1989 жылы зейнетке шықты.[1]

Бауэрдің алғашқы жұмысы есептеу техникасын салумен байланысты болды (мысалы, 1951-1955 жж. СТАНИСЛАУС логикалық релелік компьютері)[2]). Осы тұрғыда ол кеңінен қолданылатынды бірінші болып ұсынды стек әдісі өрнекті бағалау.

Бауэр оны дамытқан комитеттердің мүшесі болды императивті компьютер бағдарламалау тілдері АЛГОЛ 58,[3] және оның мұрагері ALGOL 60,[4] барлық заманауи императивті бағдарламалау тілдеріне маңызды предшественниктер. ALGOL 58 үшін Бауэр неміспен бірге болды Gesellschaft für Angewandte Mathematik und Mechanik (GAMM, қолданбалы математика және механика қоғамы) американдықпен жұмыс істеді Есептеу техникасы қауымдастығы (ACM).[3] ALGOL 60-та Бауэр бірге болды Ақпаратты өңдеудің халықаралық федерациясы (IFIP) IFIP жұмыс тобы 2.1 алгоритмдік тілдер және есептеу бойынша,[4] қайсысы арнайы, ALGOL 60 және тілдерін қолдайды және қолдайды ALGOL 68.[5]

1968 жылы ол бұл терминді ойлап тапты бағдарламалық жасақтама бастап кеңінен қолданылып, информатика пәніне айналды.

Бауэр құрылыста ықпалды тұлға болды Информатика Германия университеттерінде тәуелсіз пән ретінде.

Оның ғылыми үлестері тарады сандық талдау (Бауэр – Фике теоремасы ) және бағдарламалау тілдерін түсіндіру және аудару негіздері, оның бағдарламалық жасақтама жүйелері туралы кейінгі жұмыстарына, әсіресе бағдарламаны түрлендіру әдістер мен жүйелер (CIP-S) және олармен байланысты кең спектрлі тіл CIP-L жүйесі. Ол сондай-ақ туралы беделді кітап жазды криптология, Шифры ашылған құпиялар, енді оның төртінші басылымында.

Ол болды докторантура кеңесшісі оның ішінде 39 студент Рудольф Бергаммер, Манфред Брой, Дэвид Грис, Манфред Пол, Герхард Зегмюллер, Йозеф Стоер, Питер Винн, және Кристоф Ценгер.

Фридрих Бауэр Хильдегард Бауэр-Воггқа үйленді. Ол үш ұл мен екі қыздың әкесі болды.

Бағдарламалық жасақтаманың анықтамасы

Бауэр Германияның НАТО ғылым комитетінің өкілі болды. 1967 жылы НАТО «Бағдарламалық жасақтама дағдарысын» талқылай бастады, ал Бауэр «бағдарламалық жасақтама» терминін проблеманы да, шешімді де ойластырудың тәсілі ретінде ұсынды.[6]

1972 жылы Бауэр бағдарламалық жасақтама инженериясының келесі анықтамасын жариялады:

«Нақты машиналарда тиімді жұмыс істейтін және сенімді жұмыс жасайтын бағдарламалық қамтамасыз етуді алу үшін дыбыстық инженерия принциптерін құру және қолдану».[7]

Марапаттар

1944: Темір крест 2 класс
1968 ж.: Бавария ғылым академиясы математика және жаратылыстану сабағында
1971: Бавариялық Құрмет ордені
1978: Вильгельм Exner медалі (Австрия).[8]
1982: Federal Merit Cross 1 класс
1984 ж.: Германия ғылым академиясы Леополдина
1986: Бавариялық ғылым мен өнерге арналған Максимилиан ордені
1987 ж.: Информатика қоғамының құрметті мүшесі
1988: Германия мұражайының Алтын құрмет сақинасы
1988: IEEE Computer Pioneer сыйлығы
1997: Хайнц-Майер-Лейбниц медалі Мюнхен техникалық университеті
1998 ж. Корреспондент мүшесі Австрия Ғылым академиясы
2002: Құрметті мүше Deutsches мұражайы
2004 ж.: Бавария ғылым академиясының еңбегі үшін күміс медалі
Мюнхен ТУ-да информатика бойынша Фридрих Л.Бауэр атындағы сыйлық иегері

2014 жылы Мюнхен ТУ информатика және информатика кафедрасындағы ең үлкен дәріс залын Фридрих Бауэрдің атымен өзгертті.

Құрметті докторлар
1974 ж. Құрметті дәрігер Гренобль университеті
1989 ж. Құрметті дәрігер Пассау университеті
1998 ж. - Құрметті доктор Мюнхендегі Бундесвер университеті (Нойбиберг)

Жарияланымдар

  • Самелсон, Клаус; Бауэр, Фридрих Людвиг (1960 ж. Ақпан). «Формулалардың дәйекті аудармасы». ACM байланысы. 3 (2): 76–83. дои:10.1145/366959.366968., компиляторлардағы өте әсерлі қағаз
  • Бауэр, Фридрих Людвиг; Бауманн, Р .; Фелисиано, М .; Самелсон, К. (1964). Algol-ге кіріспе. Prentice Hall. ISBN  0-13-477828-6.
  • Бауэр, Фридрих Л. (1987). Мюнхен жобасы CIP: II том: CIP-S бағдарламасын трансформациялау жүйесі (Информатикадағы дәрістер). Спрингер. ISBN  978-3-5401-8779-0.
  • Бауэр, Фридрих Людвиг; Вирсинг, Мартин (Наурыз 1991). Elementare Aussagenlogik (неміс тілінде). Берлин - Гайдельберг: Шпрингер-Верлаг. ISBN  3-540-52974-8.
  • Бауэр, Фридрих Л. (2006). Шифрланған құпиялар: криптологияның әдістері мен максималдары, 4-ші басылым. Нью Йорк: Спрингер. ISBN  978-3-5402-4502-5.

Әдебиеттер тізімі

  1. ^ «Verzeichnis der Professorinnen und Professoren der Universität Mainz». Гутенбергтің өмірбаяны (неміс тілінде). Йоханнес Гутенберг-Университет Майнц. Алынған 16 ақпан 2017.
  2. ^ Хашиген, Ульф; Кил-Славик, Рейнхард; Норберг, Артур Л., редакция. (2002). Есептеу тарихы: бағдарламалық қамтамасыз ету мәселелері. Берлин Гейдельберг Нью-Йорк: Спрингер-Верлаг. 15-16 бет. ISBN  978-3-642-07653-4.
  3. ^ а б Перлис, А. Дж. (1981). «Елуінші жылдардағы есептеу туралы әңгіме». ACM ұлттық конференциясы. Нэшвилл, Теннеси. Лос Аламито, Калифорния, 1995: (Транскрипт Дж. А. Н. Ли (ред.), Computer Pioneers, IEEE Computer Society Press. 545–556 бб.).CS1 maint: орналасқан жері (сілтеме)
  4. ^ а б Джиринг, Йохан; Мертенс, Ламберт; Гуттманн, Вальтер (17 тамыз 2016). «IFIP жұмыс тобының профилі 2.1». Фосвики. Алынған 7 қыркүйек 2020.
  5. ^ Swierstra, Doaitse; Гиббонс, Джереми; Мертенс, Ламберт (2 наурыз 2011). «ScopeEtc: IFIP21: Foswiki». Фосвики. Алынған 7 қыркүйек 2020.
  6. ^ Маккензи, Дональд (2001). Механикаландырылған дәлелдеу: есептеу, тәуекел және сенім. Кембридж: MIT Press. 34-36 бет. ISBN  0-262-13393-8.
  7. ^ Бауэр, Фридрих Л. (1972). «Бағдарламалық жасақтама». Ақпаратты өңдеу. б. 71.
  8. ^ ÖGV редакторы. (2015). Вильгельм Exner медалі. Австрия Сауда Қауымдастығы. ÖGV. Австрия.

Сыртқы сілтемелер