База данных: Электронная библиотека
Страница 3, Результатов: 39
Отмеченные записи: 0
21.
Подробнее
22.12
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012171860 : 494.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жиындар теориясының элементтері -- Эйлер-Венн диаграммалары -- тұжырымдар алгебрасы -- аксиомалық әдіс -- санақ -- предикаттар санағы -- алгебралық жүйелер -- графтар -- кодтау теориясы -- математикалық логика -- дискретті математика
Аннотация: Оқулықта математикалық логика және дискреттік математика баяндалады.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз2 (10)
Свободны: чз2 (9)
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012171860 : 494.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жиындар теориясының элементтері -- Эйлер-Венн диаграммалары -- тұжырымдар алгебрасы -- аксиомалық әдіс -- санақ -- предикаттар санағы -- алгебралық жүйелер -- графтар -- кодтау теориясы -- математикалық логика -- дискретті математика
Аннотация: Оқулықта математикалық логика және дискреттік математика баяндалады.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз2 (10)
Свободны: чз2 (9)
22.
Подробнее
22.12(5Каз)
К 93
Құралбаев, З.
Негізгі есептеу алгоритмдері [Текст] : оқу құралы / З. Құралбаев. - Алматы : ЖШС "Лантар books", 2024. - 307 б. - ISBN 9786013615479 : 7764.96 тг. - Текст : непосредственный.
ББК 22.12(5Каз)
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
негізгі есептеу алгоритмдері -- python алгоритмдік тілі -- алгоритмдеу негіздері -- циклдық үдерістерді сипаттау -- тармақталған алгоритм -- программалау -- деректер құрылымы -- байланысты тізімдер -- стектер -- кезектер -- бір өлшемді массивтер -- екі өлшемді массивтер -- матрица -- кері матрицаны анықтау -- есептеу математикасы -- типтік алгоритмдер -- сандық есептеу әдістері -- алгебралық теңдеулер -- трансценденттік теңдеулер -- теңдеуді шешу -- ньютон әдісі -- сызықтық алгебралық теңдеулер -- жордан-гаусс әдісі -- крамер әдісі -- аппроксимациялау әдісі -- сызықтық аппроксимациялау -- квадраттық аппроксимациялау -- тіктөртбұрыштар әдісі -- трапециялар әдісі -- симпсон әдісі -- бірінші дәрежелі қарапайым дифференциалдық теңдеулер -- қарапайым дифференциалдық теңдеулер -- екінші дәрежелі қарапайым дифференциалдық теңдеулер -- сорттау әдістері -- ішкі сорттау әдістері -- тікелей сызықтық таңдау алгоритмі -- алмастыру арқылы сызықтық таңдау алгоритмі -- жұптық алмастыру әдісі -- стандартты алмастыру әдісі -- шелл сорттау әдісі -- графтар -- шектестік матрицасы -- инциденциялар матрицасы -- шектестік тізімдер -- доғалар массиві -- флойд-уоршелл алгоритмі -- дейкстра алгоритмі
Аннотация: Ұсынылып отырған оқу құралы типтік есептерді шешудің негізгі алгоритмдері мен олардың негізінде программалар құрастыруға байланысты мәліметтерге арналған. Мұнда алгоритмдердің қолданыстағы түрлері мен сипаттау тәсілдері, олардың қасиеттері, тиімділігі мен күрделілігі туралы ақпарат берілген.
Держатели документа:
БҚУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
К 93
Құралбаев, З.
Негізгі есептеу алгоритмдері [Текст] : оқу құралы / З. Құралбаев. - Алматы : ЖШС "Лантар books", 2024. - 307 б. - ISBN 9786013615479 : 7764.96 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
негізгі есептеу алгоритмдері -- python алгоритмдік тілі -- алгоритмдеу негіздері -- циклдық үдерістерді сипаттау -- тармақталған алгоритм -- программалау -- деректер құрылымы -- байланысты тізімдер -- стектер -- кезектер -- бір өлшемді массивтер -- екі өлшемді массивтер -- матрица -- кері матрицаны анықтау -- есептеу математикасы -- типтік алгоритмдер -- сандық есептеу әдістері -- алгебралық теңдеулер -- трансценденттік теңдеулер -- теңдеуді шешу -- ньютон әдісі -- сызықтық алгебралық теңдеулер -- жордан-гаусс әдісі -- крамер әдісі -- аппроксимациялау әдісі -- сызықтық аппроксимациялау -- квадраттық аппроксимациялау -- тіктөртбұрыштар әдісі -- трапециялар әдісі -- симпсон әдісі -- бірінші дәрежелі қарапайым дифференциалдық теңдеулер -- қарапайым дифференциалдық теңдеулер -- екінші дәрежелі қарапайым дифференциалдық теңдеулер -- сорттау әдістері -- ішкі сорттау әдістері -- тікелей сызықтық таңдау алгоритмі -- алмастыру арқылы сызықтық таңдау алгоритмі -- жұптық алмастыру әдісі -- стандартты алмастыру әдісі -- шелл сорттау әдісі -- графтар -- шектестік матрицасы -- инциденциялар матрицасы -- шектестік тізімдер -- доғалар массиві -- флойд-уоршелл алгоритмі -- дейкстра алгоритмі
Аннотация: Ұсынылып отырған оқу құралы типтік есептерді шешудің негізгі алгоритмдері мен олардың негізінде программалар құрастыруға байланысты мәліметтерге арналған. Мұнда алгоритмдердің қолданыстағы түрлері мен сипаттау тәсілдері, олардың қасиеттері, тиімділігі мен күрделілігі туралы ақпарат берілген.
Держатели документа:
БҚУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
23.
Подробнее
22.12
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 9785769552724 : 1830.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 9785769552724 : 1830.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)
24.
Подробнее
22.12
К 64
Конопатов, С. Н.
Алгоритмы решения нестандартных задачах [Текст] : учебник. . 3-е изд., стер. / С. Н. Конопатов. - СПб. : Лань, 2024. - 228 с. - ISBN 9785507494804 : 16444.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
алгоритм -- решения нестандартных задач -- структура системы -- процесс системы -- маощность системы -- законы статики -- идеальная система -- mpv-анализ -- геометрические эффекты -- физические эффекты -- химические эффекты -- биологические эффекты -- электронная база -- творческое мышление -- ариз
Аннотация: Цель учебника - дать учебно-методическую основу для преподавания и изучения предмета «Алгоритмы решения нестандартных задач» (специальность «Инноватика»), способствовать развитию креативности (умению ставить и решать творческие задачи).
Держатели документа:
ЗКУ
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
К 64
Конопатов, С. Н.
Алгоритмы решения нестандартных задачах [Текст] : учебник. . 3-е изд., стер. / С. Н. Конопатов. - СПб. : Лань, 2024. - 228 с. - ISBN 9785507494804 : 16444.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
алгоритм -- решения нестандартных задач -- структура системы -- процесс системы -- маощность системы -- законы статики -- идеальная система -- mpv-анализ -- геометрические эффекты -- физические эффекты -- химические эффекты -- биологические эффекты -- электронная база -- творческое мышление -- ариз
Аннотация: Цель учебника - дать учебно-методическую основу для преподавания и изучения предмета «Алгоритмы решения нестандартных задач» (специальность «Инноватика»), способствовать развитию креативности (умению ставить и решать творческие задачи).
Держатели документа:
ЗКУ
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
25.
Подробнее
22.12
Л 69
Логикалық сұрақтар, есептер, ойындар мен құрастырмалар [Текст] / құраст. Р. Омаров. - Алматы : Өлке, 2014. - 320 б. - ISBN 9786012530988 : 1800.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық сұрақтар -- ойындар -- есептер -- құрастырмалар
Аннотация: Бұл жинақта отызға жуық логикалық кітаптардағы қызықты есептер, ойындар және құрастырмалардың көпшілікке түсінікті бөлігі таңдалып алынған. Бірнеше ғасыр бұрынғы жазбалардан табылған есептерден бастап соңғы кезде пайда болған құрастырмаларға дейін берілген. логикалық есептердің көпшілігі жас талғамайды, мағынасы қарапайым және белгілі бір білімді қажет етпейді. Сонымен қатар барлық жастағыларға қызықты ойындар мен құрастырмалар жинақталған. Негізгі жаттығулар ауызша және мектеп бағдарламасында үйрететін стандартты әдістерден тыс жолдармен орындалады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Омаров, Р. \құраст.\
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Л 69
Логикалық сұрақтар, есептер, ойындар мен құрастырмалар [Текст] / құраст. Р. Омаров. - Алматы : Өлке, 2014. - 320 б. - ISBN 9786012530988 : 1800.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық сұрақтар -- ойындар -- есептер -- құрастырмалар
Аннотация: Бұл жинақта отызға жуық логикалық кітаптардағы қызықты есептер, ойындар және құрастырмалардың көпшілікке түсінікті бөлігі таңдалып алынған. Бірнеше ғасыр бұрынғы жазбалардан табылған есептерден бастап соңғы кезде пайда болған құрастырмаларға дейін берілген. логикалық есептердің көпшілігі жас талғамайды, мағынасы қарапайым және белгілі бір білімді қажет етпейді. Сонымен қатар барлық жастағыларға қызықты ойындар мен құрастырмалар жинақталған. Негізгі жаттығулар ауызша және мектеп бағдарламасында үйрететін стандартты әдістерден тыс жолдармен орындалады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Омаров, Р. \құраст.\
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
26.
Подробнее
22.12я7
О-71
Орынбаева, Ж.
Алгоритм негіздері және бағдарламалау тілдері (тест жинағы) [Текст] : оқу құралы / Ж. Орынбаева, Қ. Бекмолдаева, С. Солтанаева. - Астана : Фолиант, 2010. - 72 б. - ISBN 9786012920369 : 327.00 тг. - Текст : непосредственный.
ББК 22.12я7
Рубрики: Основания математики. Математияческая логика
Кл.слова (ненормированные):
алгоритм -- бағдарламалау тілдері -- тест
Аннотация: Тест жинағында алгоритмдер негіздері, бағдарламалау тілдері бойынша тест сұрақтары қамтылған.
Держатели документа:
БҚМУ
Доп.точки доступа:
Бекмолдаева, Қ.
Солтанаева, С.
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
О-71
Орынбаева, Ж.
Алгоритм негіздері және бағдарламалау тілдері (тест жинағы) [Текст] : оқу құралы / Ж. Орынбаева, Қ. Бекмолдаева, С. Солтанаева. - Астана : Фолиант, 2010. - 72 б. - ISBN 9786012920369 : 327.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математияческая логика
Кл.слова (ненормированные):
алгоритм -- бағдарламалау тілдері -- тест
Аннотация: Тест жинағында алгоритмдер негіздері, бағдарламалау тілдері бойынша тест сұрақтары қамтылған.
Держатели документа:
БҚМУ
Доп.точки доступа:
Бекмолдаева, Қ.
Солтанаева, С.
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
27.
Подробнее
22.12
Р 21
Рамазан, Б.
Логические вопросы [Текст] : 550 вопросов (100 вопросов с решениями) / Б. Рамазан, Е. Базаров. - Алматы : ШЫҢ-КІТАП, 2015. - 85 с. - ISBN 97860173447598 : 1000.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логические вопросы -- 550 вопросов
Аннотация: Логические вопросы. 550 вопросов (100 вопросов с решениями)
Держатели документа:
ЗКУ
Доп.точки доступа:
Базаров, Е.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Р 21
Рамазан, Б.
Логические вопросы [Текст] : 550 вопросов (100 вопросов с решениями) / Б. Рамазан, Е. Базаров. - Алматы : ШЫҢ-КІТАП, 2015. - 85 с. - ISBN 97860173447598 : 1000.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логические вопросы -- 550 вопросов
Аннотация: Логические вопросы. 550 вопросов (100 вопросов с решениями)
Держатели документа:
ЗКУ
Доп.точки доступа:
Базаров, Е.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
28.
Подробнее
22.12
Р 24
Рассел, С.
Жасанды интеллект: Жаңашыл әдіс [Текст] : оқулық. Т.1. / С. Рассел. - Алматы : ҚР ЖОО қауымдастығы, 2013. - 560 б. - (ҚР Білім және ғылым министрлігі). - ISBN 9786017427252 : 4898.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- жаңашыл әдіс -- алгоритм -- логика -- пропорция -- математика
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Мансұрова, М.Е. \ауд.\
Дүйсебекова, К.С. \ауд.\
Сапақова, С.З. \ауд.\
Экземпляры всего: 30
чз 2 (1), чз2 (8), ау (21)
Свободны: чз 2 (1), чз2 (7), ау (21)
Р 24
Рассел, С.
Жасанды интеллект: Жаңашыл әдіс [Текст] : оқулық. Т.1. / С. Рассел. - Алматы : ҚР ЖОО қауымдастығы, 2013. - 560 б. - (ҚР Білім және ғылым министрлігі). - ISBN 9786017427252 : 4898.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- жаңашыл әдіс -- алгоритм -- логика -- пропорция -- математика
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Мансұрова, М.Е. \ауд.\
Дүйсебекова, К.С. \ауд.\
Сапақова, С.З. \ауд.\
Экземпляры всего: 30
чз 2 (1), чз2 (8), ау (21)
Свободны: чз 2 (1), чз2 (7), ау (21)
29.
Подробнее
22.12
Р 24
Рассел, С.
Жасанды интеллект [Текст] : оқулық. . Б.2. / С. Рассел, П. Норвиг. - Алматы : [б. и.], 2014. - 428 б. - ISBN 9786017427269 : 4050.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- білім -- жоспарлау -- белгісіздік -- ықтималдық пайымдаулар -- уақыт -- онтологиялық инженерия -- мультиагенттік жоспарлау
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Экземпляры всего: 20
чз 2 (1), чз2 (3), ау (16)
Свободны: чз 2 (1), чз2 (2), ау (16)
Р 24
Рассел, С.
Жасанды интеллект [Текст] : оқулық. . Б.2. / С. Рассел, П. Норвиг. - Алматы : [б. и.], 2014. - 428 б. - ISBN 9786017427269 : 4050.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- білім -- жоспарлау -- белгісіздік -- ықтималдық пайымдаулар -- уақыт -- онтологиялық инженерия -- мультиагенттік жоспарлау
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Экземпляры всего: 20
чз 2 (1), чз2 (3), ау (16)
Свободны: чз 2 (1), чз2 (2), ау (16)
30.
Подробнее
22.12
Т 33
Теория моделей в Казахстане : сб. науч. работ, посв. памяти А.Д. Тайманова / под ред. М. М. Еримбетова. - Алматы. : Еco Study, 2006. - 448 с. : ил. - ISBN 9965971838 : 800.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория моделей -- Тайманов -- Казахстан -- математика
Аннотация: Сборник содержит статьи по теории моделей, теоретико-модельной алгебре, прикладной логике, по конструктивным моделям, а также воспоминания об А.Д.Тайманове (1917-1990).
Держатели документа:
ЗКГУ
Доп.точки доступа:
Еримбетова, М.М. \под ред.\
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
Т 33
Теория моделей в Казахстане : сб. науч. работ, посв. памяти А.Д. Тайманова / под ред. М. М. Еримбетова. - Алматы. : Еco Study, 2006. - 448 с. : ил. - ISBN 9965971838 : 800.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория моделей -- Тайманов -- Казахстан -- математика
Аннотация: Сборник содержит статьи по теории моделей, теоретико-модельной алгебре, прикладной логике, по конструктивным моделям, а также воспоминания об А.Д.Тайманове (1917-1990).
Держатели документа:
ЗКГУ
Доп.точки доступа:
Еримбетова, М.М. \под ред.\
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
Страница 3, Результатов: 39