Choice of metadata Repository of Teaching Works
Page 1, Results: 3
Report on unfulfilled requests: 0
1.
Подробнее
Ж26
Жанасбаева, Ұ. Б.
Дербес туындалы екінші ретті дифференциалық теңдеулерді торлар әдісімен жуықтап шешу [Электрондық ресурс] : оқу құралы / Ұ. Б. Жанасбаева. - Тараз : ТарМУ, 2000. - 77 б. - ISBN 9965-498-19-9 : Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Ж26
Жанасбаева, Ұ. Б.
Дербес туындалы екінші ретті дифференциалық теңдеулерді торлар әдісімен жуықтап шешу [Электрондық ресурс] : оқу құралы / Ұ. Б. Жанасбаева. - Тараз : ТарМУ, 2000. - 77 б. - ISBN 9965-498-19-9 : Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
2.
Подробнее
Ж56
Жетпісов, Қ.
Математикалық логика [Электрондық ресурс] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - Б. ц.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
Ж56
Жетпісов, Қ.
Математикалық логика [Электрондық ресурс] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
3.
Подробнее
Р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. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
силлабус -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер
Доп.точки доступа:
Айтказина, А.М.
Page 1, Results: 3