теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет.
Определение 1
Теория формальных языков и грамматик — это направление математической лингвистики... Теорией формальных грамматик является подраздел математической лингвистики, который занимается изучением... Толчком к созданию и усовершенствованию данной теории стало развитие средств вычислительной техники и... Каждый язык обязан удовлетворять свойствам разрешимости и однозначности.... Язык считается разрешимым, если за определённое время возможно определить, что фраза или предложение
Рассмотрена одна задача для класса неклассических уравнений математической теории волн. Отличительной особенностью этой задачи является зависимость от времени функциональных коэффициентов эллиптического оператора в правой части уравнения. Методом ее исследования является редукция к задаче Коши для нестационарного уравнения соболевского типа. Уравнения соболевского типа с зависящим от времени оператором в данной постановке рассматриваются впервые. Введено в рассмотрение понятие относительно спектрально ограниченной оператор-функции. Условия, гарантирующие выполнение этого свойства задачи, позволяют также выделить подпространство начальных значений, для которых существует единственное решение задачи Коши. Это подпространство мы назвали обобщенным фазовым пространством решений для нестационарного уравнения соболевского типа. Решение такой задачи для уравнений соболевского типа, а также и в исходной постановке, получено с помощью рекурсивной формулы.
Разрешимаятеория – это теория, для которой существует разрешающая процедура.... высказываний;
логики одноместных предикатов,
категорического силлогизма;
некоторых других простых дедуктивных теорий... Следует отметить, что факт невозможности найти для теории общий разрешающий метод не исключает поиск... в модальной логике состоит в использовании методов автоматического доказательства теорем, таких как... языка модальной логики и использование методов автоматического доказательства теорем.
Рассматриваются задача определения области по значениям потенциала, проблема существования в целом как для односвязных, так и для многосвязных областей (множеств). Приводятся примеры несуществования задачи, а также примеры гармонических функций, имеющих на бесконечности поведение, как потенциал объемных масс или простого слоя; представление их в виде разности потенциалов, а также ряд других представлений.
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
изменчивое, преходящее, несущественное, случайное свойство или состояние предмета, которое может быть абстрагировано и при этом сущность предмета не претерпит изменения.
Оставляя свои контактные данные и нажимая «Попробовать в Telegram», я соглашаюсь пройти процедуру
регистрации на Платформе, принимаю условия
Пользовательского соглашения
и
Политики конфиденциальности
в целях заключения соглашения.
Пишешь реферат?
Попробуй нейросеть, напиши уникальный реферат с реальными источниками за 5 минут
