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