IPB

Здравствуйте, гость ( Вход | Регистрация )

Введите слово для поиска


Результаты поиска

Современный толковый словарь

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

Ссылка на документ: ИСЧИСЛЕНИЕ ,
Текстовая версия

Кен РАССЕЛ
английский кинорежиссер («Томми», «Листомания», «Преступления страсти»). >>>

Смотреть календарь

На Курском направлении наши войска отражали крупные и ожесточенные танковые атаки немецко-фашистских войск. Противник несет огромные потери.

На Белгородском и Волчанском направлениях наши войска отражали атаки противника.

П...>>>

Смотреть календарь

ДЫМОВОЙ дымовая, дымовое. 1. Прил. к дым. Дымовая труба. || Состоящий из дыма. Дымовая завеса (см. завеса). 2. Противодымный (спец.). Дымовая маска (у пожарных).