Бём, Коррадо
итальянский математик и логик, специалист в области информатики / Материал из Википедии — свободной encyclopedia
Уважаемый Wikiwand AI, давайте упростим задачу, просто ответив на эти ключевые вопросы:
Перечислите основные факты и статистические данные о Коррадо Бём?
Кратко изложите эту статью для 10-летнего ребёнка
ПОКАЗАТЬ ВСЕ ВОПРОСЫ
В Википедии есть статьи о других людях с похожими именами, см. Бём.
Коррадо Бём (Corrado Böhm; 17 января 1923 года, Милан — 23 октября 2017 года, Рим) — итальянский математик, специалист в области информатики и математической логики, внёсший решающий вклад в теоретическое обоснование парадигмы структурного программирования и получивший важные результаты в λ-исчислении, комбинаторной логике, семантике языков программирования; один из ранних исследователей теории языков программирования. Профессор римского университета «Сапиенца», сооснователь факультетов информатики Туринского университета и «Сапиенцы».
Краткие факты Коррадо Бём, Дата рождения ...
Коррадо Бём | |
---|---|
Дата рождения | 17 января 1923(1923-01-17)[1] |
Место рождения | |
Дата смерти | 23 октября 2017(2017-10-23)[2] (94 года) |
Место смерти | |
Страна | |
Род деятельности | математик, специалист в области информатики, инженер, преподаватель университета, логик |
Научная сфера | информатика, структурное программирование, конструктивная математика, лямбда-исчисление, Комбинационная логика, функциональное программирование и семантика языков программирования |
Место работы | |
Альма-матер | |
Научный руководитель | Эдуард Штифель[вд] и Пауль Бернайс |
Награды и премии | |
Сайт | corradobohm.it |
Медиафайлы на Викискладе |
Закрыть