DISKRET MATEMATIKA VA MATEMATIK MANTIQ TARIXI VA UNING ASOSLARI
Annotatsiya
Mazkur maqolada diskret matematika va matematik mantiq fanlarining shakllanish tarixi, rivojlanish bosqichlari hamda ularning zamonaviy ilm-fan va texnologiyadagi o‘rni tahlil qilinadi. Diskret matematikaga oid asosiy tushunchalar – to‘plamlar nazariyasi, mantiqiy operatsiyalar, kombinatorika, graf nazariyasi va algoritmlar nazariyasi ko‘rib chiqiladi. Shuningdek, matematik mantiqning aristotel davridan boshlab XX asrdagi mantiqiy tizimlar rivojiga qadar bo‘lgan jarayonlari tahlil qilinadi. Maqolada bu fanlarning asoschilari, ularning ilmiy merosi, hamda bugungi kunda informatsion texnologiyalar, sun’iy intellekt va dasturlash sohalaridagi qo‘llanilishi yoritiladi. Tadqiqot natijalari ushbu fanlarning nazariy asoslarini chuqurroq anglash va ularni amaliyotda qo‘llash imkoniyatlarini kengaytirishga xizmat qiladi.
Kalit soʻzlar:
Iqtiboslar
К л и н и С. М атематическая логика. М: «М ир», 1973.. К н ут Д . И скусство программирования для ЭВМ. М, «М ир», т. 1 1976, т. 2.1977, т. 3. 1978.К о н д ак о в Н .И . Введение в логику. М., «Наука», 1967.. К о ф м ан А . Введение в прикладную комбинаторику. М., «Наука», 1975. К олдуэлл С . Логический синтез релейных устройств. М., 1961. К о л м о го р о в А .Н ., Ф ом и н С .В . Элементы теории функций и функционального анализа. М ., «Наука», 1989.К узин Л . Т. О сновы кибернетики. Том 2. М., «Энергия», 1979.К узн ецов О . П ., А д ельсон -В ельски й Г. М . Дискретная математика для инженера. 2-е изд. М., «Энергоатомиздат», 1988.К у к Д ., Б е й з Г. Компьютерная математика. М ., «Наука», 1990.. К у д р я в ц ев В.Б.а) Теорема полноты для одного класса автоматов без обратных связей. Проблемы кибернетики, В ы п.8. М., «Ф изматгиз», 1962, стр. 91-116.б) О мощ ностях множ еств предполных множеств некоторых функциональных .систем, связанны х с автоматами. Проблемы кибернетики, Вып.13. М., «Н аука», 1965, стр. 45-74. Л а в р о в И .А ., М ак си м о ва Л .Л . Задачи по теории множеств, математической логике и теории алгоритмов. М., «Наука», 1975.Л а з а р е в В .Г, П и й л ь Е .И . Синтез управляю щ их автоматов. М., «Энергия»,1978. Л ан д о С . К. Л екции о производящ их функциях. 2-е изд. М., М Ц Н М О , 2004.Л екции по теории графов. / Емеличев В.А., М ельников О.И., С арванов В.И., Тыш кевич Р.И. М ., «Н аука», 1990.. Л и п с к и й В. К омбинаторика для программистов. М., «М ир», 1988.. Л и х т а р н и к о в Л .М ., С у к а ч е ва Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. Санкт-П етербург, «Лань», 1999. Л у п а н о в О .Б .а) О синтезе некоторых классов управляю щ их систем. Сб. “ Проблемы кибернетики”, В ы п .10. М.. «Ф изматгиз», 1963, стр. 88-96.б) Об одном подходе к синтезу управляю щ их систем-принципы локального кодирования. // П роблем ы кибернетики. Вып. 14. М., «Наука», 1965, стр. 31-110.в) О возмож ностях синтеза схем из произвольных элементов. // Труды МИАН СССР, 51, 1958, стр. 158-183.. Л я п у н о в А .А . О логических схем ах программ. // Проблемы кибернетики, Вып.1. М ., «Ф изм атгиз», 1958, стр. 46-74.1. U.U.Umarova. Mulohazalar aigebrasi.- “Durdona” nashriyoti, 2019.. Ҳотам Тўраев. Математик мантиқ ва дискрет математика.-Тошкент “Ўқитувчи” 2003.. Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов. —3-е издание М., 2007.. В.Е.Алексеев, Л.Г.Киселева, Т.Г. Смирнова. Сборник задач по дискретной математике.- Нижний Новгород 2012.. А.Е.Будько. Электронгный учебно-методический комплекс для студентов физико-математического факультета специальностей «Прикладная математика» и «Экономическая кибернетика». Дискретная математика и математическая логика-Брест БрГУ имени А.С.Пушкина 2015. Т.В. Бернштейн, Т.В. Храмова. Практикум по дискретной математике.-Новосибирск 2011.. БайифЖ.-К Логические задачи: Пер. с фр. — М., 1983 Визам Д, Герцег Я. Игра и логика (85 логических задач): Пер. с венг. — М., 1975.Гаврилов Г Я, Сапоженко А. А. Сборник задач по дискретной мате-матике. — М., 1977..Гиндикин С. Г Алгебра логики в задачах. — М., 1972..Гохман А. В., Спивак М.А., Розен В. В. Сборник задач по математи-ческой логике и алгебре множеств. — Саратов, 1969.Драбкина М. Е. Логические упражнения по элементарной математике. — Минск, 1965.Игошин В. И. Математическая логика и теория алгоритмов. — Саратов, 1991..Игошин В. И. Задачник-практикум по математической логике. — М., 1968.
Oʻquvchilar geografiyasi
Nashr qilingan
Son
Boʻlim
Iqtibos keltirish tartibi
