Исчисление (или дедуктивная система)

Предмет Высшая математика

👍 Проверено Автор24

способ задания множества путем указания исходных элементов и правил вывода, каждое из которых описывает, как строить новые элементы из исходных и уже построенных

Научные статьи на тему «Исчисление (или дедуктивная система)»

История развития логического знания

Провел обстоятельное исследование силлогистического (дедуктивного) умозаключения....
Декарта (1596-1650), который внес огромный вклад в дедуктивную логику; немца Г....
половина XIX века была ознаменована широким применением в логике математических разработок – методов исчисления...
Дедуктивные рассуждения, анализируемые методами исчисления с применением формальных языков, сформировали...
Впервые ее представил в своей объективно-идеалистической философской системе Гегель (1770-1831).

Статья от экспертов

Бионический подход к решению проблемы автономности систем управления животноводческих производств

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

Creative Commons

Научный журнал

Дедукция и индукция

гипотетическое предположение – тогда дедукция превращается в отправную точку для новой теоретической системы...
Научно-теоретические дедуктивные системы строятся на следующих компонентах: совокупность исходных утверждений...
За пределами дедуктивной логики расположены правдоподобные рассуждения и индуктивные методы....
Дедуктивная логика исследует логические системы, или исчисления – способы рассуждения с типовыми высказываниями...
Современная символическая логика использует методы формализации, построение формальных семантик и логических исчислений

Статья от экспертов

О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями

Работа посвящена изучению возможностей интеллектуальных систем, которые предоставляет древовидная форма поиска опровержения в спучае использования резолюционной техники, включая правила парамодуляционного типа. Рассматриваются исчисления так называемых литеральных деревьев, которые предназначены для установления невыполнимости формул классической логики первого порядка как с равенством, так и без него. Приводятся результаты об их корректности и полноте

Creative Commons

Научный журнал

Еще термины по предмету «Высшая математика»

Источник векторного поля

точка, в которой дивергенция положительна

Кантора теорема

1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству

Нуль функции f(x)

точка x0 такая, что f(x0) = 0; можно трактовать как решение уравнения f(x) = 0

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot