База данных: Книги
Страница 1, Результатов: 7
Отмеченные записи: 0
1.
Подробнее
Д64
Досанбай, П. Т.
Математикалық логика [Мәтін] : оқулық / П. Т. Досанбай. - Алматы : ЖШС РПБК Дәуір, 2011. - 280 б. - ISBN 978-601-217-244-7 : 666т. 00т. тг.
ББК 22.12я73
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
жиын ұғымы -- Кантор теоремасы -- пікірлер логикасы -- логика алгебрасы -- предикаттар логикасы -- алгоритм ұғымы -- АВ
Экземпляры всего: 100
5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
Свободны: 5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
Д64
Досанбай, П. Т.
Математикалық логика [Мәтін] : оқулық / П. Т. Досанбай. - Алматы : ЖШС РПБК Дәуір, 2011. - 280 б. - ISBN 978-601-217-244-7 : 666т. 00т. тг.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
жиын ұғымы -- Кантор теоремасы -- пікірлер логикасы -- логика алгебрасы -- предикаттар логикасы -- алгоритм ұғымы -- АВ
Экземпляры всего: 100
5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
Свободны: 5.2-№6 оқу залы (86), 5.3-№7 оқу залы (3), 3-2 (9), 1-4 (2)
2.
Подробнее
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 600т. 00т. тг., 300т. 00т. тг.
ББК 22.122я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
тұжырым -- аксиома -- санақ -- предикат -- жүйе -- модель
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 2
5.3-№7 оқу залы (2)
Свободны: 5.3-№7 оқу залы (2)
Ж56
Жетпісов, Қ.
Математикалық логика [Мәтін] : оқу құралы / Қ. Жетпісов, Ж. А. Тусупов. - Тараз : ТарМУ, 2000. - 123 б. - ISBN 5838006552 : 600т. 00т. тг., 300т. 00т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
тұжырым -- аксиома -- санақ -- предикат -- жүйе -- модель
Доп.точки доступа:
Тусупов, Ж.А.
Экземпляры всего: 2
5.3-№7 оқу залы (2)
Свободны: 5.3-№7 оқу залы (2)
3.
Подробнее
К84
Крупский, В. Н.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / В. Н. Крупский. - М : Академия, 2013. - 416 с. - ). - ISBN 978-5-7695-9559-2 : 4570т. 31т. тг.
ББК 22.1я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- бинарные отношения -- числовые множества -- исчисление -- логика предикатов -- исчисление предикатов -- алгоритмическая теория -- разрешимые множества -- тезис Тьюринга
Экземпляры всего: 5
5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Свободны: 5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
К84
Крупский, В. Н.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / В. Н. Крупский. - М : Академия, 2013. - 416 с. - ). - ISBN 978-5-7695-9559-2 : 4570т. 31т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- бинарные отношения -- числовые множества -- исчисление -- логика предикатов -- исчисление предикатов -- алгоритмическая теория -- разрешимые множества -- тезис Тьюринга
Экземпляры всего: 5
5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Свободны: 5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
4.
Подробнее
Баймұхамедов, М. Ф
Жасанды интеллект:қазіргі заманғы теория және тәжірибе [Текст] : учебное пособие. 1-бөлім / М.Ф Баймұхамедов, А,М Баймухамедова, С, Н Боранбаев. - Алматы : Бастау , 2020. - 248 б. - ISBN 978-601-7991-32-6 : 6384т.00т. тг.
Рубрики: --ЭКОНОМИКА. ЭКОНОМИКА ҒЫЛЫМДАРЫ --ЭЛЕКТРОНДЫ ЕСЕПТЕУ МАШИНАЛАРЫ МЕН ҚҰРЫЛҒЫЛАРЫ
Кл.слова (ненормированные):
жасанды интеллект -- тарихи интеллект -- пролог -- предикат -- прологта кесу -- ықтимал ойлар -- Байесов желілері -- Монти Холл парадоксы -- нейрондық желілер -- семантикалық желілер -- контексті басқару -- семантикалық паутина -- оқу құралы -- artificial intelligence -- prolog -- probabilistic reasoning -- expert systems -- semantic networks -- predicate -- Bayesian networks -- Monty Hall paradox -- expert systems -- semabtic networks
Аннотация: Оқулықтың бірінші томы оқырмандарды жасанды интеллект тарихымен, білім беру үлгілерімен, сараптамалық жүйелермен және нейрондық желілермен таныстырады.
Доп.точки доступа:
Баймухамедова, А,М
Боранбаев, С, Н
Экземпляры всего: 5
5.2-№6 оқу залы (2), 5.3-№7 оқу залы (1), 2.1-№2 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2), 5.3-№7 оқу залы (1), 2.1-№2 оқу залы (2)
Баймұхамедов, М. Ф
Жасанды интеллект:қазіргі заманғы теория және тәжірибе [Текст] : учебное пособие. 1-бөлім / М.Ф Баймұхамедов, А,М Баймухамедова, С, Н Боранбаев. - Алматы : Бастау , 2020. - 248 б. - ISBN 978-601-7991-32-6 : 6384т.00т. тг.
Рубрики: --ЭКОНОМИКА. ЭКОНОМИКА ҒЫЛЫМДАРЫ --ЭЛЕКТРОНДЫ ЕСЕПТЕУ МАШИНАЛАРЫ МЕН ҚҰРЫЛҒЫЛАРЫ
Кл.слова (ненормированные):
жасанды интеллект -- тарихи интеллект -- пролог -- предикат -- прологта кесу -- ықтимал ойлар -- Байесов желілері -- Монти Холл парадоксы -- нейрондық желілер -- семантикалық желілер -- контексті басқару -- семантикалық паутина -- оқу құралы -- artificial intelligence -- prolog -- probabilistic reasoning -- expert systems -- semantic networks -- predicate -- Bayesian networks -- Monty Hall paradox -- expert systems -- semabtic networks
Аннотация: Оқулықтың бірінші томы оқырмандарды жасанды интеллект тарихымен, білім беру үлгілерімен, сараптамалық жүйелермен және нейрондық желілермен таныстырады.
Доп.точки доступа:
Баймухамедова, А,М
Боранбаев, С, Н
Экземпляры всего: 5
5.2-№6 оқу залы (2), 5.3-№7 оқу залы (1), 2.1-№2 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2), 5.3-№7 оқу залы (1), 2.1-№2 оқу залы (2)
5.
Подробнее
А 94
Ахметжанова, Ш. Е.
Transact-SQL тілінің негіздері [Мәтін] : оқу құралы / Ш. Е. Ахметжанова. - Тараз : "Dulaty university", 2021. - 178 б. - ISBN 978-601-7201-27-2 : 700.00 тг.
Рубрики: ТЕХНИКА. ТЕХНИКА ҒЫЛЫМДАРЫ
ЕСЕПТЕУІШ ТЕХНИКАСЫ
ЭЕМ ЖӘНЕ ЖАБДЫҚТАУ
Кл.слова (ненормированные):
Transact-SQL -- деректерді сипаттау -- деректер типтері -- сақталған процедуралар -- деректерді сұрыптау -- деректерді фильтрлеу -- деректерді топтау -- предикат түсінігі -- тәуелді (корреляциялық) ішкі сұраныстар -- жиынтық амалдар -- тәуелсіз (автономды сұраныстар) -- SQL Server -- SELECT командасы -- DISTINCT -- NULL -- ORDER BY -- T-SQL -- IN, BETWEEN, LIKE предикаттары -- INNER JOIN -- OUTER JOIN -- EXISTS предикатын қолдану -- EXCEPT амалдарын қолдану -- INTERSECT амалдары -- UNION амалы -- ПОҚ еңбектері -- оқу құралы
Аннотация: SQL Server 2017 ДББЖ-нің негіздері қарапайым тілмен және MS SQL Server 2017 жүйесін орнату, конфигурацияларын баптау және жүйе жұмысын қамтамасыз ету жолдары көрсетілген.Transact-SQL деректерді манипулияциялау тілі сипатталған. Деректер базасын құру, кестелерді және олардың мазмұнын өзгерту, сұраныстарды, инденкстерді, көріністерді, тригерлерді, сақталған процедураларды және пайдаланушы анықтаған функцияларды құру және өзгерту мәселелері қарастырылған. Оқу құралы деректер базасы теориясын, соның ішінде деректер базасын жобалау, модельдеу мәселелерін меңгерген оқырмандарға арналған.
Экземпляры всего: 7
2.1-№2 оқу залы (7)
Свободны: 2.1-№2 оқу залы (7)
А 94
Ахметжанова, Ш. Е.
Transact-SQL тілінің негіздері [Мәтін] : оқу құралы / Ш. Е. Ахметжанова. - Тараз : "Dulaty university", 2021. - 178 б. - ISBN 978-601-7201-27-2 : 700.00 тг.
Рубрики: ТЕХНИКА. ТЕХНИКА ҒЫЛЫМДАРЫ
ЕСЕПТЕУІШ ТЕХНИКАСЫ
ЭЕМ ЖӘНЕ ЖАБДЫҚТАУ
Кл.слова (ненормированные):
Transact-SQL -- деректерді сипаттау -- деректер типтері -- сақталған процедуралар -- деректерді сұрыптау -- деректерді фильтрлеу -- деректерді топтау -- предикат түсінігі -- тәуелді (корреляциялық) ішкі сұраныстар -- жиынтық амалдар -- тәуелсіз (автономды сұраныстар) -- SQL Server -- SELECT командасы -- DISTINCT -- NULL -- ORDER BY -- T-SQL -- IN, BETWEEN, LIKE предикаттары -- INNER JOIN -- OUTER JOIN -- EXISTS предикатын қолдану -- EXCEPT амалдарын қолдану -- INTERSECT амалдары -- UNION амалы -- ПОҚ еңбектері -- оқу құралы
Аннотация: SQL Server 2017 ДББЖ-нің негіздері қарапайым тілмен және MS SQL Server 2017 жүйесін орнату, конфигурацияларын баптау және жүйе жұмысын қамтамасыз ету жолдары көрсетілген.Transact-SQL деректерді манипулияциялау тілі сипатталған. Деректер базасын құру, кестелерді және олардың мазмұнын өзгерту, сұраныстарды, инденкстерді, көріністерді, тригерлерді, сақталған процедураларды және пайдаланушы анықтаған функцияларды құру және өзгерту мәселелері қарастырылған. Оқу құралы деректер базасы теориясын, соның ішінде деректер базасын жобалау, модельдеу мәселелерін меңгерген оқырмандарға арналған.
Экземпляры всего: 7
2.1-№2 оқу залы (7)
Свободны: 2.1-№2 оқу залы (7)
6.
Подробнее
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 87.4
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
Малыхина, Г. И.
Логика : учебник / Малыхина Г. И. - Минск : Вышэйшая школа, 2023. - 384 с. - ISBN 978-985-06-3498-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление высказываний -- исчисление предикатов -- логика -- форма мышления
Аннотация: В основе учебника – опыт преподавания общего курса логики студентам учреждений высшего образования. В оригинальной и последовательной форме изложено содержание дисциплины в контексте разнообразных форм человеческой деятельности. Обосновывается фундаментальное значение логических знаний для учебной практики и интеллектуального творчества, в том числе и технического. Первое издание вышло в 2021 г. Для студентов учреждений высшего образования, учащихся гимназий, лицеев, колледжей и училищ. Может быть использован магистрантами и аспирантами, а также изучающими логику самостоятельно.
7.
Подробнее
М 75
Молдованова , О.В.
Информационные системы и базы данных : учебное пособие / О.В. Молдованова . - 2-е изд. . - Саратов : Профобразование , 2024. - 184 с. : рис. - (Техническое и профессиональное образование ). - ISBN 978-5-4488-1555-3 : 5242.05 тг.
ББК 32.973я7
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВО
Кл.слова (ненормированные):
информационные системы -- концепции баз данных -- нормализация -- проектирование баз данных -- файловая модель -- иеархическая модель -- реляционная алгебра -- денормализация -- реляционная модель -- модели данных -- SQL -- слияние данных -- триггеры -- предикаты -- удаление данных из таблицы -- создание базы данных -- учебное пособие -- курсоры -- техническое образование -- профессиональное образование
Аннотация: Учебное пособие будет полезно студентам, обучающимся по укрупненным группам профессий и специальностей "Информатика и вычислительная техника", "Информационная безопасность", при изучении дисциплин "Архитектура информационных систем", "Основы проектирования баз данных", "Базы данных".
Экземпляры всего: 3
2.6-№1 Ч/З (1), 2.1-№2 Ч/З (2)
Свободны: 2.6-№1 Ч/З (1), 2.1-№2 Ч/З (2)
М 75
Молдованова , О.В.
Информационные системы и базы данных : учебное пособие / О.В. Молдованова . - 2-е изд. . - Саратов : Профобразование , 2024. - 184 с. : рис. - (Техническое и профессиональное образование ). - ISBN 978-5-4488-1555-3 : 5242.05 тг.
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВО
Кл.слова (ненормированные):
информационные системы -- концепции баз данных -- нормализация -- проектирование баз данных -- файловая модель -- иеархическая модель -- реляционная алгебра -- денормализация -- реляционная модель -- модели данных -- SQL -- слияние данных -- триггеры -- предикаты -- удаление данных из таблицы -- создание базы данных -- учебное пособие -- курсоры -- техническое образование -- профессиональное образование
Аннотация: Учебное пособие будет полезно студентам, обучающимся по укрупненным группам профессий и специальностей "Информатика и вычислительная техника", "Информационная безопасность", при изучении дисциплин "Архитектура информационных систем", "Основы проектирования баз данных", "Базы данных".
Экземпляры всего: 3
2.6-№1 Ч/З (1), 2.1-№2 Ч/З (2)
Свободны: 2.6-№1 Ч/З (1), 2.1-№2 Ч/З (2)
Страница 1, Результатов: 7