Choice of metadata Retro Books
Page 1, Results: 23
Report on unfulfilled requests: 0
1.
Подробнее
Ж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.
Подробнее
Ж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.
Подробнее
И25
Ившин, В. Д.
Синтаксис речи современного английского языка (смысловое членение предложения) [Текст] : учеб.пособие / В. Д. Ившин. - Ростов н/Д. : Феникс, 2002. - 320 с. - ISBN 5222026892 : 482.00 тг., 482т. 00т. тг.
ББК 81.432.1-923
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКИ МИРА
АНГЛИЙСКИЙ ЯЗЫК
Кл.слова (ненормированные):
английский язык -- современный язык -- синтаксис речи -- коммуникативный синтаксис -- члены предложения -- предикат -- учебное пособие
Экземпляры всего: 7
1-1 (6), 2 - 1 (1)
Свободны: 1-1 (6), 2 - 1 (1)
И25
Ившин, В. Д.
Синтаксис речи современного английского языка (смысловое членение предложения) [Текст] : учеб.пособие / В. Д. Ившин. - Ростов н/Д. : Феникс, 2002. - 320 с. - ISBN 5222026892 : 482.00 тг., 482т. 00т. тг.
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКИ МИРА
АНГЛИЙСКИЙ ЯЗЫК
Кл.слова (ненормированные):
английский язык -- современный язык -- синтаксис речи -- коммуникативный синтаксис -- члены предложения -- предикат -- учебное пособие
Экземпляры всего: 7
1-1 (6), 2 - 1 (1)
Свободны: 1-1 (6), 2 - 1 (1)
4.
Подробнее
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / , Л.Л.Максимова. - М. : Физматлит, 2002. - 256 с. - ISBN 5922100262 : 1000т. 00т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- отношения -- функции -- кардинальные числа -- математическая логика -- язык логики предикатов -- теория алгоритмов -- машины Тьюринга
Экземпляры всего: 3
6-5 (2), 2.1-№2 оқу залы (1)
Свободны: 6-5 (2), 2.1-№2 оқу залы (1)
Л13
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / , Л.Л.Максимова. - М. : Физматлит, 2002. - 256 с. - ISBN 5922100262 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория множеств -- отношения -- функции -- кардинальные числа -- математическая логика -- язык логики предикатов -- теория алгоритмов -- машины Тьюринга
Экземпляры всего: 3
6-5 (2), 2.1-№2 оқу залы (1)
Свободны: 6-5 (2), 2.1-№2 оқу залы (1)
5.
Подробнее
П324
Пильщиков, В. Н.
Язык плэнер [Текст] / В. Н. Пильщиков. - М. : Наука, 1983. - 206 с. - ). - 0р.75к.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
язык плэнер -- функция -- база данных -- образцы -- режим -- теорема -- предикат
Экземпляры всего: 5
6.1-№8 оқу залы (5)
Свободны: 6.1-№8 оқу залы (5)
П324
Пильщиков, В. Н.
Язык плэнер [Текст] / В. Н. Пильщиков. - М. : Наука, 1983. - 206 с. - ). - 0р.75к.
| УДК |
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
язык плэнер -- функция -- база данных -- образцы -- режим -- теорема -- предикат
Экземпляры всего: 5
6.1-№8 оқу залы (5)
Свободны: 6.1-№8 оқу залы (5)
6.
Подробнее
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
7.
Подробнее
Т436
Типология интеративных конструкций [Текст] / Ответ.ред. В.С.Храковский. - Л. : Наука, 1989. - 311 с. - ISBN 5-02-027872-6 : [Б.ц.] тг.
ББК 81.002.1
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
монография -- семантические типы -- естественная классификация -- выражение множественности ситуаций -- квантификация предикатов
Аннотация: ААС
Экземпляры всего: 4
5.2-№6 оқу залы (4)
Свободны: 5.2-№6 оқу залы (4)
Т436
Типология интеративных конструкций [Текст] / Ответ.ред. В.С.Храковский. - Л. : Наука, 1989. - 311 с. - ISBN 5-02-027872-6 : [Б.ц.] тг.
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
монография -- семантические типы -- естественная классификация -- выражение множественности ситуаций -- квантификация предикатов
Аннотация: ААС
Экземпляры всего: 4
5.2-№6 оқу залы (4)
Свободны: 5.2-№6 оқу залы (4)
8.
Подробнее
А437
Актуальные вопросы русской лексикологии и терминологии [Текст] : тематический сборник научных трудов. - Алматы : КазПИ им. Абая, 1986. - 100 с. - 96т. 51т. тг., [Б.ц.] тг.
ББК 81.я5
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
обществено-политическая лексика -- неологизмы и их дериваты -- семантическая типология -- семантические изменения -- классификация предикатов -- проблемы функционирования -- социализация новых слов
Аннотация: СШ
Экземпляры всего: 9
2-2 (1), 5.2-№6 оқу залы (8)
Свободны: 2-2 (1), 5.2-№6 оқу залы (8)
А437
Актуальные вопросы русской лексикологии и терминологии [Текст] : тематический сборник научных трудов. - Алматы : КазПИ им. Абая, 1986. - 100 с. - 96т. 51т. тг., [Б.ц.] тг.
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
обществено-политическая лексика -- неологизмы и их дериваты -- семантическая типология -- семантические изменения -- классификация предикатов -- проблемы функционирования -- социализация новых слов
Аннотация: СШ
Экземпляры всего: 9
2-2 (1), 5.2-№6 оқу залы (8)
Свободны: 2-2 (1), 5.2-№6 оқу залы (8)
9.
Подробнее
Г76
Грамматические категории глагола и предикатный синтаксис текста [Текст] : межвузовский сборник научных трудов. - М. : Просвещение, 1985. - 92 с. - 96т. 51т. тг., 0т. 00т. тг.
ББК 81.2я.5
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЯ
Кл.слова (ненормированные):
глагол -- грамматика -- логика -- текст -- точки -- зрение -- форфактор
Аннотация: БС.
Экземпляры всего: 2
8-3.3 (1), 5.2-№6 оқу залы (1)
Свободны: 8-3.3 (1), 5.2-№6 оқу залы (1)
Г76
Грамматические категории глагола и предикатный синтаксис текста [Текст] : межвузовский сборник научных трудов. - М. : Просвещение, 1985. - 92 с. - 96т. 51т. тг., 0т. 00т. тг.
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЯ
Кл.слова (ненормированные):
глагол -- грамматика -- логика -- текст -- точки -- зрение -- форфактор
Аннотация: БС.
Экземпляры всего: 2
8-3.3 (1), 5.2-№6 оқу залы (1)
Свободны: 8-3.3 (1), 5.2-№6 оқу залы (1)
10.
Подробнее
Г763
Грамматические основы правильной русской речи [Текст] : учеб.пособие / Под ред. Е.Н.Ершовой и др. - М. : Высш.школа, 1991. - 176 с. - ISBN 5-06-001669-2 : 00р.50к., 96т. 51т. тг., [Б.ц.] тг., 0т. 00т. тг.
ББК 81.411.2-7-96
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
текст и его структура -- способы выражения -- субъектно-предикатные -- объектные -- временные -- пространственные и др.значения -- совершенствование навыков -- устная и письменная речь
Аннотация: СШ
Экземпляры всего: 28
5.2-№6 оқу залы (14), 3-3 (1), 6-1 (2), 8-3 (1), 8-3.3 (1), 2.1-№2 Ч/З (9)
Свободны: 5.2-№6 оқу залы (14), 3-3 (1), 6-1 (2), 8-3 (1), 8-3.3 (1), 2.1-№2 Ч/З (9)
Г763
Грамматические основы правильной русской речи [Текст] : учеб.пособие / Под ред. Е.Н.Ершовой и др. - М. : Высш.школа, 1991. - 176 с. - ISBN 5-06-001669-2 : 00р.50к., 96т. 51т. тг., [Б.ц.] тг., 0т. 00т. тг.
Рубрики: ФИЛОЛОГИЯ
ЯЗЫКОЗНАНИЕ
Кл.слова (ненормированные):
текст и его структура -- способы выражения -- субъектно-предикатные -- объектные -- временные -- пространственные и др.значения -- совершенствование навыков -- устная и письменная речь
Аннотация: СШ
Экземпляры всего: 28
5.2-№6 оқу залы (14), 3-3 (1), 6-1 (2), 8-3 (1), 8-3.3 (1), 2.1-№2 Ч/З (9)
Свободны: 5.2-№6 оқу залы (14), 3-3 (1), 6-1 (2), 8-3 (1), 8-3.3 (1), 2.1-№2 Ч/З (9)
Page 1, Results: 23