База данных: Факультет материалдарының репозиторийі
Беті 1, Нәтижелерін: 6
Отмеченные записи: 0
1.
Подробнее
А32
Айтимбетова, Р. С.
Алгоритм тілдерде программалау [Электрондық ресурс] : несиелік оқу жүйесіне арналған оқу-әдістемелік құрал / Р. С. Айтимбетова. - Тараз : Тараз университеті, 2005. - 160 б. - Б. ц.
ББК 22.12
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АРИФМЕТИКА
Кл.слова (ненормированные):
алгоритм -- программалау -- зертханалық жұмыс -- ПОҚ еңбектері -- Турбо паскаль -- модульдік программалау -- цикл операторлары -- программалық жабдықтар
А32
Айтимбетова, Р. С.
Алгоритм тілдерде программалау [Электрондық ресурс] : несиелік оқу жүйесіне арналған оқу-әдістемелік құрал / Р. С. Айтимбетова. - Тараз : Тараз университеті, 2005. - 160 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АРИФМЕТИКА
Кл.слова (ненормированные):
алгоритм -- программалау -- зертханалық жұмыс -- ПОҚ еңбектері -- Турбо паскаль -- модульдік программалау -- цикл операторлары -- программалық жабдықтар
2.
Подробнее
Ж26
Жанасбаева, Ұ. Б.
Дербес туындалы екінші ретті дифференциалық теңдеулерді торлар әдісімен жуықтап шешу [Электрондық ресурс] : оқу құралы / Ұ. Б. Жанасбаева. - Тараз : ТарМУ, 2000. - 77 б. - ISBN 9965-498-19-9 : Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Ж26
Жанасбаева, Ұ. Б.
Дербес туындалы екінші ретті дифференциалық теңдеулерді торлар әдісімен жуықтап шешу [Электрондық ресурс] : оқу құралы / Ұ. Б. Жанасбаева. - Тараз : ТарМУ, 2000. - 77 б. - ISBN 9965-498-19-9 : Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
3.
Подробнее
Ж56
Жетпісов, Қ.
Математикалық логика [Электрондық ресурс] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
Ж56
Жетпісов, Қ.
Математикалық логика [Электрондық ресурс] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
4.
Подробнее
Р24
Рахимова, Г. К.
Математикалық логика 1 семестр, KZ/ESTS-3/6. Ықтималдықтар теориясы және математикалық статистика 4 семестр KZ/ESTS-3/6. Тілдер және автоматтар теориясы 5 семестр KZ/ESTS-2/4. [Электрондық ресурс] : модуль бойынша оқыту бағдарламасы (Силлабус) / Г. К. Рахимова, А. М. Айтказина. - Тараз : [б. и.], 2016. - Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
силлабус -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер
Доп.точки доступа:
Айтказина, А.М.
Р24
Рахимова, Г. К.
Математикалық логика 1 семестр, KZ/ESTS-3/6. Ықтималдықтар теориясы және математикалық статистика 4 семестр KZ/ESTS-3/6. Тілдер және автоматтар теориясы 5 семестр KZ/ESTS-2/4. [Электрондық ресурс] : модуль бойынша оқыту бағдарламасы (Силлабус) / Г. К. Рахимова, А. М. Айтказина. - Тараз : [б. и.], 2016. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
силлабус -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер
Доп.точки доступа:
Айтказина, А.М.
5.
Подробнее
С52
Смайлова, Ұ. М.
Алгоритм құру және программалау технологиялары пәні бойынша тест - сұрақтар жинағы [Электрондық ресурс] : әдістемелік құрал / Ұ. М. Смайлова, Ә. Т. Өтуходжаева. - Тараз : Тараз университеті, 2004. - 55 б. - ISBN 9965-668-77-9 : Б. ц.
ББК 22.12
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЕСЕПТЕУ ТЕХНИКАСЫ
АЛГОРИТМ
Кл.слова (ненормированные):
алгоритм құру -- сызықты алгоритмдер -- массивтерді өңдеу алгоритмдер
Доп.точки доступа:
Өтуходжаева, Ә.Т.
С52
Смайлова, Ұ. М.
Алгоритм құру және программалау технологиялары пәні бойынша тест - сұрақтар жинағы [Электрондық ресурс] : әдістемелік құрал / Ұ. М. Смайлова, Ә. Т. Өтуходжаева. - Тараз : Тараз университеті, 2004. - 55 б. - ISBN 9965-668-77-9 : Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
ЕСЕПТЕУ ТЕХНИКАСЫ
АЛГОРИТМ
Кл.слова (ненормированные):
алгоритм құру -- сызықты алгоритмдер -- массивтерді өңдеу алгоритмдер
Доп.точки доступа:
Өтуходжаева, Ә.Т.
6.
Подробнее
Т82
Туленбаев, Ж. С.
Математическое моделирование и оптимальное управление сложными химико-технологическими процессами [Электронный ресурс] / Ж. С. Туленбаев. - Тараз : Тараз университеті, 2012. - 104 б. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ОСНОВЫ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическое моделирование -- математическая модель -- химическая технология -- естественные науки -- труды ППС -- основы математики -- математическая логика -- химия -- химические процессы
Т82
Туленбаев, Ж. С.
Математическое моделирование и оптимальное управление сложными химико-технологическими процессами [Электронный ресурс] / Ж. С. Туленбаев. - Тараз : Тараз университеті, 2012. - 104 б. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ОСНОВЫ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическое моделирование -- математическая модель -- химическая технология -- естественные науки -- труды ППС -- основы математики -- математическая логика -- химия -- химические процессы
Беті 1, Нәтижелерін: 6