|
|
|
|
|
|
|
|
|
Cant
|
- Log that is squared on two or more sides (24).
- A log that has been slabbed on one or more sides
- N жаргон (син. jargon) | v употреб- лять жаргон 1 применительно к генеалогическому древу. 2 применительно к генеалогическому древу. 3 раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие количест- венно охарактеризовать связи вещей, свойств и отношений. 4 логика высказываний, задаваемая системой постулатов (аксиом и правил вывода). 5 процесс чтения подсознательных, невербальных реакций другого человека во время взаимодействия.
- A cut made in a whale between the neck and the fins, to which the cant-purchase is made fast, for turning the animal round in the operation of flensing.
- [1]to tilt, tip, or place in an oblique position (e.g., for careening). [2] insincere, pious, or moralistic speech.
- The term used to denote the raising of the outer rail on curved track to allow higher speeds than if the two rails were level. cant compensates for the centrifugal force arising from a train traversing a curve. if a track was canted to the level required for the maximum speed of the fastest train, the level of tilt would be too high for a slower train. a compromise degree of cant is therefore used, known as `cant deficiency`.
- The dimension by which the outer rail on a curve is raised above the inner rail
|
Не могу, русский
|
Применительно, русский
Применительно , сообразно
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
Охарактеризовать, русский
Взаимодействия, русский
|
Can not, английский
Chirp signal, английский
|
|
|
|
|
|
|
