База данных: Электронная библиотека
Страница 1, Результатов: 8
Отмеченные записи: 0
1.
Файл для загрузки:
Баймухамедов М.Ф. Искусственный интеллект 2019.pdf
Баймухамедов М.Ф. Искусственный интеллект 2019.pdf
Подробнее
32.81
Б 18
Баймухамедов, М. Ф.
Искусственный интеллект: основы теории и практики [Текст] : учебник / М. Ф. Баймухамедов, М. С. Аймурзинов. - Костанай : [б. и.], 2019. - 176 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 32.81
Рубрики: Кибернетика
Кл.слова (ненормированные):
Искусственный интеллект -- программирование -- Prolog -- Понятие предиката -- Основы программирования -- Информированный поиск -- Неинформированный поиск -- Шахматные программы -- Байесовские сети -- Нейронные сети -- Семантические сети
Аннотация: Данный учебник знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Рассматриваются основные понятия, методы и алгоритмы систем искусственного интеллекта. Излагаются основы логического и функционального программирования. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Большое внимание уделено созданию систем интеллектуального управления робототехническими комплексами.
Держатели документа:
ЗКУ
Доп.точки доступа:
Аймурзинов, М.С.
Экземпляры всего: 1
Элетронная библиотека (1)
Свободны: Элетронная библиотека (1)
Б 18
Баймухамедов, М. Ф.
Искусственный интеллект: основы теории и практики [Текст] : учебник / М. Ф. Баймухамедов, М. С. Аймурзинов. - Костанай : [б. и.], 2019. - 176 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Кибернетика
Кл.слова (ненормированные):
Искусственный интеллект -- программирование -- Prolog -- Понятие предиката -- Основы программирования -- Информированный поиск -- Неинформированный поиск -- Шахматные программы -- Байесовские сети -- Нейронные сети -- Семантические сети
Аннотация: Данный учебник знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Рассматриваются основные понятия, методы и алгоритмы систем искусственного интеллекта. Излагаются основы логического и функционального программирования. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Большое внимание уделено созданию систем интеллектуального управления робототехническими комплексами.
Держатели документа:
ЗКУ
Доп.точки доступа:
Аймурзинов, М.С.
Экземпляры всего: 1
Элетронная библиотека (1)
Свободны: Элетронная библиотека (1)
2.
Файл для загрузки:
Баймухамедов М.Ф. Искусственный интеллект 2019.pdf
Подробнее
32.81
Б 18
Баймухамедов, М. Ф.
Искусственный интеллект: основы теории и практики [Текст] : учебник / М. Ф. Баймухамедов, М. С. Аймурзинов. - Костанай : [б. и.], 2019. - 176 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 32.81
Рубрики: Кибернетика
Кл.слова (ненормированные):
Искусственный интеллект -- программирование -- Prolog -- Понятие предиката -- Основы программирования -- Информированный поиск -- Неинформированный поиск -- Шахматные программы -- Байесовские сети -- Нейронные сети -- Семантические сети
Аннотация: Данный учебник знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Рассматриваются основные понятия, методы и алгоритмы систем искусственного интеллекта. Излагаются основы логического и функционального программирования. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Большое внимание уделено созданию систем интеллектуального управления робототехническими комплексами.
Держатели документа:
ЗКУ
Доп.точки доступа:
Аймурзинов, М.С.
Экземпляры всего: 1
Элетронная библиотека (1)
Свободны: Элетронная библиотека (1)
Б 18
Баймухамедов, М. Ф.
Искусственный интеллект: основы теории и практики [Текст] : учебник / М. Ф. Баймухамедов, М. С. Аймурзинов. - Костанай : [б. и.], 2019. - 176 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Кибернетика
Кл.слова (ненормированные):
Искусственный интеллект -- программирование -- Prolog -- Понятие предиката -- Основы программирования -- Информированный поиск -- Неинформированный поиск -- Шахматные программы -- Байесовские сети -- Нейронные сети -- Семантические сети
Аннотация: Данный учебник знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Рассматриваются основные понятия, методы и алгоритмы систем искусственного интеллекта. Излагаются основы логического и функционального программирования. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Большое внимание уделено созданию систем интеллектуального управления робототехническими комплексами.
Держатели документа:
ЗКУ
Доп.точки доступа:
Аймурзинов, М.С.
Экземпляры всего: 1
Элетронная библиотека (1)
Свободны: Элетронная библиотека (1)
3.
Файл для загрузки:
Баймухамедов М.Ф. Искусственный интеллект 2019.pdf
Подробнее
32.81
Б 18
Баймухамедов, М. Ф.
Искусственный интеллект: основы теории и практики [Текст] : учебник / М. Ф. Баймухамедов, М. С. Аймурзинов. - Костанай : [б. и.], 2019. - 176 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 32.81
Рубрики: Кибернетика
Кл.слова (ненормированные):
Искусственный интеллект -- программирование -- Prolog -- Понятие предиката -- Основы программирования -- Информированный поиск -- Неинформированный поиск -- Шахматные программы -- Байесовские сети -- Нейронные сети -- Семантические сети
Аннотация: Данный учебник знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Рассматриваются основные понятия, методы и алгоритмы систем искусственного интеллекта. Излагаются основы логического и функционального программирования. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Большое внимание уделено созданию систем интеллектуального управления робототехническими комплексами.
Держатели документа:
ЗКУ
Доп.точки доступа:
Аймурзинов, М.С.
Экземпляры всего: 1
Элетронная библиотека (1)
Свободны: Элетронная библиотека (1)
Б 18
Баймухамедов, М. Ф.
Искусственный интеллект: основы теории и практики [Текст] : учебник / М. Ф. Баймухамедов, М. С. Аймурзинов. - Костанай : [б. и.], 2019. - 176 с. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Кибернетика
Кл.слова (ненормированные):
Искусственный интеллект -- программирование -- Prolog -- Понятие предиката -- Основы программирования -- Информированный поиск -- Неинформированный поиск -- Шахматные программы -- Байесовские сети -- Нейронные сети -- Семантические сети
Аннотация: Данный учебник знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Рассматриваются основные понятия, методы и алгоритмы систем искусственного интеллекта. Излагаются основы логического и функционального программирования. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Большое внимание уделено созданию систем интеллектуального управления робототехническими комплексами.
Держатели документа:
ЗКУ
Доп.точки доступа:
Аймурзинов, М.С.
Экземпляры всего: 1
Элетронная библиотека (1)
Свободны: Элетронная библиотека (1)
4.
Подробнее
22.1
С 81
Столяр, А. А.
Математика [Текст] : для студентов I курса факультетов подготовки учителей начальных классов педагогических вузов / А. А. Столяр, М. П. Лельчук. - Минск : [б. и.], 1975. - 272 с. : ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- алгебра -- теория множеств -- комбинаторика -- множества -- декартова система -- математическая логика -- алгебра высказываний -- предикаты -- неотрицательные целые числа -- системы счисления -- делимость чисел -- студенты -- высшая школа
Аннотация: Составлено в соответствии с программой курса "Математика". Содержит изложение теоретического материала и упражнения по первым четырем разделам программы. Простейшие теоретико-множественные и логические понятия иллюстрируются примерами, доступными учащимся начальных классов. Предназначено для студентов 1 курса факультетов подготовки учителей начальных классов педагогических вузов
Держатели документа:
ЗКУ
Доп.точки доступа:
Лельчук, М.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
С 81
Столяр, А. А.
Математика [Текст] : для студентов I курса факультетов подготовки учителей начальных классов педагогических вузов / А. А. Столяр, М. П. Лельчук. - Минск : [б. и.], 1975. - 272 с. : ил. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- алгебра -- теория множеств -- комбинаторика -- множества -- декартова система -- математическая логика -- алгебра высказываний -- предикаты -- неотрицательные целые числа -- системы счисления -- делимость чисел -- студенты -- высшая школа
Аннотация: Составлено в соответствии с программой курса "Математика". Содержит изложение теоретического материала и упражнения по первым четырем разделам программы. Простейшие теоретико-множественные и логические понятия иллюстрируются примерами, доступными учащимся начальных классов. Предназначено для студентов 1 курса факультетов подготовки учителей начальных классов педагогических вузов
Держатели документа:
ЗКУ
Доп.точки доступа:
Лельчук, М.П.
Экземпляры всего: 1
EFOND (1)
Свободны: EFOND (1)
5.
Подробнее
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)
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
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.12
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)
И 26
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студ. вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
Алгебра высказываний -- Формулы алгебры -- Булевы функций -- Логика предикатов -- математическая логика -- теория алгоритмов -- задачи -- упражнения
Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов.
Держатели документа:
ЗКГУ
Экземпляры всего: 16
чз2 (5), ау (11)
Свободны: чз2 (5), ау (9)
8.
Подробнее
517
Н 90
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары [Текст]. . Б.2. / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1995. - 173 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математика -- предикаттар логика -- алгоритм теориясы
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары қазіргі кездегі мектеп педагогикасының талаптарына негізделіп жазылған.
Держатели документа:
БҚМУ
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
Н 90
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары [Текст]. . Б.2. / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1995. - 173 б. - !sk_elib_Oisbncn_H.pft: FILE NOT FOUND!
| УДК |
Рубрики: Математика
Кл.слова (ненормированные):
математика -- предикаттар логика -- алгоритм теориясы
Аннотация: Оқу құралында предикаттар логикасы, предикаттық есептемелер және алгоритмдер теориясының бастамалары қазіргі кездегі мектеп педагогикасының талаптарына негізделіп жазылған.
Держатели документа:
БҚМУ
Экземпляры всего: 2
чз2 (2)
Свободны: чз2 (2)
Страница 1, Результатов: 8