Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Український математичний журнал
Дата:	2007
Автор:	Денисов, А.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут математики НАН України 2007
Теми:	Короткі повідомлення
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/172501
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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

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

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

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

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

Когда сумма трех частичных отражений равна нулю
за авторством: Меллит, А.С.
Опубліковано: (2003)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Метод частичного усреднения в системах стандартного вида с разрывными правыми частями
за авторством: Зверкова, Т.С., та інші
Опубліковано: (1993)

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

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

Радиоспектроскопические характеристики стандарта циркона
за авторством: Дерский, Л.С., та інші
Опубліковано: (2009)

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

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

Об энергии основного состояния для финитного неоднородного вырожденного бозе-газа
за авторством: Бобров, В.Б., та інші
Опубліковано: (2018)

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

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