знаковая система , создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из буквалфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз),и процесса вывода потенциально значимых (истинных) формул исчисления (егофразеологии) из некоторого фиксируемого в том же языке набораформул-аксиом. Любое исчисление однозначно определяется заданием алфавитаисчисления, правил образования языка в алфавите, множества аксиом и правилпреобразования (вывода) его фразеологии. Приписывание символам исчислениязначений, т. е. рассмотрение исчислений как знаковой системы(интерпретация исчислений), преобразует исчисление в формализованный язык.Основные примеры исчисления: числовые и алгебраические системы, логическиеисчисления.
Что такое Исчисление? Значение слова Исчисление в энциклопедическом словаре
Исчисление - знаковая система, создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из буквалфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз),и процесса вывода потенциально значимых (истинных) формул исчисления (егофразеологии) из некоторого фиксируемого в том же языке набораформул-аксиом. Любое исчисление однозначно определяется заданием алфавитаисчисления, правил образования языка в алфавите, множества аксиом и правилпреобразования (вывода) его фразеологии. Приписывание символам исчислениязначений, т. е. рассмотрение исчислений как знаковой системы(интерпретация исчислений), преобразует исчисление в формализованный язык.Основные примеры исчисления: числовые и алгебраические системы, логическиеисчисления.
Однокоренные и похожие слова:
Значение слова Исчисление в других словарях:
- Что такое Исчисление? Словарь логики
- Определение термина Исчисление? Философский словарь
- Толкование слова Исчисление? Толковый словарь Ушакова
Узнайте лексическое, прямое, переносное значение следующих слов:
- Итальянский Карандаш - инструмент для рисования. Известные с 14 в.,итальянские карандаши ...
- Итальянская Энциклопедия Наук Литературы И Искусства - (""Enciclopediaitaliana di scienze, lettere ed arti"") (""Итальяна""), универсальнаяэнциклопедия, ...
- Итальянская Саранча - насекомое семейства настоящих саранчовых; вредительсельскохозяйственных и дикорастущих растений ...
- Итальянская Коммунистическая Партия (Икп) - основана 21 января 1921 (до1943 называлась КП Италии). ...
- Итальяна - см. ""Итальянская энциклопедия наук, литературы и искусства"". ...
- Италошвейцарцы - народ в Швейцарии (230 тыс. человек, 1992). Живут ...
- Италия - дирижабль полужесткого типа, построен в 1927 в Италии. ...
- Истрия - (Истра) (Istria Istra), полуостров в Хорватии, Словении ...
- Истрина - Евгения Самсоновна (18831957) российский языковед,членкорреспондент АН СССР ...
- Истребительно-Бомбардировочная Авиация - род военной авиации; предназначендля поражения воздушных и наземных ...
- Истребитель-Бомбардировщик - реактивный сверхзвуковой боевой самолетфронтовой (тактической) авиации, сочетает качества ...
- Истранджа - (Istranca) (Странджа) горы в Турции и Болгарии. ...
- Истра - река в Московской обл., левый приток р. Москва. ...
- Истпарт - Комиссия по истории Октябрьской революции и РКП(б), с ...
- Санга - в тамильских легендах литературная академия, создавшая поэтическиесборники ""Эттуттохей"" ...