Cтраница 4
В 1971 и 1975 гг. в издательстве Массачусетского технологического института ( США) вышел английский перевод книги, расширенный и дополненный материалами новых публикаций, появившихся к этому времени. Естественно, что за основу настоящего второго издания принят этот более поздний, американский вариант. [46]
В начале 60 - х годов исследователи Массачусетского технологического института ( МТИ) разработали операционную систему, которая давала возможность работать с компьютером сразу нескольким программистам. [47]
В 60 - х годах в работах Массачусетского технологического института ( MIT) было введено понятие привратника ( стража входной информации), подразумевающее информационных звезд, которые обладают высокой осведомленностью о том. [48]
В основе этих методов, разработанных научно-исследовательской группой Массачусетского технологического института ( МТИ), лежат две идеи: математическая модель работы ядра и методология анализа корректности, используемая для верификации при реализации модели. Приведены четыре способа описания ядра: в виде математической модели, формальной спецификации, представления в виде алгоритма и описания машинного языка, который использовался для верификации различных форм описания. [49]
Например, курс электронно-вычислительных машин, читавшийся аспирантам Массачусетского технологического института в 1949 и 1950 гг., через 10 лет был включен в программу многих средних школ. [50]
Корбатб составил полностью автоматическую программу для машины WHIRLWIND Массачусетского технологического института, которая вычисляет В () по описанным выше алгоритмам, а также рассчитывает функцию С () ( см. формулы ( А. Расчет Сп () и Вп () для п - 0 ( 1) 6 занимает около одной секунды. [51]