Исчисление (значения)

Исчисление (значения)

В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).

Исчисления в математической логике:

Разрешение неоднозначностей

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "Исчисление (значения)" в других словарях:

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

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

  • Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …   Википедия

  • Исчисление конечных разностей — Конечной разностью функции от одной или нескольких переменных называется приращение функции при данных конечных приращениях переменных независимых. Под И. конечных разностей разумеют совокупность правил: 1) для определения изменений, которым… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ИСЧИСЛЕНИЕ СРОКОВ НАКАЗАНИЙ — регламентировано в ст. 72 УК РФ, согласно которой: 1. Сроки лишения права занимать определенные должности или заниматься определенной деятельностью, исправительные работ, граничение по военной службе, ограничения свободы, ареста, содержания в… …   Словарь-справочник уголовного права

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

  • Логическое исчисление —         Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и …   Большая советская энциклопедия

  • ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз …   Математическая энциклопедия

  • Стохастическое исчисление Ито — Исчисление Ито  математическая теория, описывающая методы манипулирования со случайными процессами, такими как броуновское движение (или винеровский процесс). Названа в честь создателя, японского математика Киёси Ито. Часто применяется в… …   Википедия

  • Вариационное исчисление — Вариационное исчисление  это раздел функционального анализа, в котором изучаются вариации функционалов. Самая типичная задача вариационного исчисления состоит в том, чтобы найти функцию, на которой заданный функционал достигает… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»