Синтез цифровых автоматов. Математическая логика и основания математики. Глушков В. М.
Одним из значительных достижений науки и техники середины двадцатого столетия явилось создание и широкое использование электронных цифровых машин с программным управлением. Неудивительно, что вопросы рационального конструирования, или, как принято...