Buchumschlag

Выполнимость ярких формул

Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього. We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and suffi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Український математичний журнал
Datum:	2007
1. Verfasser:	Денисов, А.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут математики НАН України 2007
Schlagworte:	Короткі повідомлення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/172501
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Об оптимизации „интервальных и точечных" квадратурных формул для классов монотонных функций
von: Бородачев, С.В.
Veröffentlicht: (2001)

Оптимизация интервальных формул приближенного интегрирования многозначных функций, монотонных по включению
von: Бабенко, В.В.
Veröffentlicht: (2011)

К вопросу об оценках колмогоровских поперечников классов Bʳp,q в пространстве Lq
von: Романюк, А.С.
Veröffentlicht: (2001)

Асимптотическое поведение произведений случайных матриц со значениями в разрешимой алгебре Ли
von: Чани, А.С.
Veröffentlicht: (1993)

Наилучшие m-членные тригонометрические приближения классов (Ψ, β)-диффереицируемых функций одной переменной
von: Федоренко, А.С.
Veröffentlicht: (2000)

Когда сумма трех частичных отражений равна нулю
von: Меллит, А.С.
Veröffentlicht: (2003)

Асимптотическое поведение одного класса стохастических полугрупп в схеме Бернулли
von: Чани, А.С.
Veröffentlicht: (1993)

О статистическом оценивании начального распределения вероятностей по наблюдениям динамики в конце интервала
von: Ткешелашвили, А.С.
Veröffentlicht: (2011)

Наближення періодичних функцій високої гладкості інтерполяційними тригонометричними поліномами в метриці L₁
von: Сердюк, А.С.
Veröffentlicht: (2000)

Про найкращі m-членні тригонометричні та ортогональні тригонометричні наближення функцій класів LΨβ,ρ
von: Федоренко, А.С.
Veröffentlicht: (1999)

Оцінки поперечників за Колмогоровим класів нескінченно-диференційовних періодичних функцій
von: Сердюк, А.С.
Veröffentlicht: (1997)

Вариации эмиссионных линий водорода в спектрах ярких Be-звезд
von: Кругов, В.Д.
Veröffentlicht: (1992)

О распознаваемости группы E₈(q) по множеству порядков элементов
von: Алексеева, О.А., et al.
Veröffentlicht: (2002)

Найкращі m-членні тригонометричні наближення класів LΨβ,p у рівномірній метриці
von: Федоренко, А.С., et al.
Veröffentlicht: (2004)

Влияние поправки за фазу на определение положений ярких астероидов
von: Свачий, Л.Н.
Veröffentlicht: (1995)

Нейродегенеративні мутанти Drosophila melanogaster: отримання, фенотипові особливості, тривалість життя
von: Яценко, А.С., et al.
Veröffentlicht: (2003)

Исследование согласованности реализаций динамической системы координат по наблюдениям ярких астероидов
von: Дума, Д.П., et al.
Veröffentlicht: (1996)

О сходимости ветвящихся процессов Беллмана — Харриса
von: Алиев, С.А.
Veröffentlicht: (1990)

Об одном свойстве гиперциклических групп
von: Чечин, С.А.
Veröffentlicht: (1995)

Корректность задач Дирихле и Пуанкаре в цилиндрической области для многомерного уравнения Геллерстедта
von: Алдашев, С.А.
Veröffentlicht: (2012)

Относительная константа Юнга пространства Lp
von: Пичугов, С.А.
Veröffentlicht: (1990)

О решениях квазилинейной дифференциальной системы с периодическими коэффициентами
von: Щеголев, С.А.
Veröffentlicht: (1993)

Неединственность решения пространственной задачи Геллерстедта для одного класса многомерных гиперболо-эллиптических уравнений
von: Алдашев, С.А.
Veröffentlicht: (2010)

О корректности многомерных задач Дарбу для волнового уравнения
von: Алдашев, С.А.
Veröffentlicht: (1993)

Спектральные задачи Дарбу — Проттера для одного класса многомерных гиперболических уравнений
von: Алдашев, С.А.
Veröffentlicht: (2003)

Резонансный случай существования решений квазилинейной дифференциальной системы второго порядка, представимых рядами Фурье, содержащими медленно меняющиеся параметры
von: Щеголев, С.А.
Veröffentlicht: (1999)

К теореме Н.В. Черниковой о вполне факторизуемых группах
von: Довженко, С.А.
Veröffentlicht: (1999)

Одно замечание по поводу теорем Пэли и Стейна
von: Кириллов, С.А.
Veröffentlicht: (2000)

О композиции и нетеровости операторов в векторных пространствах
von: Плакса, С.А.
Veröffentlicht: (1993)

О неравенствах для норм промежуточных производных на конечном интервале
von: Бабенко, В.Ф., et al.
Veröffentlicht: (1995)

О неравенствах типа Колмогорова для дробных производных функций двух переменных
von: Бабенко, В.Ф., et al.
Veröffentlicht: (2008)

Метод частичного усреднения в системах стандартного вида с разрывными правыми частями
von: Зверкова, Т.С., et al.
Veröffentlicht: (1993)

О сохранении некоторых свойств решений при возмущении импульсной системы дифференциальных уравнений
von: Перестюк, Н.А., et al.
Veröffentlicht: (1994)

Периодические и ограниченные па плоскости решения систем гиперболических уравнений
von: Асанова, А.Т., et al.
Veröffentlicht: (2004)

Радиоспектроскопические характеристики стандарта циркона
von: Дерский, Л.С., et al.
Veröffentlicht: (2009)

О некоторых краевых задачах со смещением на характеристиках для смешанного уравнения гиперболо-параболического типа
von: Елеев, В.А., et al.
Veröffentlicht: (2000)

Аналитические двусторонние методы приближенного интегрирования задачи Кошн для дифференциальных уравнений с частными производными
von: Бойцун, С.А., et al.
Veröffentlicht: (1985)

Об энергии основного состояния для финитного неоднородного вырожденного бозе-газа
von: Бобров, В.Б., et al.
Veröffentlicht: (2018)

О неравенствах типа Колмогорова с интегрируемой старшей производной
von: Бабенко, В.Ф., et al.
Veröffentlicht: (2002)

Одержання біфункціональних молекул, специфічних до антигену та Fc-фрагментів антитіл, методом злиття scFv-антитіл із стафілококовим білком A
von: Олійник, О.С., et al.
Veröffentlicht: (2009)