В начало сайта

А... Б... В... Г... Д... Е... Ж... З... И... К... Л... М... Н... О... П... Р... С... Т... У... Ф... Х... Ц... Ч... Ш... Э... Ю... Я...

ИСЧИСЛЕНИЕ

          - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка И., т.е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул И. (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое И. однозначно определяется заданием алфавита И., правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам И. значений, т. е. рассмотрение И. как знаковой системы (интерпретация И.), преобразует И. в формализованный язык. Основные примеры И.: числовые и алгебраические системы, логические И.

(Туристический терминологический словарь. 1999)
ИС..

забастовка

заповедник

изоморфизм

инвестиции

ингредиент

индекс цен

индексация

инертность

инжиниринг

инициатива

иностранец

инсинуация

инструкция

инструмент

интеграция

интервьюер

интимность

интроекция

информация

казачество

канцелярия

капитализм

картосхема

католицизм

классицизм

количество

коллоквиум

комбинация

композиция

компромисс

конкретное

коносамент

консигнант

консорциум

контингент

контрагент

контролинг

конурбация

конформизм

Библиотека словарей "Словарник"v169