База данных: Репозиторий трудов ППС
Страница 1, Результатов: 2
Отмеченные записи: 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 б. - Б. ц.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- алгебра -- аксиомалар әдісі -- алгебралық жүйелер -- модельдер -- предикаттар санағы -- ПОҚ еңбектері
Доп.точки доступа:
Тусупов, Ж.А.
Страница 1, Результатов: 2