5 отношения: Проблема разрешения, Оптимизация (математика), Алгоритмическая разрешимость, Умножение, Мальцев, Анатолий Иванович.
Проблема разрешения
Проблема разрешения (Entscheidungsproblem) — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и математического утверждения «S» на этом языке) — и, после конечного числа шагов, останавливался бы и выдавал один из двух ответов: «Истина!» или «Ложь!», — в зависимости от того, истинно или ложно утверждение «S».
Новый!!: Задача разрешимости и Проблема разрешения · Узнать больше »
Оптимизация (математика)
Оптимизация — в математике, информатике и исследовании операций задача нахождения экстремума (минимума или максимума) целевой функции в некоторой области конечномерного векторного пространства, ограниченной набором линейных и/или нелинейных равенств и/или неравенств.
Новый!!: Задача разрешимости и Оптимизация (математика) · Узнать больше »
Алгоритмическая разрешимость
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Новый!!: Задача разрешимости и Алгоритмическая разрешимость · Узнать больше »
Умножение
317x317пкс Умноже́ние — одна из основных математических операций над двумя аргументами (множителями, сомножителями).
Новый!!: Задача разрешимости и Умножение · Узнать больше »
Мальцев, Анатолий Иванович
Анато́лий Ива́нович Ма́льцев ( —) — советский, основоположник сибирской школы алгебры и логики.
Новый!!: Задача разрешимости и Мальцев, Анатолий Иванович · Узнать больше »