Линейная логика
сокращение и обессиливание внимательно контролируется. С практической точки зрения это значит, что логическая дедукция – это уже не лишь неизменно расширяющийся набор постоянных «истин», но и ещё способ манипулирования
[Росдистант] Информатика (тесты, вопросы, ответы)
выполнение числовых расчетов с использованием сложных математических формул, был разработан язык программирования Выберите один ответ: PROLOG LISP FORTRAN COBOL При сохранении запроса в базе данных Microsoft