Словари
Deport.ru  » Словари  
 

Значение слова Исчисление орфографическое, лексическое прямое и переносное значения и толкования (понятие) слова из словаря Словарь логики

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


Словарь — надежный помощник в любой ситуации. Каждый человек очень часто сталкивается с ситуацией, когда ему непонятно значение какого либо слова или выражения. Как правило, это случается в специфических отраслях деятельности, малоизвестных общему кругу людей. Мы даем вам возможность ознакомиться с более чем двадцатью русскими словарями, включая такие известные, как: толковый словарь Даля, толковый словарь Ожегова и другие.

Наш мир многогранен, имеет массу различных направлений и мнений, множество специфических и профессиональных терминов. Для того, чтобы люди могли понимать друг друга, могли обшаться, делиться информацией и не испытывать при этом каких либо затруднений, для всего этого мы публикуем на нашем сайте русские толковые словари. Каждый русский словарь имеет свою уникальную историю, несет в себе отголоски своего создателя, его труд и усилия. Каждый русский толковый словарь является результатом неимоверно кропотливой работы и исследований. Словари, в прямом смысле слова, собирались по крупицам многие годы. Каждый словарь требовал от своего создателя массу энергии, путешествий по стране, много общения с представителями разных народов и профессий. Например, толковый словарь Даля потребовал от своего создателя — Владимира Даля, талантливого русского лексикографа, 20 лет усилий. Владимир Даль объездил всю Россию, от Сибирских морозов до Камчатки, чтобы его толковый словарь имел на сегодняшний день репутацию одного из самых качественных и употребляемых словарей современности.



Популярные слова: Словарь логики
Аргумент Омонимия
Доказательство От Противного Определение Классическое
Доказуемость Подмена Тезиса
Идемпотентности Закон Полемика
Индукция Математическая, Полная Математическая Индукция Приведение К Абсурду
Концепт Противоречие
Круг В Определении Равенство
Многозначность Содержание Понятия
Множеств Теория Экзистенциальное Высказывание
Нормальное Множество Эллиптическое Высказывание
© 2004-2014 Deport.ru. По всем вопросам пишите на support@deport.ru.