Исчисление

118

(формальная система) - система символов, основными компонентами которой являются. 1) алфавит (совокупность элементарных символов - букв. Цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы), 4) правила вывода теорем (производных доказуемых формул) из аксиом.Символам формальной системы может придаваться различная смысловая интерпретация в зависимости от того, какая конкретная семантическая модель ставится в соответствие всей формальной системе в целом. В результате такой интерпретации И. Преобразуется в формальный язык. Напр., язык логики высказываний и язык логики предикатов являются интерпретированными логическими И. Язык арифметики - интерпретированным логико-математическим И.

Язык теории множеств - интерпретированным теоретико-множественным И., и т.д. Логические И. Являются важнейшей разновидностью формальных систем. От др. Формальных систем такие И. Отличаются сугубо логическим пониманием формул и правил вывода. Формулы, содержащие неквалифицированные переменные, рассматриваются в качестве пропозициональных переменных, вместо которых допускается подстановка соответствующих высказываний, а правила вывода задаются с таким расчетом, чтобы они отражали отношение логического следования между формулами. Наиболее значимыми являются классическое И. Высказываний и классическое И. Предикатов. На основе собственно логических И. Строятся различные прикладные И. Путем присоединения к логическим аксиомам тех или иных дополнительных аксиом.

Прикладным логическим И. Является, в частности, И. Предикатов с равенством, получающееся в результате добавления к классическому И. Предикатов дополнительных аксиом, характеризующих отношение математического равенства..

Значения в других словарях
Исчисление

основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) — и Алгоритмы решения. Примерами И. Могут служить совокупность арифметических правил оперирования с цифрами (т. Е. Числовыми знаками), «буквенное» И. Элементарной алгебры, дифференциальное И., интегральное И., вариационное И. И д..

Исчисление

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

Исчисление

Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. И И. Конечных разностей.. ..

Исчисление

-я, ср.. ..

Исчисление

Просчитывание, эвальвация, подсчитывание, считание, подсчет, вычисление, расценивание. ..

Исчисление

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

Исчисление

Ср.1) Процесс действия по знач. Глаг. Исчислять (1), исчислить. Подсчет, вычисление.2) устар. Процесс действия по знач. Глаг. Исчислять (2), исчислить. Перечисление.. ..

Исчисление

Исчисления, ср. (книжн.). 1. Действие по глаг. Исчислить-исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.. ..

Исчисление

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

Исчисление

- 1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа. Напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. Е. Способ задания множества путем указания исходных элементов (аксиом исчисления) и вывода правил, каждое из к-рых описывает, как строить новые элементы из исходных и уже построенных. Выводомв И. Наз. Такое линейно упорядоченное множество, что всякий его элемент Рявляется либо аксиомой И. ..

Исчисление

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

Исчисление

ИСЧИСЛЕНИЕ, область математики, включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ. Дифференциальное исчисление имеет дело с дифференцированием, т.е. Процессом нахождения мгновенной скорости изменения функции в любой момент времени. Предельные значения приращения функции устанавливаются, когда приращение одной из ее переменных стремится к нулю. Отношение этих величин называют ПРОИЗВОДНОЙ. Дифференциальное исчисление используют для определения наклона кривых. Интегральное исчисление посв..

История Развития

Наука о развитии вообще. В узком смысле слова – наука о развитии жизни в ходе истории развития земли (роды и виды – филогенез, история рода) и о развитии отдельных существ, индивидов (онтогенез, развитие зародыша).. ..

История Философии

— философская дисциплина, предметом которой является процесс возникновения и развития философского знания. И.Ф. Представляет собой теоретическую реконструкцию, интерпретацию и критическое осмысление этого знания, выявление внутренней связи и взаимообусловленности его составляющих, представленных различными философскими течениями, школами и направлениями, а также выявление их социокультурной обусловленности. Будучи специфическим способом философского исследования, имеющим дело с проблемами, не вх..

Исчисление Бесконечно Малых Величин

(франц. Calcul infinitesimal) – вычисления, производимые с бесконечно малыми величинами, при которых производный результат рассматривается как бесконечная сумма бесконечно малых. Исчисление бесконечно малых величин является общим понятием для дифференциальных и интегральных исчислений, составляющих основу современной высшей математики.. ..

Итальянская Философия

– 1. Введение. В развитии схоластической философии принимали участие итал. Ученые с мировым именем – это прежде всего Ансельм Кентерберийский, Бонавентура и Фома Аквинский. Собственно итал. Философия начинается с Ренессанса – возрождения греч. Философии, совершавшегося в итал. Духе. 2. Ренессанс и гуманизм. За платоновскую философию выступил Плетон (ок. 1355-1450), потому что она ближе, чем аристотелевская, стояла к христ. Способу мышления. К нему присоединились Марсилио Фичино, руководитель пла..

Исчисление

Исчисление см. Считать, исчисление.. ..

Исчисление

— основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволя­ющий дать точное описание некоторого класса задач, а для от­дельных подклассов этого класса - и алгоритм решения. В математической логике понятие об И. Подверглось уточнению и более строгой формализации. Логическое И. Строится на базе не­которого формализеванного языка. Задается набор исход­ных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некото..

Дополнительный поиск Исчисление Исчисление

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Исчисление" в словаре Философский словарь, подробное описание, примеры использования, словосочетания с выражением Исчисление, различные варианты толкований, скрытый смысл.

Первая буква "И". Общая длина 10 символа