Corrado Bohm
Corrado Bohm · Технологии и инженерия
Коррадо Бём был итальянским специалистом по информатике, одним из зачинателей структурного программирования: вместе с Джузеппе Якопини он доказал теорему Бёма — Якопини (1966), показавшую, что любую программу можно записать одними лишь последовательностью, ветвлением и повторением.
1923, Milan, Italy — 2017, Rome, Italy
Italy · Switzerland
Коррадо Бём был итальянским специалистом по информатике, одним из зачинателей структурного программирования: вместе с Джузеппе Якопини он доказал теорему Бёма — Якопини (1966), показавшую, что любую программу можно записать одними лишь последовательностью, ветвлением и повторением. Он внёс также глубокий вклад в лямбда-исчисление (дерево Бёма и теорема Бёма) и функциональное программирование. Он значится среди еврейских специалистов по информатике, документированных сайтом Jinfo.org, и покинул Италию в 1942 году в разгар фашистских расовых законов.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Коррадо Бём был итальянским специалистом по информатике, одним из зачинателей структурного программирования: вместе с Джузеппе Якопини он доказал теорему Бёма — Якопини (1966), показавшую, что любую программу можно записать одними лишь последовательностью, ветвлением и повторением.
Источник: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
