Choice of metadata Электронная библиотека
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учеб. пособие для вузов. - 2-е изд, испр. и доп. / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 1987. - 336 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
2.
Подробнее
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. - М. : [б. и.], 2011. - 356 с. - ISBN 9785922113014 : Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- математика -- механика -- прикладная математика и информатика
Аннотация: В книге изложены основные классические исчисления математической логики
Держатели документа:
ЗКУ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 1
Электронная библиотека (1)
Свободны: Электронная библиотека (1)
3.
Подробнее
М 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.
Подробнее
Р 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.
Подробнее
Е 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)
Page 1, Results: 5