База данных: Электронная библиотека
Страница 2, Результатов: 21
Отмеченные записи: 0
11.
Подробнее
22.12(Англ)
Л 61
Liptak, Z.
Combinatorial Algorithms [Текст] : 26th International Workshop, IWOCA 2015 Verona, Italy, October 5-7, 2015 Revised Selected Papers / Z. Liptak, W. Smyth. - [S. l.] : Springer, 2016. - 360 p. - ISBN 9783319295152 : 18395.00 tg.
ББК 22.12(Англ)
Рубрики: Основание математики. Математическая логика
Кл.слова (ненормированные):
Combinatorial Algorithms -- electronic adaptation -- computer software -- полиязычие
Аннотация: This volume contains revised versions of papers presented at the 26th International (IWOCA 2015),held October 5-7, 2015 Italy.
Держатели документа:
ZKGU
Доп.точки доступа:
Smyth, W.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Л 61
Liptak, Z.
Combinatorial Algorithms [Текст] : 26th International Workshop, IWOCA 2015 Verona, Italy, October 5-7, 2015 Revised Selected Papers / Z. Liptak, W. Smyth. - [S. l.] : Springer, 2016. - 360 p. - ISBN 9783319295152 : 18395.00 tg.
Рубрики: Основание математики. Математическая логика
Кл.слова (ненормированные):
Combinatorial Algorithms -- electronic adaptation -- computer software -- полиязычие
Аннотация: This volume contains revised versions of papers presented at the 26th International (IWOCA 2015),held October 5-7, 2015 Italy.
Держатели документа:
ZKGU
Доп.точки доступа:
Smyth, W.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
12.
Подробнее
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)
13.
Подробнее
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)
14.
Подробнее
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)
15.
Подробнее
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)
16.
Подробнее
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)
17.
Подробнее
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)
18.
Подробнее
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)
19.
Подробнее
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)
20.
Подробнее
22.12
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
Страница 2, Результатов: 21