ПРИМЕР [example] - конкретный образец, представитель понятия, множества, системы и т.п.
ПРИМИТИВ [primitive] - фундаментальная операция, множество которых составляет основу любого языкового, логического или физического процессора. П. имеет обозначение в языках программирования, представляемое либо отдельным символом, либо последовательностью выделенных символов, либо лексемой.
ПРИНЦИП [principle] - основное исходное положение какой-либо теории, учения, науки, мировоззрения и т.п.; основная особенность устройства, прибора, механизма, машины и т.п. Основным П. информатики является положение, по которому любое знание может быть представлено в виде, пригодном для ввода в ВМ, обработки, хранения и вывода из ВМ.
ПРИНЦИП УМОЛЧАНИЯ [default principle] - принятый во многих языках программирования принцип неявного определения свойств, признаков и значений, приписываемых языковым понятиям при выполнении определенных условий и контекста использования понятия. В соответствии с П.у. объектам в языке Фортран предписывается тип.
ПРИОБРЕТЕНИЕ ЗНАНИЯ [aquisition of knowledge] - извлечение каким-либо методом и формулирование (определение) знаний.
ПРИОРИТЕТ [priority] - характеристика, определяющая относительную важность, срочность или очередность выполнения некоторого программного модуля. П. может оцениваться количественно.
ПРИСВАИВАНИЕ [assignment] - базовая операция типа, придающая новое значение переменной, имя которой указано слева от операции и вычислено. Новое значение получается в результате вычисления выражения, помещенного справа от операции, проверки принадлежности значения выражения типу переменной и выполнения допустимого неявного преобразования значения выражения к типу переменной.
ПРОБЛЕМА (в частном смысле - задача) [problem] - сложный теоретический или практический запрос, требующий изучения и разрешения, возникающий в противоречивых ситуациях и передаваемый интеллектуальной системе.
ПРОБЛЕМА ДОКАЗАТЕЛЬСТВА ИСТИННОСТИ [truth proofing problem] - класс запросов на установление истинности высказывания на основе имеющихся знаний.
ПРОБЛЕМА ИНФОРМАЦИОННОГО ПОИСКА [information search problem] - класс запросов пользователя на дополнительную информацию о предмете, явлении или процессе на основе имеющихся данных и знаний в базах. Например, использование СУБД, СУБЗ, машинный перевод, понимание естественного языка.
ПРОБЛЕМА ПОИСКА УСЛОВИЙ ИСТИННОСТИ [truth condition problem search] - класс запросов на установление логических условий, при которых исходное высказывание становится истинным.
ПРОБЛЕМА СИНТЕЗА АЛГОРИТМА [algorithm synthesis problem] - класс запросов на построение алгоритмов на основе исходных знаний в базе и от пользователя при неизвестных исходных данных.
ПРОБЛЕМА СИНТЕЗА ПЛАНА [plan synthesis problem] - класс запросов на построение пути решения конкретной проблемы по исходным знаниям в базе и от пользователя до получения полного ее решения. Например, поиск рассуждений, графиков работ, схем программ и др.
ПРОБЛЕМА СИНТЕЗА ПОНЯТИЙ [concept synthesis problem] - класс запросов по формированию характеристик или имени понятия на основе имеющегося знания. Например, распознавание образов, речи, анализ сцен.
ПРОБЛЕМА СИНТЕЗА СТРУКТУР И СИСТЕМ [structure and system synthesis problem] - класс запросов на конструирование систем на основе исходных знаний в базе и от пользователя при неизвестных функциях. Например, построение планов обучения или систем моделирования.
ПРОБЛЕМНАЯ ОБЛАСТЬ [problem scope] - конечный набор операций, определенных для предметной области в некоторой аксиоматике или алгоритмически.
ПРОБЛЕМНОЕ ПРОГРАММИРОВАНИЕ [problem programming] - метод информатики, поддержанная синтаксически и семантически совокупность способов описания теорий (исчислений), проблем и операций с теориями и проблемами, предназначенными для формализации конкретных заданий и формального синтеза программ на базе исчислений и алгебры проблем.
ПРОБЛЕМНО-ОРИЕНТИРОВАННЫЙ ЯЗЫК [problem-oriented language] - язык программирования, предназначенный для описания процессов решения класса проблем в терминах функций без подробной детализации шагов вычисления значений.
ПРОВЕРКА ПРИНАДЛЕЖНОСТИ [check {examine} an accesories] - базовая операция типа, которая реализует проверку вхождения значения объекта (или выражения) в диапазон значений типа.
ПРОВЕРЯЕМОСТЬ (знаний) [checkment] - готовность данных, программ и знаний для выполнения функций в соответствии с их определением.
ПРОГНОЗ [prediction] - результат процесса предсказания будущего состояния или хода развития изучаемого предмета, явления или некоторого процесса. Этот результат может иметь форму вероятностного суждения о свойствах или отношений этих предметов, явлений или процессов.
ПРОГРАММА [program] - 1. Последовательность команд, при выполнении которой создается последовательность действий, приводящая к решению проблемы с помощью ВМ и представляющая алгоритм решения проблемы. П. представляется одним или несколькими модулями, связанными по данным или управлению. Среди нескольких модулей выделяется главная подпрограмма, с которой начинается выполнение П. П. например, бывает ассемблерной, диагностической, загрузочной, исходной, комплексной, линейной, обрабатывающей, системной, вспомогательной, обмена, обслуживающей, обучающей, объектной, отладочной, пользовательской, прикладной, рабочей, редактирующей, резидентной, сервисной, тестовой, текстовой, управляющей, фоновой. 2. План действий, подлежащий выполнению; он представлен предписанием.
ПРОГРАММАТОР [programmer] - специальное устройство для записи программ в программируемое запоминающее устройство или перепрограммируемое постоянное запоминающее устройство.
ПРОГРАММА УПРАВЛЕНИЯ СТАНКОМ [tool control program] - последовательность макрокоманд системы управления станком со встроенными ВМ. П.у.с. предназначена для управления координатами перемещающихся органов и устройствами электроавтоматики.
ПРОГРАММИРОВАНИЕ [programming] - процесс создания (составления) программы, плана решения. П. использует некоторый язык программирования. Вообще, П. бывает динамическое, линейное, математическое, целочисленное, стохастическое. П. ВМ бывает модульное, блочное, структурное, иерархическое, пошаговое, системное, П. параллельных, приближенных или последовательных вычислений, П. реального, астрономического или интервального времени. Различают следующие направления или сорта в науке П. (здесь приведены только некоторые сорта для указания большого разнообразия работ в информатике):
ПРОГРАММИРОВАНИЕ АСТРОНОМИЧЕСКОГО ВРЕМЕНИ [programming an astronomical time] - метод информатики, включающий способ программирования расчетов даты и временных интервалов, астрономического календаря для определения дня, месяца, года, текущего значения часов, продолжительности интервала между двумя датами и выполнение операций с этими данными. Метод П.а.в. должен обеспечить доступ к внутреннему календарю и внутренним часам ВМ. Метод П.а.в. предназначен для привязки программ реального времени к календарным циклам.
ПРОГРАММИРОВАНИЕ ВРЕМЕННЫХ ДИАГРАММ [programming the temporary diagrams] - метод информатики, состоящий из совокупности синтаксически и семантически поддержанных способов и приемов управления процессами по времени, инициирующий выполнение программных частей или модулей и подчиненными заданной временной диаграмме работ для каждой части или модуля с учетом внешних кодовых воздействий, осуществляющий информирование программы о состоянии внешних предметов или информационный запрос на выполнение работ.
ПРОГРАММИРОВАНИЕ ДАННЫХ [data programming] - синтаксически и семантически определенные методы и способы ввода, символьной записи, хранения и вывода данных для обеспечения работы программ или создания баз данных или знаний, а также способы применения операций перевода данных из одной формы в другую, выработки атрибутов различных представлений данных и образования форм данных по заданным атрибутам.
ПРОГРАММИРОВАНИЕ МНОЖЕСТВА ДАННЫХ [set data programming] - синтаксически и семантически определенные методы ввода, хранения, обработки и вывода атрибутов типов данных для обеспечения работы обслуживающих и системных программ и процессов предвыполнения и выполнения программ, а также приемы синтаксического и семантического описания типов данных, их атрибутов и допустимых операций над ними, приемы использования типов для квалификации и контроля правильности использования понятий и выражений, приемы указания средств моделирования множеств данных при построении алгоритмов теоретико-множественных операций.
ПРОГРАММИРОВАНИЕ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ [parallel programming] - метод информатики, применяемый в разработках программ для многопроцессорных ВМ и многомашинных комплексов. П.п.в. включает способы организации одновременного выполнения взаимодействующих программ или программных модулей, способы синхронизации их по данным и управлению или по временным графикам работ, способы осуществления обменов данными. П.п.в. должно поддерживаться синтаксически и семантически в языке программирования подходящим формализованным механизмом синхронизации.
ПРОГРАММИРОВАНИЕ ПОСЛЕДОВАТЕЛЬНЫХ ВЫЧИСЛЕНИЙ [programming the consequent calculations] - метод информатики для разработки программ ВМ, построенный по принципам фон Неймана. П.п.в. предполагает последовательную запись операций, среди которых могут помещаться операции прерывания и передачи управления на другую последовательность операций, возможно, с возвратом в исходную точку последовательности. Порядок формирования записей операций обычно согласуется по форме с записью естественного языка.
ПРОГРАММИРОВАНИЕ ПРИБЛИЖЕННЫХ ВЫЧИСЛЕНИЙ [approximate calculations programming] - метод информатики, содержащий приемы введения и поддержания представлений числовых вещественных данных и операций над ними для обеспечения контролируемых приближенных вычислений с заданной абсолютной или относительной погрешностью исходных данных и результатов. П.п.в. должно поддерживаться синтаксически и семантически языком программирования.