Choice of metadata Books
Page 1, Results: 10
Report on unfulfilled requests: 0
1.
Подробнее
А31
Айдос, Е. Ж.
Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Мәтін] : оқу құралы / Е. Ж. Айдос. - Алматы : Бастау, 2015. - 288 б. - ISBN 978-601-281-160-5 : 3136т. 00т. тг.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА НЕГІЗІ ЖӘНЕ МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- комплекс айнымалды функциялар -- комплекс сандар -- тригонеметриялық функциялар -- интегралдық есептеу -- рационал функциялар -- дифференциалдау -- сызықтық дифференциалдық теңдеулер -- теориялық сұрақтар -- теориялық жаттығулар -- оқу құралы
Экземпляры всего: 20
1.2-№4 Ч/З (5), 2.1-№2 оқу залы (15)
Свободны: 1.2-№4 Ч/З (5), 2.1-№2 оқу залы (15)
А31
Айдос, Е. Ж.
Комплекс айнымалды функциялар теориясы және операциялық есептеулер [Мәтін] : оқу құралы / Е. Ж. Айдос. - Алматы : Бастау, 2015. - 288 б. - ISBN 978-601-281-160-5 : 3136т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА НЕГІЗІ ЖӘНЕ МАТЕМАТИКАЛЫҚ ЛОГИКА
Кл.слова (ненормированные):
математика -- комплекс айнымалды функциялар -- комплекс сандар -- тригонеметриялық функциялар -- интегралдық есептеу -- рационал функциялар -- дифференциалдау -- сызықтық дифференциалдық теңдеулер -- теориялық сұрақтар -- теориялық жаттығулар -- оқу құралы
Экземпляры всего: 20
1.2-№4 Ч/З (5), 2.1-№2 оқу залы (15)
Свободны: 1.2-№4 Ч/З (5), 2.1-№2 оқу залы (15)
2.
Подробнее
А39
Алгебра және анализ бастамалары [Мәтін] : жалпы білім бертетін мектептің жаратылыстану-математика бағытындағы 11-сыныбына арналған оқулық / А. Әбілқасымова, З. Жұмағұлова, А. Абдиев, В. Корчевский. - Алматы : Мектеп, 2015. - 224 б. с. - ISBN 978-601-07-0385-8 : 980т. 00т. тг.
ББК 22.12я72
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АЛГЕБРА
Кл.слова (ненормированные):
алгебра -- функция -- интеграл -- дәреже -- түбір -- логарифмдік функция -- логарифмдік теңдеулер -- ықтималдық -- оқулық
Экземпляры всего: 5
Каратау 3-4 №12 оқу залы (2), №10 оқу залы (жатахана) (3)
Свободны: Каратау 3-4 №12 оқу залы (2), №10 оқу залы (жатахана) (3)
А39
Алгебра және анализ бастамалары [Мәтін] : жалпы білім бертетін мектептің жаратылыстану-математика бағытындағы 11-сыныбына арналған оқулық / А. Әбілқасымова, З. Жұмағұлова, А. Абдиев, В. Корчевский. - Алматы : Мектеп, 2015. - 224 б. с. - ISBN 978-601-07-0385-8 : 980т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АЛГЕБРА
Кл.слова (ненормированные):
алгебра -- функция -- интеграл -- дәреже -- түбір -- логарифмдік функция -- логарифмдік теңдеулер -- ықтималдық -- оқулық
Экземпляры всего: 5
Каратау 3-4 №12 оқу залы (2), №10 оқу залы (жатахана) (3)
Свободны: Каратау 3-4 №12 оқу залы (2), №10 оқу залы (жатахана) (3)
3.
Подробнее
Г60
Гончаров, С. С.
Логикалық санақтардың алгебралық және алгоритмдік қасиеттері [Мәтін] : научное издание. 1-бөлім / Қазақ тіліне ауд.: Қ. Жетпісов, Ж.А. Түсіпов. - Қарағанды : ҒТАО АО ҚФ, 2014. - 228 б. - ISBN 978-5-94356-573-1 : 500т. 00т. тг.
ББК 22.124
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
САН ТЕОРИЯСЫ
Кл.слова (ненормированные):
математика -- сан теориясы -- логикалық сандар -- алгебра -- алгоритм -- индуктивті анықтамалар -- тұжырымдар алгебрасы
Доп.точки доступа:
Дроботун, Б.Н.
Никитин, А.А.
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
Г60
Гончаров, С. С.
Логикалық санақтардың алгебралық және алгоритмдік қасиеттері [Мәтін] : научное издание. 1-бөлім / Қазақ тіліне ауд.: Қ. Жетпісов, Ж.А. Түсіпов. - Қарағанды : ҒТАО АО ҚФ, 2014. - 228 б. - ISBN 978-5-94356-573-1 : 500т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
САН ТЕОРИЯСЫ
Кл.слова (ненормированные):
математика -- сан теориясы -- логикалық сандар -- алгебра -- алгоритм -- индуктивті анықтамалар -- тұжырымдар алгебрасы
Доп.точки доступа:
Дроботун, Б.Н.
Никитин, А.А.
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
4.
Подробнее
С89
Сұранқұлов, Ш. Ж.
Алгоритмдер және деректер құрылымы [Мәтін] : оқу құралы / Ш. Ж. Сұранқұлов, В. К. АЯрошевич. - Алматы : Қазақ университеті, 2014. - 156 б. - ISBN 978-601-04-0012-2 : 3118т. 55т. тг.
ББК 22.127я7+32.973я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АЛГОРИТМДЕР ТЕОРИЯСЫ
Кл.слова (ненормированные):
ақпарат -- информатика -- ақпараттық технологиялар -- моделдер -- алгоритмдер -- деректер -- алгоритмдерді талдау -- деректер құрылымы -- оқу құралы
Доп.точки доступа:
АЯрошевич, В.К.
Экземпляры всего: 20
2.1-№2 оқу залы (15), 1.2-№4 Ч/З (5)
Свободны: 2.1-№2 оқу залы (15), 1.2-№4 Ч/З (5)
С89
Сұранқұлов, Ш. Ж.
Алгоритмдер және деректер құрылымы [Мәтін] : оқу құралы / Ш. Ж. Сұранқұлов, В. К. АЯрошевич. - Алматы : Қазақ университеті, 2014. - 156 б. - ISBN 978-601-04-0012-2 : 3118т. 55т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
АЛГОРИТМДЕР ТЕОРИЯСЫ
Кл.слова (ненормированные):
ақпарат -- информатика -- ақпараттық технологиялар -- моделдер -- алгоритмдер -- деректер -- алгоритмдерді талдау -- деректер құрылымы -- оқу құралы
Доп.точки доступа:
АЯрошевич, В.К.
Экземпляры всего: 20
2.1-№2 оқу залы (15), 1.2-№4 Ч/З (5)
Свободны: 2.1-№2 оқу залы (15), 1.2-№4 Ч/З (5)
5.
Подробнее
Д64
Досанбай, П. Т.
Математикалық логика [Мәтін] : оқулық / П. Т. Досанбай. - Алматы : ЖШС РПБК Дәуір, 2011. - 280 б. - ISBN 978-601-217-244-7 : 666т. 00т. тг.
ББК 22.12я73
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
жиын ұғымы -- Кантор теоремасы -- пікірлер логикасы -- логика алгебрасы -- предикаттар логикасы -- алгоритм ұғымы -- АВ
Экземпляры всего: 100
5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
Свободны: 5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
Д64
Досанбай, П. Т.
Математикалық логика [Мәтін] : оқулық / П. Т. Досанбай. - Алматы : ЖШС РПБК Дәуір, 2011. - 280 б. - ISBN 978-601-217-244-7 : 666т. 00т. тг.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
жиын ұғымы -- Кантор теоремасы -- пікірлер логикасы -- логика алгебрасы -- предикаттар логикасы -- алгоритм ұғымы -- АВ
Экземпляры всего: 100
5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
Свободны: 5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
6.
Подробнее
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 600т. 00т. тг., 300т. 00т. тг.
ББК 22.122я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
тұжырым -- аксиома -- санақ -- предикат -- жүйе -- модель
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 2
5.3-№7 оқу залы (2)
Свободны: 5.3-№7 оқу залы (2)
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 600т. 00т. тг., 300т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
тұжырым -- аксиома -- санақ -- предикат -- жүйе -- модель
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 2
5.3-№7 оқу залы (2)
Свободны: 5.3-№7 оқу залы (2)
7.
Подробнее
Н86
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары [Мәтін] : оқу құралы. 1 бөлім / Қ. Нұрсұлтанов. - Алматы : РБК, 1994. - 198 б. - ISBN 5-8380-1350-8 : 150т. 00т. тг.
ББК 22.122я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
пікірлер логикасы -- формальды логика -- ойқорыту әдістері -- пайымдар логикасы -- ұғым логикасы
Экземпляры всего: 4
5.2-№6 оқу залы (4)
Свободны: 5.2-№6 оқу залы (4)
Н86
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары [Мәтін] : оқу құралы. 1 бөлім / Қ. Нұрсұлтанов. - Алматы : РБК, 1994. - 198 б. - ISBN 5-8380-1350-8 : 150т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
пікірлер логикасы -- формальды логика -- ойқорыту әдістері -- пайымдар логикасы -- ұғым логикасы
Экземпляры всего: 4
5.2-№6 оқу залы (4)
Свободны: 5.2-№6 оқу залы (4)
8.
Подробнее
Р19
Рамазан, Б.
Логикалық сұрақ [Мәтін] : 400 сұрақ (100 сұрақ шешімімен) / Б. Рамазан. - Алматы : ШЫҢ-КІТАП, 2012. - 64 б. - ISBN 978-601-7346-13-0 : 550т. 00т. тг.
ББК 22.12
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- логикалық сұрақ -- 400 сұрақ -- 100 сұрақ шешімімен
Экземпляры всего: 2
5.2-№6 оқу залы (1), 5.3-№7 оқу залы (1)
Свободны: 5.2-№6 оқу залы (1), 5.3-№7 оқу залы (1)
Р19
Рамазан, Б.
Логикалық сұрақ [Мәтін] : 400 сұрақ (100 сұрақ шешімімен) / Б. Рамазан. - Алматы : ШЫҢ-КІТАП, 2012. - 64 б. - ISBN 978-601-7346-13-0 : 550т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- логикалық сұрақ -- 400 сұрақ -- 100 сұрақ шешімімен
Экземпляры всего: 2
5.2-№6 оқу залы (1), 5.3-№7 оқу залы (1)
Свободны: 5.2-№6 оқу залы (1), 5.3-№7 оқу залы (1)
9.
Подробнее
К 71
Косовская, Т. М.
Алгоритмы и анализ их сложности : учебное пособие / Т. М. Косовская. - М. : Ай Пи Ар Медиа , 2024. - 116 с. - ISBN 978-5-4497-1855-6 : 7728. 00 тг.
ББК 22.127я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ АЛГОРИТМОВ И ВЫЧИСЛИМЫХ (РЕКУРСИВНЫХ ФУНКЦИЙ)
Кл.слова (ненормированные):
алгоритмы -- дискретные алгоритмы -- метод Гаусса -- оценка числа шагов -- алгоритмы на графах -- теория алгоритмов -- матрица инцидентности -- теория сложности алгоритмов -- классы сложности алгоритмов -- полиномиальная сводимость -- NP-задачи -- псевдополиномиальные задачи -- учебное пособие -- алгоритмическая разрешимость
Аннотация: Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки, связанным с технологиями программирования и искусственным интеллектом, изучающих дисциплины "Теория алгоритмов", "Теория вычислительной сложности алгоритмов", "Анализ алгоритмов".
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
К 71
Косовская, Т. М.
Алгоритмы и анализ их сложности : учебное пособие / Т. М. Косовская. - М. : Ай Пи Ар Медиа , 2024. - 116 с. - ISBN 978-5-4497-1855-6 : 7728. 00 тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ТЕОРИЯ АЛГОРИТМОВ И ВЫЧИСЛИМЫХ (РЕКУРСИВНЫХ ФУНКЦИЙ)
Кл.слова (ненормированные):
алгоритмы -- дискретные алгоритмы -- метод Гаусса -- оценка числа шагов -- алгоритмы на графах -- теория алгоритмов -- матрица инцидентности -- теория сложности алгоритмов -- классы сложности алгоритмов -- полиномиальная сводимость -- NP-задачи -- псевдополиномиальные задачи -- учебное пособие -- алгоритмическая разрешимость
Аннотация: Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки, связанным с технологиями программирования и искусственным интеллектом, изучающих дисциплины "Теория алгоритмов", "Теория вычислительной сложности алгоритмов", "Анализ алгоритмов".
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
10.
Подробнее
У 61
Унучек, С. А.
Математическая логика : учебное пособие / С. А. Унучек. - М. : Ай Пи Ар Медиа , 2024. - 240 с. - ISBN 978-5-4497-3091-6 : 11290. 05 тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- Булевы функции -- рассуждения -- доказательства -- графы -- отношения -- комбинаторика -- машина Тъюринга -- элементы теории множеств -- минимизация автоматов -- алгоритм Маркова -- метод Квайна -- теория рекурсивных функций -- учебное пособие
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика", обучающихся по укрупненным группам направлений подготовки и специальностей "Математика и механика", "Электроника, радиотехника и системы связи", укрупненной группе направлений подготовки "Информатика и вычислительная техника" и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
У 61
Унучек, С. А.
Математическая логика : учебное пособие / С. А. Унучек. - М. : Ай Пи Ар Медиа , 2024. - 240 с. - ISBN 978-5-4497-3091-6 : 11290. 05 тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- Булевы функции -- рассуждения -- доказательства -- графы -- отношения -- комбинаторика -- машина Тъюринга -- элементы теории множеств -- минимизация автоматов -- алгоритм Маркова -- метод Квайна -- теория рекурсивных функций -- учебное пособие
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика", обучающихся по укрупненным группам направлений подготовки и специальностей "Математика и механика", "Электроника, радиотехника и системы связи", укрупненной группе направлений подготовки "Информатика и вычислительная техника" и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
Page 1, Results: 10