Словарь по логике

ИСЧИСЛЕНИЕ

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



  1. исчисление—системаstrong вычислениеstrong исчисление дедуктивная система система вычислениясовокупность правил оперирования с кл. символамиматематическая модель процесса перехода...Идеографический словарь русского языка
  2. исчисление—Исчисление см. Считать исчисление. ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Библейская энциклопедия Брокгауза
  3. исчисление—основанный на чтко сформулированных правилах формальный аппарат оперирования со знаками определнного вида позволяющий дать исчерпывающе точное описание некоторого класса ...Большая Советская энциклопедия II
  4. исчисление—с. calcolo m тж. мат. computo m Итальянорусский словарь. Синонимы ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Большой итальяно-русский и русско-итальянский словарь
  5. исчисление—исчислениеAufzhlungСинонимы ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Большой немецко-русский и русско-немецкий словарь
  6. исчисление—с Berechnung f Kalkulation f калькуляция исчисление убытков Verlustberechnung f мат. Rechnung f интегральное исчисление Integralrechnung f ад валорем вычисление подсчет...Большой немецко-русский и русско-немецкий словарь
  7. исчисление—исчисление с . Berechnung f c Kalkulation f c калькуляция исчисление убытков Verlustberechnung f . мат. Rechnung f c интегральное исчисление Integralrechnung fСинонимы ад...Большой немецко-русский и русско-немецкий словарь
  8. исчисление—calculus...Большой русско-английский словарь биологических терминов
  9. исчисление—с.clculo mem cmputo mem вычислениельное интеграuльное исчислеuние clculo differencial integral...Большой русско-испанский словарь
  10. исчисление—сущ. ср. рода. мат. название отделов высшей математикивирахування. действие по гл. исчислятьобчислювати . дифференциальное исчисление диференцальне числення . исчислени...Большой русско-украинский словарь
  11. исчисление—с. calcul m исчисление прибыли calcul du bnfice дифференциальное исчисление мат. calcul diffrentiel...Большой русско-французский словарь
  12. исчисление—с.calcul mисчисление прибыли calcul du bnficeдифференциальное исчисление мат. calcul diffrentiel ад валорем вычисление подсчет подсчитывание просчитывание расценивание ...Большой французско-русский и русско-французский словарь
  13. исчисление—ИСЧИСЛЕНИЕ знаковая система создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчислен...Большой энциклопедический словарь III
  14. исчисление—ИСЧИСЛЕНИЕ знаковая система создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчисле...Большой Энциклопедический словарь V
  15. исчисление—знаковая система создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы языка И. т. е. термов слов и ...Естествознание. Энциклопедический словарь
  16. исчисление—вылчэньне адлк...Кароткі расейска-беларускі фізыялягічны слоўнік
  17. исчисление—Исчисление ratio ratiocinium enumeratio...Латинский словарь
  18. исчисление—я ср.em .strong Действие по знач. глаг.em исчислитьисчислять вычисление.Исчисление времени.с определением.Название разделов высшей математики. Дифференциальное исчислен...Малый академический словарь
  19. исчисление—Составная часть названия некрых разделов математики трактующих правила вычислений и оперирования с объектами того или иного типа напр. дифференциальное И. вариационное И....Математическая энциклопедия
  20. исчисление—приставка ИС корень ЧИСЛ суффикс ЕНИ окончание Е Основа слова ИСЧИСЛЕНИВычисленный способ образования слова Приставочносуффиксальный или префиксальносуффиксальный ИС...Морфемный разбор слова по составу
  21. исчисление—Начальная форма Исчисление винительный падеж единственное число неодушевленное средний род...Морфологический разбор существительных
  22. исчисление—есептеу есептен шыару...Мұнай-газ терминдерінің орысша-қазақша сөздігі
  23. исчисление—ИСЧИСЛЕНИЕstrong область математики включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ. Дифференциальное исчисление emимеет дело с дифференцированием т.е. процес...Научно-технический энциклопедический словарь
  24. исчисление—некоторая знаковая символьная система. Любое исчисление однозначно определяется заданием алфавита исчисления правил образования языка в алфавите множества аксиом и правил...Начала современного естествознания
  25. исчисление—исчисление ср. Процесс действия по знач. глаг. исчислять исчислить подсчет вычисление. устар. Процесс действия по знач. глаг. исчислять исчислить перечисление....Новый толково-словообразовательный словарь русского языка
  26. исчисление—исчисление исчисление я...Орфографический словарь
  27. исчисление—u сu Пр.u об исчислении ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Орфографический словарь русского языка
  28. исчисление—исап есептеу...Орысша-қазақша «Электроника, радиотехника және байланыс» терминологиялық сөздік
  29. исчисление—calcul valuation...Политехнический русско-французский словарь
  30. исчисление—исчисление исчисления исчисления исчислений исчислению исчислениям исчисление исчисления исчислением исчислениями исчислении исчислениях...Полная акцентуированная парадигма по Зализняку
  31. исчисление—Орфографическая запись слова исчисление Ударение в слове исчисление Деление слова на слоги перенос слова исчисление Фонетическая транскрипция слова исчисление [щзлэнэ] Х...Полный фонетический разбор слов
  32. исчисление—лчення и лчння рахування рахуба счт лчба оконч. злчення и злчння зрахування чого обчислювання вичислювання ви[об]раховування оконч. обчислення вичислення вилчення вирахув...Російсько-український словник (Українська академія наук)
  33. исчисление—В золотом исчислении.hЗолотом на золото рахувавши обчислюючи на золото.По предварительному исчислению.hЗа попереднм обрахунком обчисленням....Російсько-український словник сталих виразів
  34. исчисление—исчисление яСинонимы ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Русский орфографический словарь
  35. исчисление—berekening eo kalkulorekening eo kalkulo...Русский-африкаанс словарь
  36. исчисление—Ср hesablama дифференциальное исчисление riyaz. diferensial hesablama....Русско-азербайджанский словарь
  37. исчисление—calculus computation...Русско-английский машиностроительный словарь
  38. исчисление—calculus...Русско-английский морской словарь
  39. исчисление—calculus computation исчисление с.ucalculusисчисление бесконечно малых infinitesimal calculusвариационное исчисление calculus of variationsвекторное исчисление vector...Русско-английский политехнический словарь
  40. исчисление—ср.calculation мат.u calculus pl.u li luses исчисление предикатов многозначное пропозициональное исчисление пропозициональное исчисление расширенное пропозициональное исч...Русско-английский психологический словарь
  41. исчисление—исчисление с.icalculation мат. icalculus...Русско-английский словарь
  42. исчисление—исчисление с. . вычисление calculation computation исчисление налога фин. calculation of a tax tax calculation . мат. calculus....Русско-английский словарь II
  43. исчисление—calculus ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Русско-английский словарь по машиностроению
  44. исчисление—numeration...Русско-английский словарь по нефти и газу
  45. исчисление—с. вариационное исчисление векторное исчисление дифференциальное исчисление интегральное исчисление исчисление бесконечно малых матричное исчисление операционное исчислен...Русско-английский словарь по физике
  46. исчисление—calculus вчт....Русско-английский словарь по электронике
  47. исчисление—calculus матем. estimate rating numbering numeration...Русско-английский строительный словарь
  48. исчисление—calculus computation вариационное исчисление векторное исчисление дифференциальное исчисление интегральное исчисление исчисление вероятностей исчисление высказываний исчи...Русско-английский технический словарь
  49. исчисление—numeration...Русско-английский экономический словарь
  50. исчисление—N...Русско-армянский словарь
  51. исчисление—Ср. падлк вылчэнне вылчэнне дифференциальное исчисление дыферэнцыяльнае вылчэнне...Русско-белорусский словарь
  52. исчисление—ср. падлк муж.i падлчванне ср.i падлчэнне ср.i лчэнне ср.iвылчэнне ср.i вылчванне ср.i мат.i вылчэнне ср.iдифференциальное исчисление дыферэнцыяльнае вылчэнне...Русско-белорусский словарь II
  53. исчисление—вылiчэuнне ння...Русско-белорусский словарь математических, физических и технических терминов
  54. исчисление—вылiчэнне ння...Русско-белорусский физико-математический словарь
  55. исчисление—ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Русско-ивритский словарь
  56. исчисление—numeracin clculo cmputo cuantificacin...Русско-испанский экономический словарь
  57. исчисление—с. матем. calcolo m алгебраическое исчисление исчисление бесконечно малых булево исчисление вариационное исчисление векторное исчисление исчисление вероятностей десятичн...Русско-итальянский политехнический словарь
  58. исчисление—calcolo computo...Русско-итальянский экономический словарь
  59. исчисление—computo...Русско-итальянский юридический словарь
  60. исчисление—есептеу исчисление отношении атынастарды есептеу исчисление стоимости продукции нмн нын есептеп шыару исчисление валовой системы жалпы соманы есептеу...Русско-казахский словарь
  61. исчисление—есептеу...Русско-казахский терминологический словарь «История»
  62. исчисление—ср. эсеп эсепт эсептеп чыгаруу исчисление стоимости продукции продукциянын баасын эсептеп чыгаруу....Русско-киргизский словарь
  63. исчисление—вычислениеem jsunисчисление прибылей и убытков мат. дифференциальное исчисление интегральное исчисление Синонимы ад валорем вычисление подсчет подсчитывание просчиты...Русско-китайский словарь
  64. исчисление—aprinana aprini rini...Русско-латышский словарь
  65. исчисление—skaiiavimas skaiiuot...Русско-литовский словарь
  66. исчисление—лувома...Русско-мокшанский словарь
  67. исчисление—Чулуу тоолол...Русско-монгольский словарь
  68. исчисление—Berechnung Kalkl Rechnung...Русско-немецкий политехнический словарь
  69. исчисление—Bewertung Ausrechnung Bemessung Berechnung Ermittlung Kalkl...Русско-немецкий экономический словарь
  70. исчисление—Bemessung Berechnung...Русско-немецкий юридический словарь
  71. исчисление—исчислениес мат убытков дифференциальное мат интегральное мат ....Русско-новогреческий словарь
  72. исчисление—rachunek...Русско-польский словарь
  73. исчисление—сclculo mu cmputo m ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Русско-португальский словарь
  74. исчисление—Исчислениеidadi kalkula mkokotoo mi ukadiri ед....Русско-суахили словарь
  75. исчисление—исчисление исоб исоб кардани исоб карда баромадани...Русско-таджикский словарь
  76. исчисление—с вычислениеem hesaplama мат. hesap bem Синонимы ад валорем вычисление подсчет подсчитывание просчитывание расценивание считание эвальвация...Русско-турецкий словарь
  77. исчисление—hisob...Русско-узбекский словарь Михайлина
  78. исчисление—матем. действие обчислення неоконч. ещ обчислювання обчисляння вирахування неоконч. ещ вираховування совокупность примов наименований и обозначений чисел числення ди...Русско-украинский политехнический словарь
  79. исчисление—n исчислять...Русско-финский словарь
  80. исчисление—valuation...Русско-французский медицинский словарь
  81. исчисление—ср chiffrage calcul tablissement оценка valuation в годовом исчислении par an в долларовом исчислении en dollars в процентном исчислении en pourcentage в реальном исчи...Русско-французский экономический словарь
  82. исчисление—kalkulus kamnek poet potn vypotn vpoet...Русско-чешский словарь
  83. исчисление—berkning.strong berkning...Русско-шведский словарь
  84. исчисление—.strong loend.strong loetelu nimekiri...Русско-эстонский словарь
  85. исчисление—основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида позволяющий дать точное описание некоторого класса задач а для отдельных подк...Словарь логики
  86. исчисление—из я ср.i.Действ. по гл. исчислить исчислять.Каменотесного дела мастер имеет быть обучен граммате арифметики геометри .em и во исчислении кубическом и квадратном доволен...Словарь русского языка XVIII в
  87. исчисление—исчисление просчитывание эвальвация подсчитывание считание подсчет вычисление расценивание Словарь русских синонимов. исчисление см. подсчт Словарь синонимов русского язы...Словарь синонимов II
  88. исчисление—исчисление просчитывание эвальвация подсчитывание считание подсчет вычисление расценивание...Словарь синонимов
  89. исчисление—h исчислениеbig сущ.сред.неод.i ед.пр. Между именами городов великого княжества Рязанского в исчислении русских городов иные нам знакомы другие вовсе исчезли.Пр....Словарь языка Грибоедова
  90. исчисление—вылчэньне...Слоўнік бугальтэрскае тэрмінолёгіі
  91. исчисление—основанный на чтко сформулированных правилах формальный аппарат оперирования со знаниями определ. вида позволяющий дать исчерпывающе точное описание некрого класса задач ...Советский философский словарь
  92. исчисление—ИСЧИСЛЕНИЕ знаковая система создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчислен...Современный энциклопедический словарь
  93. исчисление—Исчисление действия со знаками и знакосочетаниями определенного вида используемые при точном описании и эффективном решении задач. Исчислением являются например выполнен...Терминологический словарь автоматизации строительства и производственных процессов
  94. исчисление—ИСЧИСЛЕНИЕ исчисления ср. книжн. . Действие по глаг. исчислитьисчислять. Исчисление убытков. . Название отделов высшей математики мат. Диференциальное исчисление. Интегра...Толковый словарь русского языка II
  95. исчисление—ИСЧИСЛЕНИЕ ср. см. исчислять исчислить подсчет вычисление. устар. см. исчислять исчислить перечисление....Толковый словарь русского языка
  96. исчисление—Ударение в слове исчислениеУдарение падает на букву еБезударные гласные в слове исчисление...Ударение и правописание
  97. исчисление—Rzeczownik исчисление n wyliczenie n obliczenie n wyrachowanie odczas. n obliczenie odczas. n...Универсальный русско-польский словарь
  98. исчисление—ИСЧИСЛЕНИЕ формальная система система символов основными компонентами которой являются алфавит совокупность элементарных символов букв. цифр скобок и т.п. правила пос...Философская энциклопедия
  99. исчисление—обладающий определенными свойствами аппарат правил оперирования со знаками используемый при эффективном решении задач получении искомого результата или при доказательстве...Философская Энциклопедия (в 5 томах)
  100. исчисление—система правил оперирования со знаками расширяющая возможности содержательного мышления в решении задач ив доказательстве суждений выразимых средствами на языке данного И...Философский энциклопедический словарь
  101. исчисление—исчисление исчисления исчисления исчислений исчислению исчислениям исчисление исчисления исчислением исчислениями исчислении исчислениях Источник Полная акцентуированная ...Формы слова
  102. исчисление—Сени Селен Нил Нии Силен Лич Син Лесин Ленч Лен Челн Чес Исчисление Чили Чин Ение Числ Член Еле Иссл Счисление Счес Сличение Лесничие Лесс Лис Неслие...Электронный словарь анаграмм русского языка
  103. исчисление—Исчисление Этим словом означают отдельные части математики см. Вариационное И. Дифференциальное И. Интегральное И. и И. конечных разностей....Энциклопедический словарь
  104. исчисление—ИСЧИСЛЕНИЕ знаковая система создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчисле...Энциклопедический словарь естествознания
  105. исчисление—Этим словом означают отдельные части математики см. Вариационное И. Дифференциальное И. Интегральное И. и И. конечных разностей....Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона