Исчисление – знаковая система, создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из буквалфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз),и процесса вывода потенциально значимых (истинных) формул исчисления (егофразеологии) из некоторого фиксируемого в том же языке набораформул-аксиом. Любое исчисление однозначно определяется заданием алфавитаисчисления, правил образования языка в алфавите, множества аксиом и правилпреобразования (вывода) его фразеологии. Приписывание символам исчислениязначений, т. е. рассмотрение исчислений как знаковой системы(интерпретация исчислений), преобразует исчисление в формализованный язык.Основные примеры исчисления: числовые и алгебраические системы, логическиеисчисления.
Что такое Исчисление? Значение слова ischislenie, энциклопедический словарь
Значение слова «Исчисление» в Энциклопедическом словаре. Что такое исчисление? Узнайте, что означает слово ischislenie - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.
Исчисление
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):
«Исчисление» в других словарях:
Исчисление
- — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание...
Исчисление
- - основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание... и еще 1 определение
исчисление
- ИСЧИСЛ'ЕНИЕ , исчисления, ср. ( ·книж. ). 1. Действие по гл. исчислить - исчислять . Исчисление убытков. 2....
Связанные понятия:
- Андржеиовский Антон Лукьянович (Andrzeiowsky)
- Белелюбский Николай Аполлонович
- Герман Иаков
- Золотарев Егор Иванович
- Коркин Александр Николаевич
- Морозов Николай Александрович
- Россия, разд. Математика
- Рохманов Петр Александрович
- Сабинин Егор Федорович
- Фарварсон Андрей Данилович (Фархварсон, Henry Fargwarson)