База данных: Электронная библиотека
Страница 1, Результатов: 21
Отмеченные записи: 0
1.
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
2.
Подробнее
22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
3.
Подробнее
22.12
М 90
Мулдагалиев, В. С.
Методика обучения доказательству неравенств в курсе "Решение нестандартных задач" [Текст] : учебное пособие / В. С. Мулдагалиев, Ж. М. Джамбулова. - Уральск : РИЦ ЗКГУ, 2016. - 79 с. - 290.00 тг.
ББК 22.12
Рубрики: Основание математики. Математическая логика
Кл.слова (ненормированные):
доказательство неравенств -- задачи -- теории алгоритмов
Аннотация: В пособии приводится набор нестандартных задач, который первый автор использует в своей лекционной практике.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Джамбулова, Ж.М.
Экземпляры всего: 10
кх (1), чз2 (9)
Свободны: кх (1), чз2 (9)
М 90
Мулдагалиев, В. С.
Методика обучения доказательству неравенств в курсе "Решение нестандартных задач" [Текст] : учебное пособие / В. С. Мулдагалиев, Ж. М. Джамбулова. - Уральск : РИЦ ЗКГУ, 2016. - 79 с. - 290.00 тг.
Рубрики: Основание математики. Математическая логика
Кл.слова (ненормированные):
доказательство неравенств -- задачи -- теории алгоритмов
Аннотация: В пособии приводится набор нестандартных задач, который первый автор использует в своей лекционной практике.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Джамбулова, Ж.М.
Экземпляры всего: 10
кх (1), чз2 (9)
Свободны: кх (1), чз2 (9)
4.
Подробнее
22.12
Р 24
Рассел, С.
Жасанды интеллект: жасанды әдіс [Текст] : оқулық. / С. Рассел, П. - 3-ші бас. - Алматы : ҚР ЖОО қауымдастығы, 2016. - 512 б. - ISBN 9786017427672 : 3063.00 тг.
ББК 22.12
Рубрики: Основания математики.Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- математика -- машина -- құлтемір -- қарапайым шешімдер
Аннотация: Бұл тарауда пайдалылық теориясын шешімдер теориясы негізінде әрекет ететін агентті құрастыру үшін ықтималдылықтар теориясымен қалай біріктіру керегі жайлы ақпарат берілген.
Держатели документа:
БҚМУ
Доп.точки доступа:
П.
Экземпляры всего: 20
чз 2 (1), чз2 (3), ау (16)
Свободны: чз 2 (1), чз2 (3), ау (16)
Р 24
Рассел, С.
Жасанды интеллект: жасанды әдіс [Текст] : оқулық. / С. Рассел, П. - 3-ші бас. - Алматы : ҚР ЖОО қауымдастығы, 2016. - 512 б. - ISBN 9786017427672 : 3063.00 тг.
Рубрики: Основания математики.Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- математика -- машина -- құлтемір -- қарапайым шешімдер
Аннотация: Бұл тарауда пайдалылық теориясын шешімдер теориясы негізінде әрекет ететін агентті құрастыру үшін ықтималдылықтар теориясымен қалай біріктіру керегі жайлы ақпарат берілген.
Держатели документа:
БҚМУ
Доп.точки доступа:
П.
Экземпляры всего: 20
чз 2 (1), чз2 (3), ау (16)
Свободны: чз 2 (1), чз2 (3), ау (16)
5.
Подробнее
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)
6.
Подробнее
22.12
Г 65
Гончар, Д. Р.
Математическое моделирование применения культурно- и природосообразного подходов в общеобразовательной школе [Текст] / Д. Р. Гончар, Ю. С. Юрезанская. - М. : Вычисл. Центр им. А.А. Дородницына РАН, 2013. - 19 с. - (Сообщения по прикладной математике). - 200.00 тг.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математика -- моделирование -- школа -- обучение
Аннотация: Приводятся математические модели нулевого уровня применения культуро- и природосообразного подходов в общеобразовательной школе с целью выработки более обоснованных численных критериев целесообразности применения этих подходов в тех или иных условиях обучения.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Юрезанская, Ю.С.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Г 65
Гончар, Д. Р.
Математическое моделирование применения культурно- и природосообразного подходов в общеобразовательной школе [Текст] / Д. Р. Гончар, Ю. С. Юрезанская. - М. : Вычисл. Центр им. А.А. Дородницына РАН, 2013. - 19 с. - (Сообщения по прикладной математике). - 200.00 тг.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математика -- моделирование -- школа -- обучение
Аннотация: Приводятся математические модели нулевого уровня применения культуро- и природосообразного подходов в общеобразовательной школе с целью выработки более обоснованных численных критериев целесообразности применения этих подходов в тех или иных условиях обучения.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Юрезанская, Ю.С.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
7.
Подробнее
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)
8.
Подробнее
22.12(5КАЗ)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012172447 : 666 тг
ББК 22.12(5КАЗ)
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - ISBN 9786012172447 : 666 тг
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
9.
Подробнее
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)
10.
Подробнее
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)
Страница 1, Результатов: 21