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