Логика [модальная] ... Логика — Расчет - Навигатор. Большая Энциклопедия Нефти и Газа.

БЭНГ

Чистая информация !




Логика [модальная] ... Логика — Расчет

Логика [модальная]

Модальная логика в отличие от логики предикатов первого порядка рассматривает утверждения при некоторых обстоятельствах, случаях. Мы не придаем термину случай точного значения, например, не отождествляем случай с моментом времени или с возможными мирами, по крайней мере, в принципе. Точные значения этого термина могут быть введены в приложениях модальной логики. Заметим только, что различие случаев не должно отождествляться с различием индивидов или предикатов. Это переменная особого рода, отличная от предметных переменных. ...

Логика — Модуль

Логика модуля - это описание внутреннего алгоритма модуля или описание того, как он выполняет свою функцию. ...

Логика [монтажная]

Монтажная логика дает возможность в ряде случаев уменьшить и аппаратурные затраты. ...

Логика [немонотонная]

Немонотонные логики должны иметь системы вывода для моделирования модифицируемых ( следовательно, необщезначимых в классическом смысле) рассуждений. Формализующая эти рассуждения система вывода должна давать правдрподобные формулы. В этом предположении моделируют разумного субъекта, заключения которого выполнимы вместе с множеством исходных сведений. Например, заключение Тити летает не является общезначимым следствием из множества двух посылок: Большинство птиц летает и Тити - птица. Оно просто выполнимо с этим множеством. Следовательно, заключение принадлежит к. ...

Логика [нечеткая]

Нечеткая логика используется для замены традиционных алгоритмов управления и совместно с ними. ...

Логика — Отношение

Логика отношений - раздел математической логики, изучающий отношения. ...

Логика [отрицательная]

Отрицательная логика - система сигналов, в которой логической единице соответствует низкий уровень напряжения, а логическому нулю - высокий. ...

Логика [положительная]

Положительная логика - система сигналов, в которой логической единице соответствует высокий уровень напряжения, а логическому нулю - низкий. ...

Логика — Построение

Логика построения этих схем следует из взаимной инверсности функций равнозначности и неравнозначности. ...

Логика — Предикат

Логика предикатов представляет собой развитие алгебры высказываний. ...

Логика — Программа

Логика программ, используемых в модели, должна была также предусматривать разработку алгоритмов генерации заданий в соответствии с заданными законами распределения вероятностей. ...

Логика [программная]

Программная логика представляется описанием и графической интерпретацией в виде блок-схемы или таблиц логических функций. ...

Логика [простая]

Простая логика, объясняющая, почему это должно работать. ...

Логика — Работа

Логика работы этого буфера напоминает работу быстрых регистров записи ( БРЗ) машины БЭСМ-6, в которых накапливаются операнды, часто используемые в процессе счета. ...

Логика — Работа — Программа

Логика работы программы в режиме повышенной плотности печати по горизонтали и вертикали претерпевает существенные изменения. Теперь символ должен печататься не за три, а за шесть проходов головки, причем перед каждым проходом бумагу нужно продвигать на 2 / 216 дюйма. Соответствующим образом необходимо скорректировать и текст программы. Ниже представлены ее модифицируемые и добавляемые строки. ...

Логика — Работа — Система

Логика работы системы в этом режиме вполне подобна той, которой она следует при анализе под аннелирование по Робинсону. Здесь она также направлена на анализ всех циклогексановых фрагментов целевой молекулы с целью обнаружения возможных путей их разборки с помощью трансформа Дильса-Альдера, и также обращается к необходимому набору процедур для ретросинтетического удаления и / или введения структурных элементов, когда это требуется для генерирования желаемого ретрона. ...

Логика — Работа — Схема

Логика работы схемы такова, что для получения информации об элементах одного столбца матрицы проводимостей (1.4) необходимо подключить к схеме опорный источник, порядковый номер которого соответствует порядковому номеру столбца. В этом случае напряжения на неинвертирующих входах усилителей УН1 и УН4 равны t / oi, а неинвертирующие входы усилителей УН2, УНЗ, УН5, УН6 подключены к общей шине, при этом усилители УН1 и УН4 работают в режиме неинвертирующих масштабных преобразователей, а усилители УН2, УНЗ, УН5, УН6 - в режиме инвертирующих масштабных преобразователей и разности напряжений в точках 2 - 2 и 3 - 3 равны нулю. ...

Логика [развитая]

Развитая логика позволяет успешно заниматься математикой, физикой, программированием. ...

Логика — Развитие

Логика развития естествознания такова, что одна его область при своем росте обязательно опирается на достижения другой. ...

Логика — Рассуждение

Логика рассуждений при этом такова - раз право может быть отчуждено, оно является вещью, пусть и особого рода, а значит, может выступать как объект права собственности. ...

Логика — Расчет

Логика расчетов в химии строится на рассмотрении числа элементарных объектов. Элементарными объектами могут быть атомы, молекулы, ионы, эквиваленты, радикалы, группы частиц и различные формульные единицы. Часто элементарные объекты выделяют искусственно, и они являются условными. ...

Страницы: 1 ... 25 26 27 28 29 30 31