| Kitob tashqi havolasi (to‘liq matni): | Yuklab olish |
|---|---|
| To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart | |
| Fayl formati: | |
| Fayl format turi: | application/pdf |
| Fayl hajmi: | 45.73 MB |
| Hujjat turi: | O‘quv qo‘llanma |
| Nashr tili: | Ruscha |
| Kataloglashtirish manbai: | Rus kiril |
| Hujjat tipi: | Bosma shaklda |
| Kirish huquq turi: | OCHIQ KIRISH |
Декларативное программирование
Kitob mualliflari
А.Х. Нишанов,
Б.Б. Акбаралиев,
И.В. Хан,
О.Б. Рузибаев,
В учебном пособии освещены такие темы как основы математической логики, методы математических доказательств, принцип резолюции, средства декларативного программирования, введение в логическое программирование, введение в функциональное программирование, вопросы типизации, рекурсивные структуры данных, методы и алгоритмы поиска, методы и алгоритмы обработки естественного языка, использование современных ООП подходов в рамках декларативного подхода, различные подходы к построению систем искусственного интеллекта.
| Bilimlar sohasi: | | Ilmiy axborot faoliyati. Informatika | |
|---|---|
| UDK | |
| Kitob nashriyoti nomi: | Mahalla va oila nashriyoti |
| Kitob nashr qilingan shahar: | Ташкент |
| ISBN: | 978-9943-7778-2-8 |
| Kitob nashr qilingan yili: | 2021 Yil |
| Betlar Soni: | 219 |
Kitobga aloqador kitoblar
Математик анализ курсидан мисол ва масалалар тўплами III
А.Саъдуллаев,
Г.Худойберганов,
X.Мансуров,
А.Борисов,
Т.Туйчиев,
Математик анализ курсидан мисол ва масалалар тўплами II
А.Саъдуллаев,
Х.Мансуров,
А.Ворисов,
Г.Худойберганов,
Р.Ғуломов,
Sport o'yinlari bo'yicha musobaqalar o'tkazish va hakamlik qilish
D.K.Karimov,
N.Sh.Safarboyev,
SH.N.Tuxtapulatov,