неразрешимо
21ЭПИСТЕМИЧЕСКАЯ ЛОГИКА — (от греч. episteme знание) раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как «полагает» («убежден»), «сомневается», «отвергает», «знает», «доказуемо», «неразрешимо», «опровержимо» и т.п. Знание… …
22ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… …
23АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
24АЛГЕБРАИЧЕСКОЕ УРАВНЕНИЕ — уравнение вида где многочлен n й степени от одного или нескольких переменных . А. у. с одним неизвестным наз. уравнение вида: Здесь п целое неотрицательное число, наз. коэффициентами уравнения и являются данными, хназ. неизвестным и является… …
25ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ ОБЫКНОВЕННОЕ — приближенные методы решения методы получения аналитич. выражений (формул), либо численных значений, приближающих с той или иной степенью точности искомое частное решение дифференциального уравнения (д. у.) или системы для одного или нескольких… …
26ИРРЕГУЛЯРНОЕ ПРОСТОЕ ЧИСЛО — простое нечетное число р, для к рого число классов идеалов кругового поля R( е 2pi/р). делится на р. Все остальные простые нечетные числа наз. регулярными. Признак Куммера позволяет для каждого данного простого числа решить вопрос о том, будет ли …
27ОБЩЕЗНАЧИМОСТЬ — свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. символов, т. е. предикатных и пропозициональных переменных. Логич. формулы, обладающие этим свойством, наз. общезначимыми, или… …
28СРАВНЕНИЕ — соотношение между целыми числами а и и вида a=b+mk, означающее, что их разность а b делится на заданное целое положительное число т, наз. модулем сравнения; при этом аназ. вычетом целого числа bпо модулю т. Для выражения сравнимости чисел аи bпо… …
29УРАВНЕНИЕ — аналитическая запись задачи о разыскании значений аргументов, при к рых значения двух данных функций равны. Аргументы, от к рых зависят эти функции, наз. обычно неизвестными, а значения неизвестных, при к рых значения функций равны, решениями,… …
30Диофантово уравнение — это уравнение вида где P целочисленная функция (например, полином с целыми коэффициентами), а переменные принимают целые значения. Названы в честь древнегреческого математика Диофанта. Содержание 1 Примеры …
