информационно-логическая машина Автоматизированная система, предназначенная для информационного обслуживания пользователей и решения сложных логических задач. К числу таких задач относятся: доказательство теорем, обработка результатов научных наблюдений, перевод иностранных текстов и т.п.