5396960

50 3030310

[email protected]

Ministry of Science and Education Republic of Azerbaijan İnstitute Mathematics and Mechanics department of  “Algebra and mathematical logic”

Coherence theorem for Cartesian closed categories is proved. An algorithm for determining the equality of conic morphisms in bipartite and symmetric monoidal closed categories is given. The coherence theorem has been proved for these categories as well. Mathematical and logical works of N. Tusin were translated and edited from Arabic and Persian languages into Azerbaijani and Russian languages. In these works, a number of innovations unknown to the history of science of N. Tusin were discovered. Including:
1. Giving the axioms of stereometry,
2. Showing that the rule of criteria is necessary and not sufficient,
3. Who considers the unit as a number,
4. Taking the smallest common divisor of the denominators as a common denominator during operations on fractions,
5. Knowing the IV figure of syllogisms is necessary, etc. the first scientist was N. Tusi.

1. A coherence theorem for canonical morphisms in Cartesian closed categories. Journal of  Soviet Mathematics November 5,1982, V.20 , Issue 4,pp 2263-2279.
2. Equality of maps and coherence theorem for biclosed categories. Journal of  Soviet Mathematics, June 11, 1983, V. 22, Issue 3, pp 1281-12.
3. On conditions of full coherence in biclosed ectegories : A new application of poof theory. Collog-88: Papers at the Intern. conf. In computer logic. Tallin, Part I p.9-14,Lecture Notes in Comput. Sci., 417, Springer,Berlin, 1990.
4. К вопросу равенства морфизмов в замкнутых категориях. Труды матем. ин-та РАН 1992.т.193. с.31-36.
5. Решетка эквационалъных к-строф. Изв. АН Азерб. Сер.физ-техн.и мат.наук 1995. №1-3. С.9-12.
6. О силъной незвисимости в общих и специалных пространствах с замыкание. Тр.ИММ АН Азерб. Баку, 1998 т.8 с.34-40.
7. Equality of canonical morphisms in biclosed categories. Trans. Of  Sci. of Azerb. Ser.of phs 1999-vol 19 №5.
8. Применения методов теории доказателъств в теории категории. Баку, Элм. 2001. Монография.
9. “The Sultan of the Sages, the king of scientists.” AMEA Xəbərləri cild XXII Riyaziyyat və Mexanika №1 Bakı 2002.
10. Simplification of an algorithm for recognition of quality of cononical morfisms in the categories with additional structures. Proc.IMM NAS of Azerb. 2004.vol XXI (XXIX)/ f 39-44.
11. Н.Туси вя онун рийази ясярляр Н.Туси. “Тозлу лювщянин кюмяйи иля щесаб топлусу”. Бакы, 2008, с.3-23.
12. On minimal sub algebras in algebra  . Proc. of  IMM of NASA. vol. XXVIII (XXXVI), p.23-28.
13. О буквенных обозначениях алгебраических выражений у Насиреддина Туси. Тезисы XXIX международной конференции по истории и философии и техники РАН. Санкт-Петербург, 2008.
14. Нясиряддин Туси. Тозлу лювщянин кюмяйи иля щесаб топлусу. Бакы, 2008, Шярщляр 147-160.
15. N. Tusi Tozlu lövhənin köməyi ilə hesab toplusu.  Ərəb dilindən azərbaycan dilinə tərcümənin elmi redaktoru, Bakı, 2008.
16. Замечание Насир ад-Дина ат-Туси о “мерилах” в трактате “Сборник по арифметике с помощью доски  и пыли”. Международная научно-образоввтельная конференция  Наука в вузах: математика, физика, информатика. Проблемы высшего и среднего профессионального образования Москва 23 – 27 марта 2009 года.
17. О наименьшем общем знаменателе дробей у Насиреддина Туси. Наука и Техника. Вопросы истории и теории. Санкт-Петербург, 2010.
18. Великий математик. N.Tusinin 810 illik yubileyinə həsr olunmuş “Dаhi ensiklopedik alim” beynəlxalq konfransının materialları, Bakı, 2011,  с.87-97.
19. Н.Туси "Сборник по арифметике с помощью доски и пыли". Ərəb dilindən Rus dilinə tərcümə və redaktə, Bakı, 2011.
20. О логических таблицах в трактате Насиреддина Туси «Асас ал-иктибас». Логика, язык и формальные модели. Санкт-Петербург, 2012, с.87-96.
21. О замечании Насиреддина Туси в “Тахрири Уклидис” к шестой книге “Начал” Евклида.  Международная конференция “Теория вероятностей и ее приложения”,Ю посвященная 100-летию со дня рождения Б.В.Гнеденко.
22. New Results In The Research On Some Mathematical Works Of Nasir Al-Din Al-Tusi. MuslimHeritage.com.
23. Эволюция логической строгости математического доказательства в труде Н.Туси «Тахирири Уклидис» («Изложения Евклида»). Восьмые смирновские чтения по логике Материалы международной научной конференции 19-21 июня 2013 года Москва с.93-94. 
24. Н.Туси "Извлечение из логики". Ərəb dilindən rus dilinə tərcümənin elmi redaktoru О трактате Насиреддина Туси "Сборник по арифметике с помощью доски и пыли". Математика и математическое моделирование: проблемы и перспективы, Оренбург, 20-21 мая, 2015 года, Сборник научных статей, стр.45-55.
25. "Таджридуль мантыг" (Извлечение из логики) Н.Туси - учебник по логике. (к переводу трактата на русский язык). Логико-философские штудии. Том 13, № 2. 2016. С. 232–233.
26. О некоторых логических идеях ат-Туси в  "Тахрири Усул Уклидис" ("Изложение Евклида"). Десятые смирновские чтения по логике, Материалы международной  научной конференции, 15-17 июня , 2017 года, Москва IV фигура силлогизма в силлогистике Насиреддина Туси. Логико-философские штудии. Том 16 (№ 1–2)  стр. 65-66, 2018.
27. О некоторых фактах, изменяющих принятую в истории математики датировку введения мате-матических понятий. XXXIX Международная годичной научная конференция, 12 ноября - 16 ноября 2018 года , Санкт-Петербург .стр 228-229 
28. О простых категорических силлогизмах в силлогистике Н.Туси. Московский Государственный университет им. М.В.Ломоносова, Филосовский факультет. Одинадцатые смиронвские чтения по логике. Материалы международной научной конференции 19-21 июня 2019 года, Москва Алгебраическая символика исламского средневековья. Международная конференция Мальцевские чтения, 19-23 августа 2019 г., тезисы докладов. Новосибирск, 2019, с.65.
29. Логические принципы в математических  трудах Насиреддина Туси. Второй Международный Конгресс Русского общества истории и философии науки «Наука как общественное благо», Том 4. Сборник научных статей. Cанкт-Петербург, 2020. ст.72-75.
30. Новаторство Насиреддина Туси в развитии математики. К 820-летию ученого. Институт истории естествознания и техники им. С.И. Вавилова. Годичная научная конференция,  М.: ИИЕТ РАН, 2021. ст.77-81
31. О статусе терминов, порядке посылок и четырех фигурах силлогизма в силлогистике Насиреддина Туси. Логико-философские штудии. Том 20, №2,  2022, стр.25-35
32. К вопросу о «геометрической алгебре». Наука и Техника: Вопросы истории и теории. Выпуск XXXVIII, Санкт-петербург-2022, стр. 115-116
33. Формирование концепции действительного числа в трудах Насиреддина Туси. Международная конференция Российского национального комитета по истории и философии науки и техники РАН ИИЕТ РАН Москва 2022. стр. 430-433   
 

1996-1997, BSU, dosent
2004-2014,  ASPU, dosent