ИСЧИСЛЕНИЕ

энциклопедия

ИСЧИСЛЕНИЕ

спутниковые антены

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

Может Вы искали что-то из этого:
ИСФАХАНИ ИСФАХАНСКАЯ ШКОЛА миниатюры ИС-ФЬОРД (Isfjord) ИСХОД ("Книга исхода") ИСЧЕРПЫВАНИЯ МЕТОД ИСЧИСЛЕНИЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ КЛАССОВ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ ИТАБИРА (Itabira) ИТАБИРИТ
Алфавитный каталог
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Форма для поиска в системе NaVoprosOtveta.Net

Введите интересующее Вас слово (вопрос) :

Если не знаете как правильно пишется необходимое Вам слово (вопрос) - используйте алфавитный каталог или выборку слева

Это будет интересно узнать всем любознательным

ИНСПИРАЦИЯ (от лат. inspiratio - вдохновение, внушение)
1) наущение, подстрекательство. Инспирированный - вызванный чьим-либо подстрекательством, внушением...2) В физиологии - вдох, вдыхание. ...

ИОННОЕ ВНЕДРЕНИЕ (ионная имплантация)
введение посторонних (примесных) атомов внутрь твердого тела путем бомбардировки его ионами; способ легирования полупроводников. ...

ИСАНИН Николай Никитич (1904-90)
российский ученый, академик АН СССР (1970), дважды Герой Социалистического Труда (1963, 1974). Основные труды по судостроению. Ленинская премия (1959), Государственная премия СССР (1942). ...

ИЧНЯ
город (с 1957) на Украине, Черниговская обл. Железнодорожная станция. 13,8 тыс. жителей (1991). Пищевая промышленность. ...

ИЖОРСКИЙ ЯЗЫК
язык ижорцев. Относится к финно-угорским языкам (прибалтийско-финской ветви). Бесписьменный. ...

ИНВЕКТИВА (от позднелат. invectiva oratio - бранная речь)
разновидность сатиры, гневное письменное или устное обвинение, памфлет; диатриба. ...

ИНДИКАТОРЫ ХИМИЧЕСКИЕ
органические и неорганические вещества, используемые для определения водородного показателя pH или установления конечной точки титрования (обычно по изменению окраски). Различают кислотно-основные (напр., фенолфталеин, лакмус), окислительно-восстановительные (напр., метиленовый синий) и др. ...