Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
Исчисление (или дедуктивная система)
Предмет
Высшая математика
👍 Проверено
Автор24
способ задания множества путем указания исходных элементов и правил вывода, каждое из которых описывает, как строить новые элементы из исходных и уже построенных
Научные статьи на тему «Исчисление (или дедуктивная система)»
История развития логического знания
Провел обстоятельное исследование силлогистического (дедуктивного) умозаключения....
Декарта (1596-1650), который внес огромный вклад в дедуктивную логику;
немца Г....
половина XIX века была ознаменована широким применением в логике математических разработок – методов исчисления...
Дедуктивные рассуждения, анализируемые методами исчисления с применением формальных языков, сформировали...
Впервые ее представил в своей объективно-идеалистической философской системе Гегель (1770-1831).
Статья от экспертов
Бионический подход к решению проблемы автономности систем управления животноводческих производств
Работа посвящена проблеме создания искусственных автономных агентов, в частности, создания систем управления машинами с повышенной автономностью. Известные надежды продвинуться в её решении в искусственном интеллекте связываются с изучением и дальнейшим моделированием адаптивного поискового поведения одноклеточных животных. В проводимых авторами теоретических и экспериментальных исследованиях за основу взяты новые методы математического моделирования с помощью исчисления математических конструкций и хорошо изученная кишечная бактерия Escherichia coli. На основе исчисления конструкций строится дедуктивное исчисление, которое в предлагаемом подходе заменяет классические формальные системы, обычно используемые в искусственном интеллекте для поиска роботами цели. Дедуктивная система в отличие от традиционных систем управления агентом не закладывается изначально, а генерируется самим агентом соответственно поставленной перед агентом цели. Выбор дедуктивного исчисления осуществляется робо...
Creative Commons
Научный журнал
Дедукция и индукция
гипотетическое предположение – тогда дедукция превращается в отправную точку для новой теоретической системы...
Научно-теоретические дедуктивные системы строятся на следующих компонентах:
совокупность исходных утверждений...
За пределами дедуктивной логики расположены правдоподобные рассуждения и индуктивные методы....
Дедуктивная логика исследует логические системы, или исчисления – способы рассуждения с типовыми высказываниями...
Современная символическая логика использует методы формализации, построение формальных семантик и логических исчислений
Статья от экспертов
О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями
Работа посвящена изучению возможностей интеллектуальных систем, которые предоставляет древовидная форма поиска опровержения в спучае использования резолюционной техники, включая правила парамодуляционного типа. Рассматриваются исчисления так называемых литеральных деревьев, которые предназначены для установления невыполнимости формул классической логики первого порядка как с равенством, так и без него. Приводятся результаты об их корректности и полноте
Creative Commons
Научный журнал
Еще термины по предмету «Высшая математика»
Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
Трином
трехчлен
- Исчисление
- Высказываний исчисление (пропозициональное исчисление)
- Дедуктивное мышление
- Дедуктивное умозаключение
- Дедуктивный вывод
- Дедуктивный метод
- Исчисление величин
- Вариационное исчисление
- Векторное исчисление
- Дифференциальное исчисление
- Операционное исчисление
- Предикатов исчисление
- Тензорное исчисление
- Интегральное исчисление
- Исчисление налога
- Дедуктивно-номологический подход
- Гипотетико-дедуктивная модель
- Гипотеко-дедуктивный метод
- Гипотетико-дедуктивный метод
- Дедуктивная модель объяснения
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
