Choice of metadata Электронный каталог КазНУВХиИ
Page 1, Results: 6
Report on unfulfilled requests: 0
1.
Подробнее
22.12
А32
Айтимбетова, Р. С.
Алгоритм тілдерде программалау [Текст] : несилелік оқу жүйесіне арналған оқу-әдістемелік құрал / Р. С. Айтимбетова. - Тараз : Тараз университеті, 2005. - 160 б. - 410т. 00т. тг.
ББК 22.12
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АРИФМЕТИКА
Кл.слова (ненормированные):
алгоритм -- программалау -- модульдік программалау -- цикл операторлары -- массив -- Турбо Паскаль -- файл -- құрылымдық тип -- программалық жабдықтар -- оқу-әдістемелік құрал
Экземпляры всего: 1
гидро 6- 5 (1)
Свободны: гидро 6- 5 (1)
А32
Айтимбетова, Р. С.
Алгоритм тілдерде программалау [Текст] : несилелік оқу жүйесіне арналған оқу-әдістемелік құрал / Р. С. Айтимбетова. - Тараз : Тараз университеті, 2005. - 160 б. - 410т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АРИФМЕТИКА
Кл.слова (ненормированные):
алгоритм -- программалау -- модульдік программалау -- цикл операторлары -- массив -- Турбо Паскаль -- файл -- құрылымдық тип -- программалық жабдықтар -- оқу-әдістемелік құрал
Экземпляры всего: 1
гидро 6- 5 (1)
Свободны: гидро 6- 5 (1)
2.
Подробнее
22.12я7
А87
Архипов, Г. И.
Лекции по математическому анализу [Текст] : Учеб. для вузов / , В.А.Садовничий,; Под ред. В.А.Садовничего. - М. : Высш. шк., 2000. - 416 с. - ISBN 5060039552 : 592т. 00т. тг.
ББК 22.12я7
Рубрики: Физико-математические науки
Математический анализ
Кл.слова (ненормированные):
математика -- математический анализ -- функций -- интеграл -- криволинейные интегралы -- дифференцирование
Доп.точки доступа:
Садовниичий, В.А.
Чубариков, В.Н.
Экземпляры всего: 4
6.1-№8 оқу залы (4)
Свободны: 6.1-№8 оқу залы (4)
А87
Архипов, Г. И.
Лекции по математическому анализу [Текст] : Учеб. для вузов / , В.А.Садовничий,; Под ред. В.А.Садовничего. - М. : Высш. шк., 2000. - 416 с. - ISBN 5060039552 : 592т. 00т. тг.
| УДК |
Рубрики: Физико-математические науки
Математический анализ
Кл.слова (ненормированные):
математика -- математический анализ -- функций -- интеграл -- криволинейные интегралы -- дифференцирование
Доп.точки доступа:
Садовниичий, В.А.
Чубариков, В.Н.
Экземпляры всего: 4
6.1-№8 оқу залы (4)
Свободны: 6.1-№8 оқу залы (4)
3.
Подробнее
22.12я7
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 200.00тг., 200т. 00т. тг.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- предикаттар санағы -- алгебра -- математикалық логика -- формула -- тұжырым -- оқу құралы
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 2
6-5 (2)
Свободны: 6-5 (2)
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 200.00тг., 200т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- предикаттар санағы -- алгебра -- математикалық логика -- формула -- тұжырым -- оқу құралы
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 2
6-5 (2)
Свободны: 6-5 (2)
4.
Подробнее
22.12
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / , Л.Л.Максимова. - М. : Физматлит, 2002. - 256 с. - ISBN 5922100262 : 1000т. 00т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- отношения -- функции -- кардинальные числа -- математическая логика -- язык логики предикатов -- теория алгоритмов -- машины Тьюринга
Экземпляры всего: 2
6-5 (2)
Свободны: 6-5 (2)
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / , Л.Л.Максимова. - М. : Физматлит, 2002. - 256 с. - ISBN 5922100262 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- отношения -- функции -- кардинальные числа -- математическая логика -- язык логики предикатов -- теория алгоритмов -- машины Тьюринга
Экземпляры всего: 2
6-5 (2)
Свободны: 6-5 (2)
5.
Подробнее
22.123
Т33
Теория моделей в Казахстане [Текст] : Сборник научных работ, посвященной памяти А.Д.Тайманова. - Алматы : ECO STUDY, 2006. - 448 с. - ISBN 996597-18-3-8 : [Б.ц.] тг.
ББК 22.123
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика -- теория моделей -- А.Д.Тайманов -- математик -- модельная алгебра
Экземпляры всего: 1
гидро 6- 5 (1)
Свободны: гидро 6- 5 (1)
Т33
Теория моделей в Казахстане [Текст] : Сборник научных работ, посвященной памяти А.Д.Тайманова. - Алматы : ECO STUDY, 2006. - 448 с. - ISBN 996597-18-3-8 : [Б.ц.] тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика -- теория моделей -- А.Д.Тайманов -- математик -- модельная алгебра
Экземпляры всего: 1
гидро 6- 5 (1)
Свободны: гидро 6- 5 (1)
6.
Подробнее
22.12я7
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 5
6.1-№8 оқу залы (5)
Свободны: 6.1-№8 оқу залы (5)
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 5
6.1-№8 оқу залы (5)
Свободны: 6.1-№8 оқу залы (5)
Page 1, Results: 6