База данных: Ретро кітаптар
Беті 1, Нәтижелерін: 3
Отмеченные записи: 0
1.
Подробнее
22.12я7
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 200.00 тг., 200т. 00т. тг.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- предикаттар санағы -- алгебра -- математикалық логика -- формула -- тұжырым -- оқу құралы
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 6
6-5 (2), Респ.б. (1), 2.1-№2 Ч/З (1), 2-2 ИБО (1), 2.1-№2 оқу залы (1)
Свободны: 6-5 (2), Респ.б. (1), 2.1-№2 Ч/З (1), 2-2 ИБО (1), 2.1-№2 оқу залы (1)
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 200.00 тг., 200т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- предикаттар санағы -- алгебра -- математикалық логика -- формула -- тұжырым -- оқу құралы
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 6
6-5 (2), Респ.б. (1), 2.1-№2 Ч/З (1), 2-2 ИБО (1), 2.1-№2 оқу залы (1)
Свободны: 6-5 (2), Респ.б. (1), 2.1-№2 Ч/З (1), 2-2 ИБО (1), 2.1-№2 оқу залы (1)
2.
Подробнее
22.12я7
Ж56
Жетпісов, Қ.
Математикалық логика және дискретті математика [Мәтін] : учебник / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - ). - ISBN 978-601-217-186-0 : 494т. 00т. тг.
ББК 22.12я7
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- дискретті математика -- кодтау теориясының элементтері -- логикалық желілер және автоматтар -- тұжырымдар алгебрасы -- жиындар теориясының элементтері -- алгебралық жүйелер -- предикаттар санағы -- графтар теориясының негіздері -- аксиомалық әдіс -- санақ
Экземпляры всего: 50
2.1-№2 оқу залы (40), 2 - 1 (2), 2.6-№4 оқу залы (8)
Свободны: 2.1-№2 оқу залы (40), 2 - 1 (2), 2.6-№4 оқу залы (8)
Ж56
Жетпісов, Қ.
Математикалық логика және дискретті математика [Мәтін] : учебник / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - ). - ISBN 978-601-217-186-0 : 494т. 00т. тг.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математикалық логика -- дискретті математика -- кодтау теориясының элементтері -- логикалық желілер және автоматтар -- тұжырымдар алгебрасы -- жиындар теориясының элементтері -- алгебралық жүйелер -- предикаттар санағы -- графтар теориясының негіздері -- аксиомалық әдіс -- санақ
Экземпляры всего: 50
2.1-№2 оқу залы (40), 2 - 1 (2), 2.6-№4 оқу залы (8)
Свободны: 2.1-№2 оқу залы (40), 2 - 1 (2), 2.6-№4 оқу залы (8)
3.
Подробнее
22.12я73
Н860
Нұрсұлтанова, Қ.
Математикалық логика бастамалары [Мәтін] : оқу құралы. Б.2. / Қ. Нұрсұлтанова. - Алматы. : РБК, 1995. - 173 б. - ISBN 5838004547 : 96т. 51т. тг., 0т. 00т. тг., [Б.ц.] тг.
ББК 22.12я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
предикаттар -- логика -- есептер -- формулалары -- аксиоматика -- теория -- формальдық система -- алгоритм
Аннотация: ГА
Экземпляры всего: 16
6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Свободны: 6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Н860
Нұрсұлтанова, Қ.
Математикалық логика бастамалары [Мәтін] : оқу құралы. Б.2. / Қ. Нұрсұлтанова. - Алматы. : РБК, 1995. - 173 б. - ISBN 5838004547 : 96т. 51т. тг., 0т. 00т. тг., [Б.ц.] тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
предикаттар -- логика -- есептер -- формулалары -- аксиоматика -- теория -- формальдық система -- алгоритм
Аннотация: ГА
Экземпляры всего: 16
6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Свободны: 6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Беті 1, Нәтижелерін: 3