Логические определения в информатике