Russian Chinese (Simplified) English German

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

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

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

linecolor




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

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

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

ДОКАЗАТЕЛЬСТВО ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА МЕТОДОМ ДЕЛЕНИЯ

Ведерников С.И.

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

Ведерников Сергей Иванович – пенсионер,г. Москва

Аннотация: великая теорема Ферма доказана двадцать лет назад. Как показал С. Сингх [1], от Пифагора до П. Ферма, от П. Ферма до Э. Уайлса знаменитое уравнение развивало математику. Казалось бы, тема закрыта, но многим, не только математикам, не даёт покоя тот факт, что ещё в 1637 году Пьер Ферма заявил, что нашёл «удивительное» решение своей теоремы, несмотря на то, что математические знания того времени были далеки от знаний нашего времени. В предлагаемой работе на базе школьных знаний показана невозможность разложения  на целочисленные множители в уравнении при n > 2. Это значит, что теорема Ферма не имеет целочисленных решений.

Ключевые слова: великая, теорема, Ферма, метод деления.

THE PROOF OF FERMAT'S GREAT THEOREM BY THE METHOD OF DIVISION

Vedernikov S.I.

Vedernikov Sergey Ivanovich – Retired, Moscow

Abstract: Fermat's Great Theorem was proven twenty years ago. As shown by Singh [1], from Fermat to Wiles, this famous equation developed math. It would seem that the topic is closed, but many people, not just mathematicians, is haunted by the fact that in 1637 Pierre de Fermat stated that he found "amazing" solution to his theorem, despite the fact that the mathematical knowledge of that time were far from the knowledge of our time. In this paper, on the basis of school knowledge, shows the inability of the decomposition of  and  for integer multipliers in the equation  when n > 2. This means that Fermat's Great Theorem has no integer solutions.

Keywords: Fermat’s Great Theorem. Division method.

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

  1. Сингх C. Великая теорема Ферма. М.:МЦНМО, 2000. 286 с.
  2. Серпинский В. Пифагоровы треугольники. М.: Учпедгиз, 1959. 112 с.
  3. Гусев В.А., Мордкович А.Г. Математика: Учеб. Пособие. М. Высшая школа, 1984. 311 с.

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

Publication-of-scientific-papers-copyright     Тип лицензии на данную статью – CC BY 4.0. Это значит, что Вы можете свободно цитировать данную статью на любом носителе и в любом формате при указании авторства.

Ведерников С.И. Доказательство великой теоремы Ферма методом деления // Проблемы современной науки и образования  №34 (116), 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 Физико-математические науки