База данных: Электронный Каталог книг
Страница 1, Результатов: 18
Отмеченные записи: 0
1.
Подробнее
22.12(5КАЗ)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12(5КАЗ)
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
Д 70
Досанбай , П. Т.
Математикалық логика [Текст] : оқулық / П. Т. Досанбай . - А. : Дәуір, 2011. - 280 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математическая логика
Кл.слова (ненормированные):
математикалық логика -- пікірлер есептеуі -- предикаттар логикасы -- алгоритмдер теориясына -- жиындар теориясы -- пікілер логикасы -- логика алгебрасы -- бірінші ретті теориялар -- пост теориясы -- элементар теориясы -- алгоритм ұғымы -- черч тезисінің салдарлары
Аннотация: Оқулық мазмұны Қазақстан Республикасындағы қабылдаған математикалық логика пәні бойынша стандартқа сәйкес келеді және университетердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз.Оқу құралы теориялық материалдармен бірге,практикалық сабақтар жүргізуге арналған жаттығуларды және аралық бақылаулар өткізуге арналған тест тапсырмаларының үлгілерін қамтиды.Кітап соңында аралық бақылаулар өткізуге арналған тест үлгілері келттірілген.Кітап мазмұны автордың Әл-Фараби атындағы Қазақ ұлттық университетінің механика-математика факультетінде студенттерге жүргізген дәрістері мен семинар сабақтарына негізделді.
Держатели документа:
БҚМУ
Экземпляры всего: 20
ау (15), чз2 (5)
Свободны: ау (14), чз2 (5)
2.
Подробнее
22.12
Р 24
Рассел, С.
Жасанды интеллект: Жаңашыл әдіс [Текст] : оқулық. Т.1. / С. Рассел. - Алматы : ҚР ЖОО қауымдастығы, 2013. - 560 б. - (ҚР Білім және ғылым министрлігі). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- жаңашыл әдіс -- алгоритм -- логика -- пропорция -- математика
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Мансұрова, М.Е. \ауд.\
Дүйсебекова, К.С. \ауд.\
Сапақова, С.З. \ауд.\
Экземпляры всего: 30
чз 2 (1), чз2 (8), ау (21)
Свободны: чз 2 (1), чз2 (7), ау (21)
Р 24
Рассел, С.
Жасанды интеллект: Жаңашыл әдіс [Текст] : оқулық. Т.1. / С. Рассел. - Алматы : ҚР ЖОО қауымдастығы, 2013. - 560 б. - (ҚР Білім және ғылым министрлігі). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- жаңашыл әдіс -- алгоритм -- логика -- пропорция -- математика
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Мансұрова, М.Е. \ауд.\
Дүйсебекова, К.С. \ауд.\
Сапақова, С.З. \ауд.\
Экземпляры всего: 30
чз 2 (1), чз2 (8), ау (21)
Свободны: чз 2 (1), чз2 (7), ау (21)
3.
Подробнее
22.12
Г 65
Гончар, Д. Р.
Математическое моделирование применения культурно- и природосообразного подходов в общеобразовательной школе [Текст] / Д. Р. Гончар, Ю. С. Юрезанская. - М. : Вычисл. Центр им. А.А. Дородницына РАН, 2013. - 19 с. - (Сообщения по прикладной математике). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математика -- моделирование -- школа -- обучение
Аннотация: Приводятся математические модели нулевого уровня применения культуро- и природосообразного подходов в общеобразовательной школе с целью выработки более обоснованных численных критериев целесообразности применения этих подходов в тех или иных условиях обучения.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Юрезанская, Ю.С.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
Г 65
Гончар, Д. Р.
Математическое моделирование применения культурно- и природосообразного подходов в общеобразовательной школе [Текст] / Д. Р. Гончар, Ю. С. Юрезанская. - М. : Вычисл. Центр им. А.А. Дородницына РАН, 2013. - 19 с. - (Сообщения по прикладной математике). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математика -- моделирование -- школа -- обучение
Аннотация: Приводятся математические модели нулевого уровня применения культуро- и природосообразного подходов в общеобразовательной школе с целью выработки более обоснованных численных критериев целесообразности применения этих подходов в тех или иных условиях обучения.
Держатели документа:
ЗКГУ
Доп.точки доступа:
Юрезанская, Ю.С.
Экземпляры всего: 1
чз2 (1)
Свободны: чз2 (1)
4.
Подробнее
22.12
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика [Текст] : оқулық / Қ. Жетпісов. - Қарағанды : Басылым ҰҒТАО, 2008. - 342 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математикалық логика -- дискретті математика
Аннотация: Оқулық математикалық логика, дискретті математика атты екі бөлімнен тұрады.
Держатели документа:
ЗКГУ
Экземпляры всего: 20
ау (10), чз2 (6), чз5 (4)
Свободны: ау (10), чз2 (6), чз5 (4)
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика [Текст] : оқулық / Қ. Жетпісов. - Қарағанды : Басылым ҰҒТАО, 2008. - 342 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Математикалық логика -- дискретті математика
Аннотация: Оқулық математикалық логика, дискретті математика атты екі бөлімнен тұрады.
Держатели документа:
ЗКГУ
Экземпляры всего: 20
ау (10), чз2 (6), чз5 (4)
Свободны: ау (10), чз2 (6), чз5 (4)
5.
Подробнее
22.12
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (10)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (10)
6.
Подробнее
22.12
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жиындар теориясының элементтері -- Эйлер-Венн диаграммалары -- тұжырымдар алгебрасы -- аксиомалық әдіс -- санақ -- предикаттар санағы -- алгебралық жүйелер -- графтар -- кодтау теориясы -- математикалық логика -- дискретті математика
Аннотация: Оқулықта математикалық логика және дискреттік математика баяндалады.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз2 (10)
Свободны: чз2 (9)
Ж 64
Жетпісов, Қ.
Математикалық логика және дискретті математика : оқулық / Қ. Жетпісов. - Алматы : Дәуір, 2011. - 264 б. - (ҚР Жоғары оқу орындарының қауымдастығы). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жиындар теориясының элементтері -- Эйлер-Венн диаграммалары -- тұжырымдар алгебрасы -- аксиомалық әдіс -- санақ -- предикаттар санағы -- алгебралық жүйелер -- графтар -- кодтау теориясы -- математикалық логика -- дискретті математика
Аннотация: Оқулықта математикалық логика және дискреттік математика баяндалады.
Держатели документа:
БҚМУ
Экземпляры всего: 10
чз2 (10)
Свободны: чз2 (9)
7.
Подробнее
22.12
Т 33
Теория моделей в Казахстане : сб. науч. работ, посв. памяти А.Д. Тайманова / под ред. М. М. Еримбетова. - Алматы. : Еco Study, 2006. - 448 с. : ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория моделей -- Тайманов -- Казахстан -- математика
Аннотация: Сборник содержит статьи по теории моделей, теоретико-модельной алгебре, прикладной логике, по конструктивным моделям, а также воспоминания об А.Д.Тайманове (1917-1990).
Держатели документа:
ЗКГУ
Доп.точки доступа:
Еримбетова, М.М. \под ред.\
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
Т 33
Теория моделей в Казахстане : сб. науч. работ, посв. памяти А.Д. Тайманова / под ред. М. М. Еримбетова. - Алматы. : Еco Study, 2006. - 448 с. : ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Теория моделей -- Тайманов -- Казахстан -- математика
Аннотация: Сборник содержит статьи по теории моделей, теоретико-модельной алгебре, прикладной логике, по конструктивным моделям, а также воспоминания об А.Д.Тайманове (1917-1990).
Держатели документа:
ЗКГУ
Доп.точки доступа:
Еримбетова, М.М. \под ред.\
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
8.
Подробнее
22.12
Н 33
Натансон, И. П.
Теория функций вещественной переменной : учебник / И. П. Натансон. - 5-е изд., стер. - СПб. : Лань, 2008. - 560 с. : ил. - (Учебники для вузов. Специальная литература). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Бесконечные множества -- Точечные множества -- Измеримые множества -- теория функций -- вещественная переменная
Аннотация: В учебнике рассмотрены измеримые множества и функции (одной и нескольких переменных); интеграл Лебега и его обобщения; суммируемые функции; интеграл Стилтьеса; абсолютно непрерывные функции; сингулярные интегралы; функции с неограниченными областями задания.
Держатели документа:
ЗКГУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
Н 33
Натансон, И. П.
Теория функций вещественной переменной : учебник / И. П. Натансон. - 5-е изд., стер. - СПб. : Лань, 2008. - 560 с. : ил. - (Учебники для вузов. Специальная литература). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Бесконечные множества -- Точечные множества -- Измеримые множества -- теория функций -- вещественная переменная
Аннотация: В учебнике рассмотрены измеримые множества и функции (одной и нескольких переменных); интеграл Лебега и его обобщения; суммируемые функции; интеграл Стилтьеса; абсолютно непрерывные функции; сингулярные интегралы; функции с неограниченными областями задания.
Держатели документа:
ЗКГУ
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
9.
Подробнее
22.12
Р 24
Рассел, С.
Жасанды интеллект [Текст] : оқулық. . Б.2. / С. Рассел, П. Норвиг. - Алматы : [б. и.], 2014. - 428 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- білім -- жоспарлау -- белгісіздік -- ықтималдық пайымдаулар -- уақыт -- онтологиялық инженерия -- мультиагенттік жоспарлау
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Экземпляры всего: 20
чз 2 (1), чз2 (3), ау (16)
Свободны: чз 2 (1), чз2 (2), ау (16)
Р 24
Рассел, С.
Жасанды интеллект [Текст] : оқулық. . Б.2. / С. Рассел, П. Норвиг. - Алматы : [б. и.], 2014. - 428 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
жасанды интеллект -- білім -- жоспарлау -- белгісіздік -- ықтималдық пайымдаулар -- уақыт -- онтологиялық инженерия -- мультиагенттік жоспарлау
Аннотация: Оқулық математикалық логика және ықтималдықтар теориясы сияқты жасанды интеллектің теориялық негіздері тұрғысынан жоғары деңгейде қабылдау, талқылау, үйрену түсініктерінің мазмұнын ашады.
Держатели документа:
БҚМУ
Доп.точки доступа:
Норвиг, П.
Экземпляры всего: 20
чз 2 (1), чз2 (3), ау (16)
Свободны: чз 2 (1), чз2 (2), ау (16)
10.
Подробнее
22.12я7
О-71
Орынбаева, Ж.
Алгоритм негіздері және бағдарламалау тілдері (тест жинағы) [Текст] : оқу құралы / Ж. Орынбаева, Қ. Бекмолдаева, С. Солтанаева. - Астана : Фолиант, 2010. - 72 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12я7
Рубрики: Основания математики. Математияческая логика
Кл.слова (ненормированные):
алгоритм -- бағдарламалау тілдері -- тест
Аннотация: Тест жинағында алгоритмдер негіздері, бағдарламалау тілдері бойынша тест сұрақтары қамтылған.
Держатели документа:
БҚМУ
Доп.точки доступа:
Бекмолдаева, Қ.
Солтанаева, С.
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
О-71
Орынбаева, Ж.
Алгоритм негіздері және бағдарламалау тілдері (тест жинағы) [Текст] : оқу құралы / Ж. Орынбаева, Қ. Бекмолдаева, С. Солтанаева. - Астана : Фолиант, 2010. - 72 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математияческая логика
Кл.слова (ненормированные):
алгоритм -- бағдарламалау тілдері -- тест
Аннотация: Тест жинағында алгоритмдер негіздері, бағдарламалау тілдері бойынша тест сұрақтары қамтылған.
Держатели документа:
БҚМУ
Доп.точки доступа:
Бекмолдаева, Қ.
Солтанаева, С.
Экземпляры всего: 5
чз2 (5)
Свободны: чз2 (5)
Страница 1, Результатов: 18