Russian Chinese (Simplified) English German

Публикация научных работ

Publication of scientific papers foto Журнал «Проблемы современной науки и образования» выходит ежемесячно, 15 числа (уточняется в месяц выхода). Следующий номер журнала № 06(138), июнь 2019 г. Выйдет - 14.06.2019 г. Статьи принимаются до 09.06.2019 г.

Если Вы хотите напечататься в ближайшем номере, не откладывайте отправку заявки. Потратьте одну минуту, заполните и отправьте заявку в Редакцию.

linecolor




BOUNDS OF PROOF COMPLEXITY MEASURES FOR SOME SEQUENCE OF MANY-VALUED TAUTOLOGIES

Tshitoyan A.S. 

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра. 

Tshitoyan Arman Samvelovich - PhD Student, DEPARTMENT OF INFORMATICS AND APPLIED MATHEMATICS, YEREVAN STATE UNIVERSITY, YEREVAN, REPUBLIC OF ARMENIA 

Abstract: in this paper the main proof complexity characteristics in some  proof systems for two versions of many valued propositional logic with more than one designated values are investigated for some class of k-valued(k ≥ 3) tautologies. For many valued logic with Łukasiewicz’s negation and negation, defined by permuting the truth values cyclically, we consider the “elimination” system, which is based on the determinative disjunctive normal forms. We suggest some generalization for a family of 2-valued tautologies, which are known as “hard” for some proof systems of classical propositional logic tautologies. For introduced sequence of many-valued tautologies we obtain simultaneously optimal bounds for different proof complexity measures (asymptotically the same upper and lower bounds for each measures).

Keywords: мany-valued logic, elimination systems, determinative disjunctive normal form, proof complexity.

ОЦЕНКИ ВЕЛИЧИН СЛОЖНОСТЕЙ ВЫВОДОВ НЕКОТОРОЙ ПОСЛЕДОВАТЕЛЬНОСТИ МНОГОЗНАЧНЫХ ТАВТОЛОГИЙ

Читоян А.С.

Читоян Арман Самвелович – аспирант, фaкультет информатики и прикладной математики, Ереванский государственный университет, г. Ереван, Республика Армения  

Аннотация: в данной статье исследованы основные сложностные характеристики выводов для определенного класса k-значных (k≥3) тавтологий в некоторых системах двух версий многозначных логик с более чем одним выделенным значением. Для многозначных логик, основанных на отрицании Лукасевича и циклическом отрицании, мы рассматриваем «элиминационные» системы, основанные на определяющих дизъюнктивных нормальных формах. Мы предлагаем обобщение некоторого семейства 2-значных тавтологий, которые известны как «трудновыводимые» в ряде пропозициональных систем классической логики. Для введенной последовательности многозначных тавтологий получены одновременно оптимальные оценки для различных сложностей выводов (ассимптотически одинаковые верхние и нижние оценки для каждой сложности).

Ключевые слова: многозначная логика, системы с правилом удаления, определяющая дизъюнктивная нормальная форма, сложность вывода.

References / Список литературы 

  1. Lukasiewicz J. O Logice Trojwartosciowej (On three-valued logic), Ruch Filozoficzny (Lwow). 5,1920. 169-171.
  2. Chubaryan An. Relative efficiency of some proof systems for classical propositional logic, Proceedings of NASA RA. 37. № 5, 2002 and Journal of CMA (AAS).Vol. 37. № 5, 2002. 71-84.
  3. Chubaryan А.А., Tshitoyan A.S., Khamisyan А.А. On some proof systems for many-valued logics and on proof complexities in it, (in Russian) Reports of NASA. 116, № 2, 2016. 18-24.
  4. Chubaryan Anahit, Khamisyan Artur Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic, Pure and Applied Mathematics Journal. Vol 6. № 2, 2017. doi: 10.116448/j.pamj. 20170602.12.71-75.
  5. Filmus Y., Lauria М., Nordstrom J., Thapen N., Ron-Zewi N.: Space Complexity in Polynomial Calculus, 2012 IEEE Conference on Computational Complexity (CCC), 2012. 334-344.
  6. Tshitoyan Arman. Bounds of proof complexities in some systems for many-valued logics, Isaac Scientific Publishing (ISP), Journal of Advances in Applied Mathematics. 2. № 3, July 2017. 164-172. [Electronic resource]. URL: https://dx.doi.org/10.22606/jaam.2017.23006/ (date of acces: 26.02.2018).
  7. Chubaryan Anahit, Khamisyan Artur, Tshitoyan Arman. On some systems for Łukasiewicz’s many-valued logic and its properties,Fundamentalis Scientiam. 8 (8). Spain, 2017. 74-79.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Читоян А.С. ОЦЕНКИ ВЕЛИЧИН СЛОЖНОСТЕЙ ВЫВОДОВ НЕКОТОРОЙ ПОСЛЕДОВАТЕЛЬНОСТИ МНОГОЗНАЧНЫХ ТАВТОЛОГИЙ // Проблемы современной науки и образования  №03 (123), 2018. - С. {см. журнал}.

Publication of scientific papers 2

«СЛАБЫЕ» СИСТЕМЫ ВЫВОДОВ КЛАССИЧЕСКОГО ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ НЕ МОНОТОННЫ

Чубарян А.А., Саядян С.М.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Чубарян Анаит Арташесовна - доктор физико-математических наук, профессор;

Саядян Сергей Мушегович - кандидат физико-математических наук, ассистент,

фaкультет информатики и прикладной математики,

Ереванский государственный университет,

г. Ереван, Республика Армения

Аннотация: в настоящей статье для некоторых пропозициональных систем выводов классической логики мы исследуем соотношение между сложностными характеристиками выводов минимальных тавтологий и результатов подстановoк в них. Мы показываем, что существуeт последовательность пар минимальных тавтологий φn и формул ψn, являющихся результатом подстановок в φn таких, что: 1) длины φn и ψn по порядку равны, 2) для каждого n количество шагов выводов ψn ограничены константой, а длины тех же выводов в двух системах ограничены константой, а в третьей ограничены линейной функцией от длины формул, в то время как 3) и количество шагов и дины выводов φn вo всех системах по порядку не менее экспоненты от длины формул. Таким образом, доказано, что результат подстановки в минимальную тавтологию может быть выведен в этих системах гораздо проще, чем сама минимальная тавтология, следовательно, исследованные системы не монотонны ни по шагам, ни по длинам выводов.

Ключевые слова: минимальная тавтология, элиминационная система выводов, система резолюций, обобщенная система расщеплений, сложностные характеристики выводов, монотонные системы.

“WEAK” PROPOSITIONAL PROOF SYSTEMS OF CLASSICAL LOGIC ARE NO MONOTONOUS

Chubaryan A.A., Sayadyan S.M.

Chubaryan Anahit Artashesovna - Doctor of Sciences, Professor;

Sayadyan Sergej Mushegovich – PhD, Assistant,

DEPARTMENT OF INFORMATICS AND MATHEMATICS,

YEREVAN STATE UNIVERSITY,

YEREVAN, REPUBLIC OF ARMENIA

Abstract: in this paper we investigate the  relations between the proof complexities of minimal tautologies and of results of substitutions in them for some propositional proof systems of classical logic. We show that there is sequence of pairs of minimal tautologies φn and formulae ψn, which are the results of some substitution  in φn   such, that:  1) the sizes of φn and ψn are equal by order, 2) for every n  the lines of proofs for ψn in all systems and the sizes of proof in two systems are bounded by some constant and the sizes of proofs for ψn in tried system are bounded by linear function in the length of formulas, just as 3) both the lines and the sizes of proofs for φn in all systems are required with exponential functions in the length of formulas. So the result of substitution can be proved in investigated  systems more easier than corresponding minimal tautology, therefore these systems are no monotonous neither by lines nor by size.

Keywords: minimal tautology, elimination proof systems, resolution system, generalized Analytic Tableaux system, proof complexity characteristics, monotonous system.

Список литературы / References

  1. Chubaryan Anahit, Petrosyan Garik. Frege systems are no monotonous, Evolutio, Естественные науки. Вып 3, 2016. 12-14.
  2. Chubaryan Anahit, Khamisyan Artur, Petrosyan Garik. On some systems for two versions of many-valued logics and its properties. Lambert Academic Publishing (LAP), 2017. 80 pages.
  3. Чубарян Ан, Относительная эффективность некоторых систем доказательств классической пропозициональной логики. Известия НАН РА. Т. 37. № 5, 2002 and Journal of CMA (AAS). V. 37. № 5, 2002. 71-84.
  4. Цейтин Г.С. О сложности вывода висчислении высказываний. Записки научных семинаров ЛОМИ. Ленинград. Наука, 1968. Т. 8. Стр. 234-259.
  5. Чубарян Ан.А., Чубарян Арм.А. Оценки некоторых сложностных характеристик выводов в системе обобщенных расщеплений, НАУ, Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, часть 10, 2 (7), 2015. С. 11-14.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Чубарян А.А., Саядян С.М. «СЛАБЫЕ» СИСТЕМЫ ВЫВОДОВ КЛАССИЧЕСКОГО ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ НЕ МОНОТОННЫ // Проблемы современной науки и образования  №02 (122), 2018. - С. {см. журнал}.

Publication of scientific papers 2

СТРОЕНИЕ И ВОЗНИКНОВЕНИЕ НАШЕГО МИРА, ПРОСТРАНСТВО, ГРАВИТАЦИЯ

Неробов И.Д.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Неробов Илья Дмитриевич - индивидуальный предприниматель,  г. Чистополь, Республика Татарстан 

Аннотация: данная работа посвящена изучению свойств пространства-времени, пониманию того, как материя искривляет окружающее пространство, изучает процессы, происходящие в гравитационном поле. Предполагается существование пространственной сетки, состоящей из сегментов – «застывшей» барионной энергии. Вся материя и энергия существует, взаимодействует и перемещается только внутри пространственной сетки. Теория основана на общей теории относительности Альберта Эйнштейна [1], в которой пространство искривляется любым телом и именно его искривление вызывает гравитационное притяжение, а также на библейской версии возникновения нашего мира.

Ключевые слова: физика, пространство, материя, гравитация, пространственная решетка, энергия, темная материя, библия.

THE STRUCTURE AND APPEARANCE OF OUR WORLD, SPACE, GRAVITY

Nerobov I.D.

Nerobov Ilya Dmitrievich - Individual Entrepreneur,  CHISTOPOL, REPUBLIC OF TATARSTAN

Abstract: this work is devoted to study of properties of space-time . Understanding how matter curves the surrounding space, studying the processes occurring in a gravitational field. It is assumed the existence of a spatial grid consisting of segments – the "frozen" energy of the baryon . All matter and energy exists, interacts and moves only within the spatial grid. The theory is based on the General theory of relativity by Аlbert Einstein, in which space is curved by anybody and that its curvature causes the gravitational attraction and the biblical version of the origin of our world.

Keywords: physics, space, matter, gravity, spatial grid, energy, dark matter, the Bible.

Список литературы / References

  1. Einstein Albert, 25 ноября «Die Feldgleichungen der Gravitation».
  2. Ахундов М.Д. Концепция пространства и времени: источники, эволюция, перспективы. М. «Мысль», 1982. 222 стр.
  3. Российское библейское общество, 2002. Библия. Стр. 9. Книга Бытие 1: 2.
  4. Российское библейское общество, 2002. Библия. Стр. 9. Книга Бытие 1: 3, 4.
  5. Электромагнитное взаимодействие. Электрослабое взаимодействие. Э.А. Тагиров.
  6. Чернин A.Д. Тёмная энергия и всемирное антитяготение. 178. 267 стр., 2008.
  7. Российское библейское общество, 2002. Библия. Стр. 9. Книга Бытие 1: 6, 7, 8.
  8. Ландау Л.Д., Лифшиц E.M. Теория поля. 6 изд. M., 1973.
  9. Эйнштейн А. Собрание научных трудов. Т. 1-4. М., 1965-67.
  10. Сивухин Д.В. Общий курс физики. М.: Физматлит, 2005. Т. I. Механика. С. 37. 560 с.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Неробов И.Д. СТРОЕНИЕ И ВОЗНИКНОВЕНИЕ НАШЕГО МИРА, ПРОСТРАНСТВО, ГРАВИТАЦИЯ // Проблемы современной науки и образования  №38 (120), 2017. - С. {см. журнал}.

Publication of scientific papers 2

ЗАДАЧА, СВЯЗАННАЯ С ИЗМЕНЕНИЕМ ФОРМЫ ТЕЛА

Эфендиева Х.Д., Рустамова Л.А.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Эфендиева Хeджер Джавид - кандидат физико-математических наук, преподаватель; 

Рустамова Ламия Аладдин - кандидат физико-математических наук, преподаватель,

кафедра математической экономики,

Бакинский государственный университет,

г. Баку, Азербайджанская Республика

Аннотация: широкий класс задач практики приводит к изучению изменения формы рассматриваемого объекта или тела относительно времени. Примерами таких задач являются диффузионные процессы, задачи теории упругости, экологические задачи, биологические процессы и т.д. 

При исследовании этих задач, как правило, изучаются изменения точек тела относительно времени. Однако часто представляет интерес не изменение точек тела, а изменение его формы. Такое определения изменения области дает возможность исследовать широкий класс таких практических задач, как задачи оптимального управления. 

Ключевые слова: опорной функцией, формы тела, минимизации функционала, выпуклая множества, оптимальное управление.

THE TASK WITH RELATED FORM OF CHANGING STRUCTURE

Efendiyeva H.D., Rustamova L.A.

Efendiyeva Hecer David - Ph.D., Associate Professor, Lecturer;

Rustamova Lamiya Aladdin - Ph.D., Associate Professor, Lecturer,

DEPARTMENT OF MATHEMATICAL ECONOMICS,

BAKU STATE UNIVERSITY,

BAKU, REPUBLIC OF AZERBAIJAN

Abstract: а wide range of practical tasks leads to the study of changes in the shape of the observed object or body relative to time An example of these tasks can be the diffusion processes, tasks of enlarging or straightening the object clue to the effect of heat, tasks of plasticity theory, ecological tasks, biological processes and etc.

While the researching of these tasks, as a wile, it is studying the changes of the points of a certain object related to time. To study these type of tasks in the work it is defining the change of a from of a certain area in the linear space of a couple of convex sets. This study of changing an area gives an opportunity to make a reseal in a wide range of such practical.  

Keywords: supporting function, changing structure, minimize functionality, tasks, as of optimal management.

Список литературы / References

  1. Дуброва Т.А. Статистические методы прогнозирование в экономике. Учеб. пособие. М. МЭСИ, 2002.
  2. Muravey L.A. Unknown boundary problem for elliptik equation, News Moscow State Universitety, 1998. № 3. Р7-13.
  3. Шокин Ю.И. Интегральный анализ. Новосибирск. Наука, 1981.
  4. Niftiyev A.A., Efendiyeva H.C. Mathematical modelling for the optimal use of a bounded area, Actual problems of economics, 2011. № 2 (116). Р 261-270.
  5. Vasilyev F.P. Numerical methods of solution of the optimization problems. Nauka, 1980. 518 p.
  6. Demyanov V.F., Rubinov A.M. Basises of non-smooth analyses and quasidifferential calculas. M.: Nauka, 1990. 420 p.
  7. Vladimirov V.S. Equations of mathematical physics. Moscow. “Nauka”, 1988. 512 p.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Эфендиева Х.Д., Рустамова Л.А. ЗАДАЧА, СВЯЗАННАЯ С ИЗМЕНЕНИЕМ ФОРМЫ ТЕЛА // Проблемы современной науки и образования  №37 (119), 2017. - С. {см. журнал}.

Publication of scientific papers 2

Старый сайт

oldsite Старая версия сайта >>>

Импакт-фактор российских научных журналов
 
  Рейтинг@Mail.ru
 

Контакты

  • Адрес: 153008, Россия, г. Иваново, ул. Лежневская, д. 55, 4 этаж. Время работы: с 10-00 до 18-00. Кроме выходных.
  • Tel: +7(910)690-15-09
  • Fax: +7(910)690-15-09
  • Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
  • Website: http://www.ipi1.ru/
  • Вконтакте: http://vk.com/scienceproblems
Вы здесь: Главная Статьи 01.00.00 Физико-математические науки