Terms for subject Mechanics containing logics

English	Russian
Boolean logic	бинарная логика
cellular logic	логика с регулярной структурой
computer logic	логика машинного управления
control logic	логическое устройство управления
hardwired logic	зашитая логика
inferencial logic	логика выводов
ladder logic	логика релейноконтактных схем
logic console	пульт с логическими схемами управления
predicate logic language	язык основанный на логике предикатов
processing logic	алгоритм обработки
teachable-logic control system	система ЧПУ, программируемая в режиме обучения
tristate logic	логические устройства с тремя состояниями