оператор следования
Смотреть что такое "оператор следования" в других словарях:
Точка следования — (англ. Sequence point) в программировании любая точка программы, в которой гарантируется, что все побочные эффекты предыдущих вычислений уже проявились, а побочные эффекты последующих еще отсутствуют. Их часто упоминают, говоря о… … Википедия
Коносамент — (Consignment) Определение коносамента, разновидности и функции коносамента Информация об определении коносамента, разновидности и функции коносамента Содержание Содержание Обозначение Разновидности и чартер как правовая основа морских перевозок… … Энциклопедия инвестора
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ГОРКА СОРТИРОВОЧНАЯ — станционное устройство, позволяющее благодаря уклону жел. дор. путей использовать при маневрах силу тяжести вагонов для самостоятельного их движения (скатывания) на разветвляющиеся пути сортировочного парка. Г. с. оборудуются крупные… … Технический железнодорожный словарь
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Российские железные дороги — Запрос «РЖД» перенаправляется сюда; см. также другие значения. Эта статья про открытое акционерное общество «РЖД», вы могли искать статью про железные дороги России. ОАО «Российские железные дороги» … Википедия
Балтийский вокзал (Таллин) — Координаты: 59°26′23.82″ с. ш. 24°44′13.74″ в. д. / 59.43995° с. ш. 24.73715° в. д. … Википедия
Deutsche Bahn — AG Тип … Википедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
РЕЛЕВАНТНАЯ ЛОГИКА — РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… … Философская энциклопедия
релевантная логика — РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и … Энциклопедия эпистемологии и философии науки