Choice of metadata Электронная библиотека
Page 1, Results: 15
Report on unfulfilled requests: 0
1.
File to load:
Ershov Yu.L. Matematicheskaya logika. 1987.pdf
Ershov Yu.L. Matematicheskaya logika. 1987.pdf
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
2.
File to load:
Ershov Yu.L. Matematicheskaya logika. 2011.pdf
Ershov Yu.L. Matematicheskaya logika. 2011.pdf
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
3.
File to load:
Елубаев С. Математикадан логикалы 2016.pdf
Подробнее
22.12(5Каз)
Е 55
Елубаев, С.
Математикадан логикалық есептер мен ойындар [Текст] : оқу құралы / С. Елубаев. - Алматы : Эверо, 2016. - 332 б. - ISBN 9786013103426 : 5600.00 тг. - Текст : непосредственный.
ББК 22.12(5Каз)
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық есеп -- математика -- ойындар
Аннотация: Кітапта математиканы оқыту кезінде пайдалануға болатын логикалық есептер мен ойындардың жауаптары негізінен берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз 2 (1), чз2 (4), чз4 (5)
Свободны: чз 2 (1), чз2 (4), чз4 (5)
Е 55
Елубаев, С.
Математикадан логикалық есептер мен ойындар [Текст] : оқу құралы / С. Елубаев. - Алматы : Эверо, 2016. - 332 б. - ISBN 9786013103426 : 5600.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логикалық есеп -- математика -- ойындар
Аннотация: Кітапта математиканы оқыту кезінде пайдалануға болатын логикалық есептер мен ойындардың жауаптары негізінен берілген.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз 2 (1), чз2 (4), чз4 (5)
Свободны: чз 2 (1), чз2 (4), чз4 (5)
4.
Подробнее
22.12
Г 65
Гончар, Д. Р.
Математическое моделирование применения культурно- и природосообразного подходов в общеобразовательной школе [Текст] / Д. Р. Гончар, Ю. С. Юрезанская. - М. : Вычисл. Центр им. А.А. Дородницына РАН, 2013. - 19 с. - (Сообщения по прикладной математике). - 200.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математика -- моделирование -- школа -- обучение
Аннотация: Приводятся математические модели нулевого уровня применения культуро- и природосообразного подходов в общеобразовательной школе с целью выработки более обоснованных численных критериев целесообразности применения этих подходов в тех или иных условиях обучения.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Юрезанская, Ю.С.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Г 65
Гончар, Д. Р.
Математическое моделирование применения культурно- и природосообразного подходов в общеобразовательной школе [Текст] / Д. Р. Гончар, Ю. С. Юрезанская. - М. : Вычисл. Центр им. А.А. Дородницына РАН, 2013. - 19 с. - (Сообщения по прикладной математике). - 200.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математика -- моделирование -- школа -- обучение
Аннотация: Приводятся математические модели нулевого уровня применения культуро- и природосообразного подходов в общеобразовательной школе с целью выработки более обоснованных численных критериев целесообразности применения этих подходов в тех или иных условиях обучения.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Юрезанская, Ю.С.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
5.
Подробнее
22.12
Р 21
Рамазан, Б.
Логические вопросы [Текст] : 550 вопросов (100 вопросов с решениями) / Б. Рамазан, Е. Базаров. - Алматы : ШЫҢ-КІТАП, 2013. - 78 с. - ISBN 97860173447598 : 600.00 тг. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логические вопросы -- 550 вопросов
Аннотация: Логические вопросы. 550 вопросов (100 вопросов с решениями)
Держатели документа:
ЗКУ
Доп.точки доступа:
Базаров, Е.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Р 21
Рамазан, Б.
Логические вопросы [Текст] : 550 вопросов (100 вопросов с решениями) / Б. Рамазан, Е. Базаров. - Алматы : ШЫҢ-КІТАП, 2013. - 78 с. - ISBN 97860173447598 : 600.00 тг. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
логические вопросы -- 550 вопросов
Аннотация: Логические вопросы. 550 вопросов (100 вопросов с решениями)
Держатели документа:
ЗКУ
Доп.точки доступа:
Базаров, Е.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
6.
Подробнее
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)
7.
Подробнее
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)
8.
Подробнее
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)
9.
Подробнее
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)
10.
Подробнее
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)
Page 1, Results: 15