Математика. Рубрика в журнале - Вестник Красноярского государственного педагогического университета им. В.П. Астафьева

О гипергеометрическом подходе к решению алгебраических уравнений

Михалкин Евгений Николаевич

Статья научная

В статье рассматривается алгебраическое уравнение с одним параметром (триномиальное уравнение). На основе гипергеометрического подхода Меллина получена формула для решения триномиального уравнения в виде линейной комбинации обобщенных гипергеометрических рядов. Указана область сходимости найденных рядов.

Бесплатно

Разрешимость по допустимости модальной логики s4.m.p.q

Руцкий Алексей Николаевич

Статья научная

В статье приведено доказательство разрешимости для допустимых правил вывода модальной логики S4.αm.ξp.ζq. Это позволяет провести доказательство строгой разрешимости интерполяционного свойства модальных логик над S4 и ряда других свойств.

Бесплатно

Финитная аппроксимируемость как достаточное условие разрешимости по допустимости для транзитивных модальных и суперинтуиционистских логик

Руцкий Алексей Николаевич

Статья научная

В статье приведено доказательство разрешимости для допустимых правил вывода любой транзитивной модальной логики, обладающей свойством финитной аппроксимируемости. С учетом перевода Геделя-Маккинси-Тарского обоснована разрешимость по допустимости и для любой финитно аппроксимируемой суперинтуиционистской логики.

Бесплатно