Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Разрешимая теория

Предмет Логика
👍 Проверено Автор24

теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет.

Научные статьи на тему «Разрешимая теория»

Теория формальных языков и грамматик

Определение 1 Теория формальных языков и грамматик — это направление математической лингвистики...
Теорией формальных грамматик является подраздел математической лингвистики, который занимается изучением...
Толчком к созданию и усовершенствованию данной теории стало развитие средств вычислительной техники и...
Каждый язык обязан удовлетворять свойствам разрешимости и однозначности....
Язык считается разрешимым, если за определённое время возможно определить, что фраза или предложение

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

Разрешимость нестационарной задачи теории фильтрации

Рассмотрена одна задача для класса неклассических уравнений математической теории волн. Отличительной особенностью этой задачи является зависимость от времени функциональных коэффициентов эллиптического оператора в правой части уравнения. Методом ее исследования является редукция к задаче Коши для нестационарного уравнения соболевского типа. Уравнения соболевского типа с зависящим от времени оператором в данной постановке рассматриваются впервые. Введено в рассмотрение понятие относительно спектрально ограниченной оператор-функции. Условия, гарантирующие выполнение этого свойства задачи, позволяют также выделить подпространство начальных значений, для которых существует единственное решение задачи Коши. Это подпространство мы назвали обобщенным фазовым пространством решений для нестационарного уравнения соболевского типа. Решение такой задачи для уравнений соболевского типа, а также и в исходной постановке, получено с помощью рекурсивной формулы.

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

Проблема разрешимости в модальной логике

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

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

О разрешимости внешней обратной задачи теории потенциала

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

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

Еще термины по предмету «Логика»

Аргумент к авторитету

обоснование утверждения или действия путем ссылки на какой-то авторитет. А. к а. необходим, хотя и недостаточен, в случае обоснования предписаний (команд, директив, законов государства и т. п.). Он важен также при обсуждении ценности советов, пожеланий, методологических и иных рекомендаций. Данный аргумент должен учитываться при оценке предостережений, просьб, обещаний, угроз и т. п. Несомненна роль авторитета и, соответственно, апелляции к нему едва ли не во всех практических делах.

🌟 Рекомендуем тебе

Дизъюнкция

логический союз, выражаемый грамматическим союзом "или" а также другими эквивалентными ему выражениями (обозначается символом - \/).

🌟 Рекомендуем тебе
Смотреть больше терминов

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

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

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

Перейти в Telegram Bot