Словари
Deport.ru  » Словари  
 
Главная Словарь логики Слова на букву Р Разрешимая Теория

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

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


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

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



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