Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Published in:	Український математичний журнал
Date:	2007
Main Author:	Денисов, А.С.
Format:	Article
Language:	Russian
Published:	Інститут математики НАН України 2007
Subjects:	Короткі повідомлення
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/172501
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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