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