Choice of metadata Электронная библиотека
Page 2, Results: 15
Report on unfulfilled requests: 0
11.
Подробнее
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)
12.
Подробнее
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)
13.
Подробнее
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)
14.
Подробнее
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)
15.
Подробнее
22.12
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
И 26
Игошин, В. И.
Задачник-практикум по математической логике [Текст] : учеб. пособие для студентов-заочников физ.-мат. фак. пед. ин-тов. / В. И. Игошин ; Моск.гос.заоч.пед.ин-т. - М. : [б. и.], 1986. - 159 с. - Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Задачник-практикум -- Типовые примеры -- Самостоятельное решение задач -- Высшее педагогическое образование -- Физико-математический факультет
Аннотация: Задачник-практикум содержит задачи и упражнения по всем разделам курса математической логики в полном соответствии с действующей программой. В каждом параграфе приводятся краткие теоретические сведения, подробно рассматриваются разнообразные типовые примеры и предлагаются задачи для самостоятельного решения. Пособие предназначено для студентов-заочников физико-математических факультетов педагогических институтов.
Держатели документа:
ЗКУ
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
Page 2, Results: 15