Логика информатическая (informatical logic) — логические основания информатики, предназначенные для построения исчисления решения логических уравнений для поиска искомого объекта (нового знания). См. также логика информатики.
[Словарь понятий по информатике. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user…page/slovar-kompyuternyh-terminov/, свободный.]