|
|
|
|
|
|
|
|
|
Программирование логическое
Глоссарий по искусственному интеллекту |
Программирование, при котором программа представляется в виде процедуры логического вывода в исчислении предикатов первого порядка. механизм вывода обычно встроен в язык п.л. примером может служить распространенный в интеллектуальных системах язык пролог, в который встроен обратный вывод.
|
|
Логическа алгебра, болгарский
Алгебра логики
Логическа команда, болгарский
Логическая команда (команда, выполняющая логическую операцию)
Логическа операция, болгарский
Логическая операция (операция, которая выполняется в соответствии с правилами булевой алгебры)
Логическа структура, болгарский
Логическая структура (совокупность связей и порядок взаимодействия отдельных частей некоторой системы) 6-л 41
Логическа схема на алгоритмите, болгарский
Логическая схема алгоритма (представление в графической форме логической структуры алгоритма решения задачи)
Логическа схема на програмата, болгарский
Логическая схема программы (представление в графической форме логической структуры программы)
Логическая адресация блоков;, русский
Логическая бомба, русский
Логическая единица;, русский
Логическая машина, русский
, механическое или электронное устройство для выполнения логарифмических операций: оценки и преобразования формул, доказательства теорем, преобразования информации и пр. разработаны специализированные логические машины; в качестве логических машин применяются также универсальные эвм (по соответствующим программам).
Логическая модель, русский
См. диаграмма потоковая.
Логическая операция, русский
, операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. основные и наиболее распространенные логические операции, реализуемые в эвм, - дизъюнкция, конъюнкция, отрицание; при составлении программ для эвм более сложные логические операции обычно сводят к трем основным.
Логическая ошибка, русский
, вызывается нарушением правил или законов логики; признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.
Логическая семантика, русский
, теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. в более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.
Логическая система, русский
Логическая строка;, русский
Логическая структура, русский
Последовательность взаимосвязанных смысловых частей, из которых состоит документ в электронном виде или иной информационный объект. различается от физической структуры
Логическая структура; логическая схема; логический проект;, русский
Логическая схема, русский
Логическая схема с высоким пороговым напряжением, русский
Логическая схема;, русский
Программирование, русский
- , процесс подготовки задач для решения их на эвм, состоящий из следующих этапов: составление "плана решения" задачи в виде набора операций (алгоритмическое описание задачи); описание "плана решения" на языке программирования (составление программы); трансляция программы с языка программирования на машинный язык (в виде последовательности команд, реализация которых техническими средствами эвм и есть процесс решения задачи). программированием называют также раздел прикладной математики, изучающий и разрабатывающий методы и средства составления, проверки и улучшения программ для эвм.
- Процесс представления алгоритма решения задачи в виде, "воспринимаемом" эвм. программирование включает детализацию алгоритма уровня элементарных операторов; запись алгоритма на выбранном языке программирования и описание процессов управления ходом выполнения программ на эвм.
Распространенный, русский
Распространенный , известный
|
Программирование объектно-ориентированное, русский
Программирование, при котором программа трактуется как множество объектов и сообщений, циркулирующих между этими объектами. такой подход вносит в программу модульность.
Программа эвристическая, русский
Программа, в основу которой положены соображения о том, как данную проблему решает человек.
|
|
|
|
|
|
|