Choice of metadata Repository of Teaching Works
Page 1, Results: 14
Report on unfulfilled requests: 0
1.
Подробнее
Б84
Бурлибаева, Ш. М.
Функционалды және логикалық бағдарламалау [Электрондық ресурс] : оқу құралы / Ш. М. Бурлибаева. - Тараз : Тараз университеті, 2018. - 110 б. - Б. ц.
ББК 32.973.2я7
Рубрики: ТЕХНИКА
ЕСЕПТЕУ ТЕХНИКАСЫ
Кл.слова (ненормированные):
функционалды бағдарламалау -- логикалық бағдарламалау -- императивті тілдер -- арифметика -- кортеж -- шартты өрнек -- Haskell тілі -- Полиморфты тип -- Visual Prolog -- зертханалық жұмыс
Б84
Бурлибаева, Ш. М.
Функционалды және логикалық бағдарламалау [Электрондық ресурс] : оқу құралы / Ш. М. Бурлибаева. - Тараз : Тараз университеті, 2018. - 110 б. - Б. ц.
| УДК |
Рубрики: ТЕХНИКА
ЕСЕПТЕУ ТЕХНИКАСЫ
Кл.слова (ненормированные):
функционалды бағдарламалау -- логикалық бағдарламалау -- императивті тілдер -- арифметика -- кортеж -- шартты өрнек -- Haskell тілі -- Полиморфты тип -- Visual Prolog -- зертханалық жұмыс
2.
Подробнее
Д65
Доумчариева, Ж. Е.
С/С++ тіліндегі бағдарламалау технологиясы [Мәтін] : электрондық ресурс / Ж.Е.Доумчариева, Ж.Е.Муханова, А.Ж.Сатекбаева, Д.А.Тусупов. - Тараз : [б. и.], 2011. - 132 б. - [Б.ц.]
ББК 32.973.2я7
Рубрики: ТЕХНИКА. ТЕХНИКАЛЫҚ ҒЫЛЫМДАР
ЭЕМ МАШИНАСЫ ЖӘНЕ ЖАБДЫҚТАУ
Кл.слова (ненормированные):
интегралдық орта -- идентификатор -- кілттік сөздер -- деректер типі -- логикалық операциялар -- операторлар -- биттер өрісі -- деректерді инициализациялау -- шартты операция
Доп.точки доступа:
Муханова, А.А.
Д65
Доумчариева, Ж. Е.
С/С++ тіліндегі бағдарламалау технологиясы [Мәтін] : электрондық ресурс / Ж.Е.Доумчариева, Ж.Е.Муханова, А.Ж.Сатекбаева, Д.А.Тусупов. - Тараз : [б. и.], 2011. - 132 б. - [Б.ц.]
Рубрики: ТЕХНИКА. ТЕХНИКАЛЫҚ ҒЫЛЫМДАР
ЭЕМ МАШИНАСЫ ЖӘНЕ ЖАБДЫҚТАУ
Кл.слова (ненормированные):
интегралдық орта -- идентификатор -- кілттік сөздер -- деректер типі -- логикалық операциялар -- операторлар -- биттер өрісі -- деректерді инициализациялау -- шартты операция
Доп.точки доступа:
Муханова, А.А.
3.
Подробнее
Ж26
Жанасбаева, Ұ. Б.
Дербес туындалы екінші ретті дифференциалық теңдеулерді торлар әдісімен жуықтап шешу [Электрондық ресурс] : оқу құралы / Ұ. Б. Жанасбаева. - Тараз : ТарМУ, 2000. - 77 б. - ISBN 9965-498-19-9 : Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Ж26
Жанасбаева, Ұ. Б.
Дербес туындалы екінші ретті дифференциалық теңдеулерді торлар әдісімен жуықтап шешу [Электрондық ресурс] : оқу құралы / Ұ. Б. Жанасбаева. - Тараз : ТарМУ, 2000. - 77 б. - ISBN 9965-498-19-9 : Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
4.
Подробнее
Ж56
Жетпісов, Қ.
Математикалық логика [Электрондық ресурс] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
Ж56
Жетпісов, Қ.
Математикалық логика [Электрондық ресурс] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
5.
Подробнее
Ж88
Жүншеев, Р. Е.
Философия: логикалық-құрылымды кестелерден құрылған оқу құралы [Электрондық ресурс] : әдістемелік нұсқау / Р. Е. Жүншеев, А. А. Иманбаев. - Тараз : Тараз университеті, 2016. - 96 с. - ISBN 978-9905-37-339-8 : Б. ц.
ББК 87.3(5Каз)я7
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
философия -- мифология -- материализм -- үнді философиясы -- И.Кант философиясы -- материя -- гносеология -- онтология -- Қытай философиясы
Доп.точки доступа:
Иманбаев, А.А.
Ж88
Жүншеев, Р. Е.
Философия: логикалық-құрылымды кестелерден құрылған оқу құралы [Электрондық ресурс] : әдістемелік нұсқау / Р. Е. Жүншеев, А. А. Иманбаев. - Тараз : Тараз университеті, 2016. - 96 с. - ISBN 978-9905-37-339-8 : Б. ц.
Рубрики: ФИЛОСОФИЯ
ФИЛОСОФИЯ ТАРИХЫ
Кл.слова (ненормированные):
философия -- мифология -- материализм -- үнді философиясы -- И.Кант философиясы -- материя -- гносеология -- онтология -- Қытай философиясы
Доп.точки доступа:
Иманбаев, А.А.
6.
Подробнее
И15
Ибраимова, А. К.
Бағдарламалық өнімдерді құру бойынша консалтинг қызметін көрсету ақпараттық жүйесін зерттеу және өңдеу [Мәтін] : техника ғылымдарының магистрі академиялық дәрежесін алу үшін дайындалған диссертацияның авторефераты / Ғылыми жетекші: т.ғ.к., доцент Сембина,Г.М. - Тараз : [б. и.], 2014. - 16 б. - ). - б/ж
Рубрики: ТЕХНИКА
АҚПАРАТТЫҚ ЖҮЙЕЛЕР
Кл.слова (ненормированные):
консалтинг -- ақпараттық жүйе -- интерфейс -- инструменталдық құрал -- логикалық модель -- диалог реквизиті
И15
Ибраимова, А. К.
Бағдарламалық өнімдерді құру бойынша консалтинг қызметін көрсету ақпараттық жүйесін зерттеу және өңдеу [Мәтін] : техника ғылымдарының магистрі академиялық дәрежесін алу үшін дайындалған диссертацияның авторефераты / Ғылыми жетекші: т.ғ.к., доцент Сембина,Г.М. - Тараз : [б. и.], 2014. - 16 б. - ). - б/ж
| УДК |
Рубрики: ТЕХНИКА
АҚПАРАТТЫҚ ЖҮЙЕЛЕР
Кл.слова (ненормированные):
консалтинг -- ақпараттық жүйе -- интерфейс -- инструменталдық құрал -- логикалық модель -- диалог реквизиті
7.
Подробнее
К14
Кайранов, М. Ж.
Жасанды интеллект жүйелері [Электрондық ресурс] : оқу құралы / М. Ж. Кайранов. - Тараз : Тараз университеті, 2016. - 126 б. - ISBN 978-99-65-37-256-8 : Б. ц.
ББК 32.965
Рубрики: ТЕХНИКА
РАДИОЭЛЕКТРОНИКА
АВТОМАТТАНДЫРУ ЖӘНЕ БАСҚАРУ
Кл.слова (ненормированные):
жасанды интеллект -- концепция -- ұсыну модельдері -- сараптау жүйелері -- ақпараттық жүйелер -- жасанды нейрон -- логика -- фрэйм
К14
Кайранов, М. Ж.
Жасанды интеллект жүйелері [Электрондық ресурс] : оқу құралы / М. Ж. Кайранов. - Тараз : Тараз университеті, 2016. - 126 б. - ISBN 978-99-65-37-256-8 : Б. ц.
Рубрики: ТЕХНИКА
РАДИОЭЛЕКТРОНИКА
АВТОМАТТАНДЫРУ ЖӘНЕ БАСҚАРУ
Кл.слова (ненормированные):
жасанды интеллект -- концепция -- ұсыну модельдері -- сараптау жүйелері -- ақпараттық жүйелер -- жасанды нейрон -- логика -- фрэйм
8.
Подробнее
К14
Кайранов, М. Ж.
Жасанды интеллект жүйелері [Электрондық ресурс] : оқу құралы / М. Ж. Кайранов. - Тараз : Тараз университеті, 2014. - 124 б. - ISBN 978-99-65-37-256-8 : Б. ц.
ББК 32.965
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
жасанды интелект -- концепция -- ұсыну модельдері -- сараптау жүйелері -- ақпараттық жүйелер -- интеллектуалды ақпараттық жүйелер -- логикалық модель -- формальді логика
К14
Кайранов, М. Ж.
Жасанды интеллект жүйелері [Электрондық ресурс] : оқу құралы / М. Ж. Кайранов. - Тараз : Тараз университеті, 2014. - 124 б. - ISBN 978-99-65-37-256-8 : Б. ц.
Рубрики: ТЕХНИКА
ИНФОРМАТИКА
Кл.слова (ненормированные):
жасанды интелект -- концепция -- ұсыну модельдері -- сараптау жүйелері -- ақпараттық жүйелер -- интеллектуалды ақпараттық жүйелер -- логикалық модель -- формальді логика
9.
Подробнее
К32
Керімбаева, Р. Қ.
«Логика» ересек топ балаларына арналған «Ойлан да, тап» оқу-әдістемелік құралы [Мәтін] / Р. Қ. Керімбаева, Н. Ә. Свамбаева. - Тараз : [б. и.], 2016. - 107 б. - ISBN 976601-240-640-5 : Б. ц.
ББК 74.102
Рубрики: ПЕДАГОГИКА
ПСИХОЛОГИЯ
Кл.слова (ненормированные):
әдістемелік құрал -- мектепке дейінгі оқыту -- психология
Доп.точки доступа:
Свамбаева, Н.Ә.
К32
Керімбаева, Р. Қ.
«Логика» ересек топ балаларына арналған «Ойлан да, тап» оқу-әдістемелік құралы [Мәтін] / Р. Қ. Керімбаева, Н. Ә. Свамбаева. - Тараз : [б. и.], 2016. - 107 б. - ISBN 976601-240-640-5 : Б. ц.
| УДК |
Рубрики: ПЕДАГОГИКА
ПСИХОЛОГИЯ
Кл.слова (ненормированные):
әдістемелік құрал -- мектепке дейінгі оқыту -- психология
Доп.точки доступа:
Свамбаева, Н.Ә.
10.
Подробнее
К32
Керімбаева, Р. Қ.
Мектеп жасына дейінгі балаларға арналған дамыту ойындары [Электронды ресурс] : оқу құралы / Р. Қ. Керімбаева, М. Р. Балтабаева. - Тараз : Тараз университеті, 2017. - 75 б. - ISBN 9965-980-60-9 : Б. ц.
ББК 74
Рубрики: ПЕДАГОГИКА
Кл.слова (ненормированные):
дамыту ойыны -- дидактикалық ойын -- логикалық ойын -- технологиялық карта -- мотивациялық қозғаушы
Доп.точки доступа:
Балтабаева, М.Р.
К32
Керімбаева, Р. Қ.
Мектеп жасына дейінгі балаларға арналған дамыту ойындары [Электронды ресурс] : оқу құралы / Р. Қ. Керімбаева, М. Р. Балтабаева. - Тараз : Тараз университеті, 2017. - 75 б. - ISBN 9965-980-60-9 : Б. ц.
Рубрики: ПЕДАГОГИКА
Кл.слова (ненормированные):
дамыту ойыны -- дидактикалық ойын -- логикалық ойын -- технологиялық карта -- мотивациялық қозғаушы
Доп.точки доступа:
Балтабаева, М.Р.
Page 1, Results: 14