Исчисление

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

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

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

-я, ср.. ..

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

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

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

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

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

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

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

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

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

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

— мысль или высказывание, соответствующие своему предмету. Мысль соответствует своему предмету, если представля­ет его таким, каков он есть на самом деле, в реальности. Напр., мысль о том, что Иртыш есть приток Оби, соответствует своему предмету, ибо действительно Иртыш вливается в Обь. А мысль о том, что бананы растут на березе, искажает реальное положение дел, поэтому является ложью. Вопрос об И. Принадлежит сфере философии. Для логики важ­но иметь в виду следующее. Реальность, относительно ко..

- одна из возможных характери­стик высказывания с точки зрения соответствия его описываемо­му фрагменту действительности. Если допускается, что каждое выс­казывание является либо истинным, либо ложным (т. Е. Что оно либо соответствует действительности, либо не соответствует ей), говорят, что высказывание имеет одно из двух значений истинно­сти. Данное допущение, именуемое двузначности (бивалентности) принципом, лежит в основе логики классической. В многозначной логике допускается, что высказыван..

— в грамматике естественного языка парный знак препинания (обычно ,, ". Или « »), используемый для выделения прямой речи или отдельных выражений, которые употребляются не в привычном смысле. В логике К. Используются для того, чтобы отличить автономное употребление выражений от обычного. Напр., в предложениях «Мос­ква расположена на Москве-реке» и «Москва состоит из шести букв» слово «Москва» в первом предложении употребляется обыч­но, а во втором — автонимно, т. Е. В качестве имени самого се..

(в традиционной логике) -суждение, в котором предикат утверждается или отрицается отно­сительно субъекта без формулирования к.-л. Условий и при этом исключаются к.-л. Альтернативные предикаты. К.с. Имеют вид. «S есть (не есть) Р» и относятся к классу простых суждений. К. С. Обыч­но противопоставляются условным и разделительным суждениям.. ..