Исчисление - definitie. Wat is Исчисление
Diclib.com
Woordenboek ChatGPT
Voer een woord of zin in in een taal naar keuze 👆
Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

  • hoe het woord wordt gebruikt
  • gebruiksfrequentie
  • het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
  • opties voor woordvertaling
  • Gebruiksvoorbeelden (meerdere zinnen met vertaling)
  • etymologie

Wat (wie) is Исчисление - definitie

СТРАНИЦА ЗНАЧЕНИЙ В ПРОЕКТЕ ВИКИМЕДИА
Исчисление (значения)

Исчисление         

основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) - и Алгоритмы решения. Примерами И. могут служить совокупность арифметических правил оперирования с цифрами (т. е. числовыми знаками), "буквенное" И. элементарной алгебры, дифференциальное И., интегральное И., вариационное И. и другие ветви математического анализа и теории функций. Несмотря на раннее происхождение, термин "И." употреблялся в математике до недавнего времени без строгого общего определения. С развитием математической логики возникла потребность в общей теории И. и в уточнении самого понятия "И.", которое подверглось более последовательной формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Д. Гильберта) представление об И. Рассматривается некоторый (вообще говоря, бесконечный, хотя и, быть может, задаваемый посредством конечного числа символов) алфавит, из элементов которого, именуемых буквами, с помощью четко сформулированных правил образования строятся формулы рассматриваемого И. (называемые также иногда словами, или выражениями). Некоторые из таких ("правильно построенных") формул объявляются аксиомами, а из них с помощью правил преобразования (или, иначе, правил вывода) "выводятся" новые формулы, называемые теоремами данного И. Иногда термин "И." относят лишь к "словарной" ("выразительной") части описанного построения, говоря, что присоединение к ней "дедуктивной" части (т. е. добавление к алфавиту и правилам образования аксиом и правил ввода) даёт формальную систему. Впрочем, эти термины часто считают синонимичными (и в качестве синонимов пользуются также терминами "логистическая система", "формализм", "формальная теория" и многими др.). Если такое неинтерпретированное ("бессмысленное") И. сопоставить с некоторой интерпретацией (См. Интерпретация) (или, как говорят, дополнить чисто синтаксические рассмотрения некоторой семантикой; см. Логическая семантика) то получают Формализованный язык. Представление содержательных логических (и логико-математических) теорий в виде формализованных языков есть характерная особенность математической логики (см. также Доказательство).

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14-20; Марков А. А., Теория алгорифмов, М.-Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.

Ю. Л. Гастев.

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

Wikipedia

Исчисление

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

  • Дифференциальное исчисление
  • Интегральное исчисление
  • Вариационное исчисление
  • Многомерное исчисление (анализ функций многих переменных)

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

  • Логическое исчисление (основная статья)
  • Исчисление высказываний
  • Исчисление предикатов
  • Лямбда-исчисление
  • Исчисление Ламбека
Voorbeelden uit tekstcorpus voor Исчисление
1. Статья '. Исчисление протяженности автомобильных дорог 1.
2. - Как производится исчисление дивидендов организациями, применяющими УСН?
3. Исчисление налога за приватизированную квартиру по рыночной стоимости жилого помещения.
4. Исчисление стажа работы, дающего право на получение надбавки 6.
5. Но в подобных случаях обычное исчисление возраста теряет свой смысл.
Wat is Исчисл<font color="red">е</font>ние - definition