Логика информатическая
Логика информатическая (informatical logic) — логические основания информатики, предназначенные для построения исчисления решения логических уравнений для поиска искомого объекта (нового знания). См. также логика информатики. [Словарь