Интерактив
Вход
Регистрация
Опрос
Опрос: Хотите ли Вы эмигрировать из России?
Да
Нет
В раздумьях

Реклама
Главная » Словари » Большой российский энциклопедический словарь » ИСЧИСЛЕНИЕ
ИСЧИСЛЕНИЕ : Большой российский энциклопедический словарь

ИСЧИСЛЕНИЕ

  1. ИСЧИСЛ´ЕНИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символич. выражений из букв алфавита системы - языка И., т.е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул И. (его фразеологии) из нек-рого фиксируемого в том же языке набора формул-аксиом. Любое И. однозначно определяется заданием алфавита И., правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам И. значений, т.е. рассмотрение И. как знаковой системы (интерпретация И.), преобразует И. в формализованный язык. Осн. примеры И.: числовые и алгебр. системы, логич. исчисления.
  2. ИСЧИСЛ´ЕНИЕ ВЫСКАЗЫВАНИЙ, раздел матем. логики, аксиоматич. построение логики высказываний.
  3. ИСЧИСЛ´ЕНИЕ КЛАССОВ, раздел матем. логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.
  4. ИСЧИСЛ´ЕНИЕ ПРЕДИКАТОВ, раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
Искать значение слова ИСЧИСЛЕНИЕ на сайте, во всех словарях

Большой российский энциклопедический словарь

А   Б   В   Г   Д   Е   Ё   Ж   З   И   Й   К   Л   М   Н   О   П   Р   С   Т   У   Ф   Х   Ц   Ч   Ш   Щ   Э   Ю   Я   0   -  
При цитировании информации с сайта гиперрсылка на сайт ОБЯЗАТЕЛЬНА!