База данных: Электронная библиотека
Страница 3, Результатов: 244
Отмеченные записи: 0
21.
Подробнее
А87
Асамбаев, А. Ж.
Жасанды интелект негіздері [Электрондық ресурс] : оқу құралы / А. Ж. Асамбаев. - Алматы : Дәуір, 2004. - 136 б. - Б. ц.
ББК 32.973
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
файлдық дерек -- логарифм -- ақпараттық технология -- эвристикалық программа -- ақпараттық жүйелер -- жасанды интелект -- интеллектуалды ақпараттық жүйелер -- логикалық модель -- формальді логика
А87
Асамбаев, А. Ж.
Жасанды интелект негіздері [Электрондық ресурс] : оқу құралы / А. Ж. Асамбаев. - Алматы : Дәуір, 2004. - 136 б. - Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
файлдық дерек -- логарифм -- ақпараттық технология -- эвристикалық программа -- ақпараттық жүйелер -- жасанды интелект -- интеллектуалды ақпараттық жүйелер -- логикалық модель -- формальді логика
22.
Подробнее
А87
Асамбаев, А. Ж
Жасанды интеллект негіздері [Электрондық ресурс] : оқулық / А.Ж Асамбаев. - Алматы : Эверо, 2017. - 168 б. - Б. ц.
ББК 32.973
Рубрики: ТЕХНИКА. ТЕХНИКАЛЫҚ ҒЫЛЫМДАР
АҚПАРАТТЫҚ ТЕХНОЛОГИЯЛАР
Кл.слова (ненормированные):
жасанды интеллект -- логикалық модель -- семантикалық желілер -- сараптамалық жүйелер -- өнімдік модел
А87
Асамбаев, А. Ж
Жасанды интеллект негіздері [Электрондық ресурс] : оқулық / А.Ж Асамбаев. - Алматы : Эверо, 2017. - 168 б. - Б. ц.
Рубрики: ТЕХНИКА. ТЕХНИКАЛЫҚ ҒЫЛЫМДАР
АҚПАРАТТЫҚ ТЕХНОЛОГИЯЛАР
Кл.слова (ненормированные):
жасанды интеллект -- логикалық модель -- семантикалық желілер -- сараптамалық жүйелер -- өнімдік модел
23.
Подробнее
А90
Асмус, В. Ф.
Логика [Электронный ресурс] : учебник / В. Ф. Асмус. - М. : Едиториал УРСС, 2001. - 392 с. - Б. ц.
ББК 22.18
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
задача логики -- логические законы мышления -- состав суждения -- учение о понятии
А90
Асмус, В. Ф.
Логика [Электронный ресурс] : учебник / В. Ф. Асмус. - М. : Едиториал УРСС, 2001. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
задача логики -- логические законы мышления -- состав суждения -- учение о понятии
24.
Подробнее
Ә19
Әбу Насыр әл-Фараби. 10 томдық шығармалар жинағы [Электрондық ресурс]. 10-том. Әл-Фараби мұрасы: қазақстандық философиялық зерттеулер (1991-2008). Биобиблиография / құраст: Ә. Нысанбаев, Ғ. Құрманғалиева, Н. Сейтахметова. - Астана : ЖШС "Лотос-Астана", 2009. - 432 б. - Б. ц.
ББК 87.2
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
Әл-Фараби -- биобиблиография -- Әл-Фараби мұрасы -- әлем бірлігі -- Онтология -- гносеология -- логика -- болмыс тұжырымдамасы -- таным теориясы -- герменевтика
Ә19
Әбу Насыр әл-Фараби. 10 томдық шығармалар жинағы [Электрондық ресурс]. 10-том. Әл-Фараби мұрасы: қазақстандық философиялық зерттеулер (1991-2008). Биобиблиография / құраст: Ә. Нысанбаев, Ғ. Құрманғалиева, Н. Сейтахметова. - Астана : ЖШС "Лотос-Астана", 2009. - 432 б. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
Әл-Фараби -- биобиблиография -- Әл-Фараби мұрасы -- әлем бірлігі -- Онтология -- гносеология -- логика -- болмыс тұжырымдамасы -- таным теориясы -- герменевтика
25.
Подробнее
19
Әбу Насыр әл-Фараби. 10 томдық шығармалар жинағы [Электрондық ресурс]. 3-том. Логика / құраст: Ә. Нысанбаев, Ғ. Құрманғалиева, Н. Сейтахметова. - Астана : ЖШС "Лотос-Астана", 2007. - 368 б. - Б. ц.
ББК 87.4
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
логика -- силлогизм -- софистика -- диалектика -- аналитика кітабы
19
Әбу Насыр әл-Фараби. 10 томдық шығармалар жинағы [Электрондық ресурс]. 3-том. Логика / құраст: Ә. Нысанбаев, Ғ. Құрманғалиева, Н. Сейтахметова. - Астана : ЖШС "Лотос-Астана", 2007. - 368 б. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
логика -- силлогизм -- софистика -- диалектика -- аналитика кітабы
26.
Подробнее
Ә19
Әбу Насыр әл-Фараби. Таңдамалы трактаттары [Электрондық ресурс] / құраст: Ә. Нысанбаев, Ғ. Құрманғалиева, Ж. Сандыбаев. - Алматы : Арыс, 2009. - 656 б. - Б. ц.
ББК 87.3
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
Әл-Фараби -- таңдамалы трактаттары -- тіл туралы ғылым -- логика -- әріптер кітабы -- софистика -- Катагурайас -- Силлогизм -- теология -- Азаматтық ғылым
Ә19
Әбу Насыр әл-Фараби. Таңдамалы трактаттары [Электрондық ресурс] / құраст: Ә. Нысанбаев, Ғ. Құрманғалиева, Ж. Сандыбаев. - Алматы : Арыс, 2009. - 656 б. - Б. ц.
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
Әл-Фараби -- таңдамалы трактаттары -- тіл туралы ғылым -- логика -- әріптер кітабы -- софистика -- Катагурайас -- Силлогизм -- теология -- Азаматтық ғылым
27.
Подробнее
Ә52
Әлемдік мәдениеттану ой-санасы 10 томдық [Электрондық ресурс] : учебник. Т.8. Постмодернизм және мәдениет. - Алматы : Жазушы, 2006. - 432 б. - Б. ц.
ББК 71.1
Рубрики: МӘДЕНИЕТ
ӘЛЕМДІК МӘДЕНИЕТ
Кл.слова (ненормированные):
көне шығыс философиясы -- көне грек философиясы -- мағына логикасы -- мәдениет майданы
Ә52
Әлемдік мәдениеттану ой-санасы 10 томдық [Электрондық ресурс] : учебник. Т.8. Постмодернизм және мәдениет. - Алматы : Жазушы, 2006. - 432 б. - Б. ц.
Рубрики: МӘДЕНИЕТ
ӘЛЕМДІК МӘДЕНИЕТ
Кл.слова (ненормированные):
көне шығыс философиясы -- көне грек философиясы -- мағына логикасы -- мәдениет майданы
28.
Подробнее
Б20
Жасанды интеллект қазіргі заманғы теория және тәжірибе [Электрондық ресурс] : 1 бөлім. - Алматы : Бастау, 2020. - 247 б. - Б. ц.
ББК 32.923я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЕСЕПТЕУ ТЕХНИКАСЫ
Кл.слова (ненормированные):
предикат -- пролог -- логика -- желі -- нейрон -- сараптамалық -- алгоритм -- семантикалық -- кибернетика -- объект -- унификация -- дерек
Б20
Жасанды интеллект қазіргі заманғы теория және тәжірибе [Электрондық ресурс] : 1 бөлім. - Алматы : Бастау, 2020. - 247 б. - Б. ц.
| УДК |
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЕСЕПТЕУ ТЕХНИКАСЫ
Кл.слова (ненормированные):
предикат -- пролог -- логика -- желі -- нейрон -- сараптамалық -- алгоритм -- семантикалық -- кибернетика -- объект -- унификация -- дерек
29.
Подробнее
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
Б24
Барвайс, Дж.
Справочная книга по математической логике [Электронный ресурс] : учебник / Дж. Барвайс. - М. : [б. и.], 1982. - 392 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
формализация логики -- теорема о полноте -- логика первого порядка -- теория компактности -- теорема Левенгейма-Скулема -- действительные числа -- теория множеств -- фильтры -- основная теорема -- логика высказываний -- атомная формула -- алгебраическая система -- принцип Лейбца -- дифференциалы
30.
Подробнее
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
Страница 3, Результатов: 244