Corrado Bohm
Corrado Bohm · Technologia i inżynieria
Corrado Böhm był włoskim informatykiem, pionierem programowania strukturalnego: wraz z Giuseppe Jacopinim udowodnił twierdzenie Böhma-Jacopiniego (1966), pokazujące, że każdy program można zapisać wyłącznie za pomocą sekwencji, wyboru i iteracji.
1923, Milan, Italy — 2017, Rome, Italy
Italy · Switzerland
Corrado Böhm był włoskim informatykiem, pionierem programowania strukturalnego: wraz z Giuseppe Jacopinim udowodnił twierdzenie Böhma-Jacopiniego (1966), pokazujące, że każdy program można zapisać wyłącznie za pomocą sekwencji, wyboru i iteracji. Wniósł też głęboki wkład w rachunek lambda (drzewo Böhma i twierdzenie Böhma) oraz programowanie funkcyjne. Figuruje wśród żydowskich informatyków udokumentowanych przez serwis Jinfo.org, a Włochy opuścił w 1942 roku w czasie faszystowskich ustaw rasowych.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Corrado Böhm był włoskim informatykiem, pionierem programowania strukturalnego: wraz z Giuseppe Jacopinim udowodnił twierdzenie Böhma-Jacopiniego (1966), pokazujące, że każdy program można zapisać wyłącznie za pomocą sekwencji, wyboru i iteracji.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
