ЛОГИКА ИНФОРМАТИКИ (ИЛ) [informatical logic] - теоретические основания информатики, базирующиеся на методах решения логических уравнений. ИЛ именуется информатической логикой, она состоит из языка профессиональной прозы, набора аксиом определения констант, величин и операций, набора правил вывода и единственной аксиомы «истина» для обозначения цели логического вывода (см. информатическая логика).
ЛОГИЧЕСКАЯ ВЫЧИСЛИТЕЛЬНАЯ МАШИНА [logical computor] - ВМ, для которой основой программирования является логическое программирование: объявляются объекты, операции и утверждения о них, процессор строит вывод утверждения (запрос пользователя) и находит условия их истинности.
ЛОГИЧЕСКАЯ ОТЛАДКА ЗНАНИЙ [knowledge logical debugging] - установление глобальной и локальной непротиворечивости, независимости и полноты знаний в базе и запросах.
ЛОГИЧЕСКАЯ ЗАПИСЬ [logical record] - порция данных для переработки или в качестве результата одного шага обработки. Л.з. - это также единица обмена программы с базой или банком данных, с базой знания.
ЛОГИЧЕСКИЙ ПРОЦЕССОР [logical processor] - виртуальный процессор, используемый в том случае, когда необходимо выполнить параллельно несколько программ (задач) при наличии одного или большего числа физических процессоров.
ЛОГИЧЕСКИЙ ТИП [logical type] - предопределенный перечислимый тип из двух литералов перечисления, ложь или истина, false или true, связанных известным отношением неравенства ложь < истина.
ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ [logical expression] - выражение, принимающее в результате выполнения значение истинности из множества {ложь, истина}.
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ [logical programming] - новое направление в информатике, основанное на совокупности приемов формализации знаний о проблеме и постановке заданий на языке логических исчислений, передачи их на ВМ для пополнения базы знаний, необходимых при решении проблемы или задания, или для синтеза программ. Л.п. предусматривает исследование по машинному доказательству теорем, при котором рассматривается спецификация проблемы в виде логического выражения, дерево вывода этого выражения и извлечения алгоритма (программы) из дерева вывода. Л.п. является основанием для автоматического синтеза программ.
ЛОГИЧЕСКОЕ УРАВНЕНИЕ [logical equation] - аналитическая запись проблемы о нахождении значений аргументов, при которых значения двух данных логических функций равны. Аргументы, от которых зависят эти функции, называются обычно неизвестными, а значения неизвестных, при которых логические значения функций равны - решениями уравнения.
ЛОКАЛЬНАЯ ВЫЧИСЛИТЕЛЬНАЯ СЕТЬ [local computing network] - совокупность вычислительных средств терминальных устройств, средств информационного обмена, объединенных в систему распределенной обработки данных, все элементы которой расположены на небольшой территории и имеют общий канал для передачи сообщений.
ЛОКАЛЬНОЕ ПРОТИВОРЕЧИЕ [local contradiction] - ситуация, в которой часть текста противоречит части знаний в базе. Л.п. обнаруживается либо при вводе очередной порции (или абзаца) знаний, либо при вводе запроса пользователя. Л.п. является результатом внутреннего локального логического анализа текстов.
ЛОКАЛЬНЫЙ ОБЪЕКТ [local object] - объект, внутренний по отношению к данной программе или данному программному модулю (определенный в составе), принимающий начальное значение при выполнении программы или программного модуля и, возможно, утрачивающий его после выполнения программы и присвоения нового значения.
М
МЕГАБАЙТ (Мб) - единица измерения хранилища данных. Мб = 1024 Кб.
МАГАЗИН [stack] - последовательно организованная память с верхушкой, которая при заполнении М. освобождается, продвигая данные вглубь, и при освобождении М. заполняется, продвигая данные из М. (см. стек).
МАГАЗИН ДАННЫХ [data shop] - см. стек данных.
МАГИСТРАЛЬ [pathway] - внутренний канал связи устройств в ВМ, служащий для обмена данными между устройствами.
МАКЕТ (программы) [model (of program)] - предварительно созданная программа, эскизный проект программы, пробный экземпляр программы, свойства и функции которой соответствуют программе, являющейся конечным программным продуктом.
МАКРОАССЕМБЛЕР [macroassembler] - макрогенератор, базовым языком которого служит язык ассемблера.
МАКРОВЫЗОВ [macrocall] - указание в (макро) программе о необходимости подстановки определенного программного шаблона, настроенного по параметрам его настройки и готового для выполнения.
МАКРОГЕНЕРАТОР [macrogenerator] - системная программа, заменяющая макрокоманды исходного языка определенной эквивалентной последовательностью команд на объектном языке. Набор макрокоманд образует макробиблиотеку. Источником генерации объектного текста является макроопределение. Генерация объектного текста - это процесс получения объектного текста по макроопределениям в результате макровызова макрокомандой. М. имеет дело с конкретизацией настройки настраиваемого модуля для получения экземпляра подпрограммы или пакета.
МАКРОКОМАНДА [macroorder] - строка кода исходной программы, которая инициирует процедуру формирования строки кода объектной программы.
МАКРООПРЕДЕЛЕНИЕ [macroskeleton] - набор шаблонов, соответствующих отдельному макросу, и алгоритм вычисления по этим шаблонам вставляемого текста с учетом свойств и значений параметров.
МАКРОПРОГРАММИРОВАНИЕ [macroprogramming] - метод информатики, содержащий способы синтаксического и семантического описания средств разработки параметрические настраиваемые программные модули, которые используются для автоматической генерации различных экземпляров выполняемых модулей. Фактическими параметрами настройки могут быть объекты, типы данных, подпрограммы и тексты. Метод М. предназначен для создания программных шаблонов семейства различных программ. Конкретизация шаблонов приводит к виду, пригодному для выполнения. Метод М. обычно формализован в языках ассемблера и иногда формализуется в языках программирования высокого уровня.
МАКРОС [macro] - командное средство программирования, указывающее на необходимость вставки вместо него текста, получаемого по шаблонам и его фактическим параметрам.
МАКРОУРОВЕНЬ [macrolevel] - верхний уровень некоторой иерархии элементов, принятых и участвующих в процессах проектирования и разработки (макромодули, макрокоманды и т.п.).
МАРКЕР [marker] - специальный знак на носителе информации для обозначения границ зоны и распознавания свойств записанной информации.
МАСКА [mask] - позиционный код, каждый бит которого служит для выполнения определенной функции, например, выделение бита, байта, слова и др.
МАССИВ [array] - объект индексируемого типа, значения которого - это агрегаты из значений одного и того же типа. М. - это одно- или многомерная структура данных, элементы которой упорядочены таким образом, что их описание однозначно определяет положение каждого элемента или путь доступа к нему.
МАСШТАБИРОВАНИЕ [scaling] - представление величин таким образом, чтобы их значения и результаты операций над ними находились в заданном диапазоне. Для приведения значений к заданному диапазону используются масштабные множители.
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ [mathematical induction] - прием доказательства общих положений в математике и математической логике. Основной принцип М.и.: пусть Р - некоторое свойство натуральных чисел; числу 0 соответствует некоторое свойство Р; если числу n присуще некоторое свойство Р, то и следующему за ним числу присуще свойство Р; тогда каждому натуральному числу m присуще свойство Р. Р(n) - индукционное предложение, переменная n - индукционная переменная, Р(0) - базис индукции, свойства следующего за n натурального числа является индукционным шагом.
МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА [mathematical linguistics] - математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и искусственных языков.
МАТЕМАТИЧЕСКАЯ ЛОГИКА [mathematical logic] - область математики, изучающая формальные системы с применением математических методов и специальных аппаратов для исследования мышления с помощью исчислений. М.л. исследует закономерности выводимого знания, получаемого из ранее установленных и проверенных истин без обращения к опыту. Немецкий философ и математик Г.В. Лейбниц первым ввел в логику математическую символику. Он мечтал о создании логики, в которой правила логического вывода были бы заменены вычислительными правилами. Им представлены первые наброски построения логических исчислений. Г.В. Лейбниц создал фундамент оснований информатики.
МАТЕМАТИЧЕСКАЯ МАШИНА (ММ) [mathematical machine] - виртуальная ВМ, реализуемая программно интерпретатором архитектуры этой ВМ. ММ может быть детерминированной, вероятностной, недетерминированной или дедуктивной. ММ - это абстрактное устройство или программированный автомат, осуществляющий переработку данных или представлений информации.
МАТЕМАТИЧЕСКАЯ МОДЕЛЬ [mathematical model] - полная совокупность математических предметов (объектов, чисел, переменных, матриц, множеств, точек, фигур и др.) и отношений между ними, отражающих некоторые свойства моделируемой вещи.
МАТЕМАТИЧЕСКИЕ ЗНАКИ [mathematical signs] - условные графические обозначения, предназначенные для записи математических понятий, предложений и выкладок. Самые первые М.з. - цифры.
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ [mathematical modeling] - метод исследования естественных (например физических) явлений или процессов с помощью специальных информационных моделей; метод основан на идентичности и однозначности форм и соотношений между величинами (в уравнениях) оригинала и модели.
МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ [mathematical support] - совокупность информационных моделей, методов и алгоритмов решения на ВМ заданий по разрешению проблем.