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