Изложены основные понятия машинной алгебры как некоторой технической дисциплины, изучающей поведения известных формальных алгебраических структур в условиях ограничений, которые существуют во внутреннем мире цифровой вычислительной машины. Рассмотрены принципы представления машинных алгебр на основе обобщенного теоретико-числового преобразования и систем счисления, приведены быстрые методы вычисления скалярных произведений и факторизации составных чисел. Дано алгебраическое истолкование таких основных понятий вычислительной техники, как архитектура ЭВМ, система команд и способ организации вычислительного процеса. Введено понятие редуцируемой цепочки формул и редукционного параллелизма, составляющих основу современных продукционных подходов к организации внутренних вычислительных процессов в ЭВМ.

• Семотюк Мирослав Васильович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"