На главную О проекте Обратная связь Помочь проекту Добавить в "Избранное"

  
Наши слова →  Словарь логики →  А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Исчисление

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

В других словарях:


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

/Большой Энциклопедический словарь/
Исчисление знаковая система, создаваемая использованием процессаобразования всех синтаксически правильных символических выражений из ...
Исчисление Высказываний раздел математической логики, аксиоматическоепостроение логики высказываний.
Исчисление Классов раздел математической логики, логика классов,представленная (построенная) как исчисление; примерно соответствуетсиллогистике ...

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

/Бухгалтерский словарь/
ИСЧИСЛЕНИЕ ОПЛАТЫ ОТПУСКА расчет оплаты отпуска. Осуществляется на основе среднего дневного заработка. Средний дневной заработок для оплаты отпусков и ...
ИСЧИСЛЕНИЕ СРЕДНЕГО ЗАРАБОТКА расчет среднего заработка. Средний дневной заработок определяется путем деления фактически выплаченных сумм в расчетном периоде ...
Латинская транскрипкия: [ischislenie]

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





© nashislova.ru - Все словари 2009 Информация публикуется на сайте исключительно для ознакомительных целей и основана на свободно распостраняемых версиях словарей. Администрация не несет ответственности за любые неточности в текстах.
Rambler's Top100
Выполнено за: 0.026 c.