База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 6
Отмеченные записи: 0
1.
Подробнее
Авдеенко, Т. В.
Программирование в среде Visual Prolog : учебное пособие / Авдеенко Т. В. - Новосибирск : Новосибирский государственный технический университет, 2022. - 46 с. - ISBN 978-5-7782-4689-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
visual prolog -- искусственный интеллект -- исчисления высказываний -- исчисления предикатов -- программирование -- структура данных
Аннотация: Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками. Предназначено для студентов III курса ФПМИ (направления подготовки 01.03.02, 02.03.03).
Доп.точки доступа:
Целебровская, М. Ю.
Авдеенко, Т. В.
Программирование в среде Visual Prolog : учебное пособие / Авдеенко Т. В. - Новосибирск : Новосибирский государственный технический университет, 2022. - 46 с. - ISBN 978-5-7782-4689-8 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
visual prolog -- искусственный интеллект -- исчисления высказываний -- исчисления предикатов -- программирование -- структура данных
Аннотация: Настоящее учебное пособие – это продолжение учебного пособия «Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog», представляющего собой вводную часть курса по искусственному интеллекту, основной целью которой является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. В пособии рассматриваются: работа с рекурсивными структурами данных в Прологе, назначение и применение предиката «Отсечение», а также внелогические предикаты Пролога и предикаты работы со строками. Предназначено для студентов III курса ФПМИ (направления подготовки 01.03.02, 02.03.03).
Доп.точки доступа:
Целебровская, М. Ю.
2.
Подробнее
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.290
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
3.
Подробнее
Элементы дискретной математики : учебное пособие / Ананичев Д. С. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 108 с. - ISBN 978-5-7996-1387-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- график -- исчисление -- математика -- функция
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей.
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекин, А. Н. \ред.\
Элементы дискретной математики : учебное пособие / Ананичев Д. С. - Екатеринбург : Уральский федеральный университет, ЭБС АСВ, 2015. - 108 с. - ISBN 978-5-7996-1387-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- график -- исчисление -- математика -- функция
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей.
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекин, А. Н. \ред.\
4.
Подробнее
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
5.
Подробнее
Элементы дискретной математики : учебное пособие для СПО / Ананичев Д. С. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2024. - 107 с. - ISBN 978-5-4488-0390-1, 978-5-7996-2845-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- дискретная математика -- задача -- комбинаторика -- предикаты
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Учебное пособие предназначено для изучения дисциплины «Дискретная математика» по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность».
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекина, А. Н. \ред.\
Элементы дискретной математики : учебное пособие для СПО / Ананичев Д. С. - Саратов, Екатеринбург : Профобразование, Уральский федеральный университет, 2024. - 107 с. - ISBN 978-5-4488-0390-1, 978-5-7996-2845-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- дискретная математика -- задача -- комбинаторика -- предикаты
Аннотация: В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Учебное пособие предназначено для изучения дисциплины «Дискретная математика» по укрупненным группам специальностей среднего профессионального образования «Информатика и вычислительная техника», «Информационная безопасность».
Доп.точки доступа:
Ананичев, Д. С.
Андреева, И. Ю.
Гредасова, Н. В.
Костоусов, К. В.
Сесекина, А. Н. \ред.\
6.
Подробнее
Дискретная математика : индивидуальные домашние задания и методические указания по их выполнению для студентов 1 курса, обучающихся по направлениям подготовки 09.03.02 «Информационные системы и технологии» и 09.03.03 «Прикладная информатика» всех форм обучения / сост. И. А. Бертик. - Новосибирск : Новосибирский государственный архитектурно-строительный университет (Сибстрин), ЭБС АСВ, 2022. - 37 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.18
Кл.слова (ненормированные):
булевые функции -- дискретная математика -- математическая индукция -- матрица -- переменная -- предикаты -- таблица истинности
Аннотация: В данных методических указаниях рассматривается выполнение индивидуальных домашних заданий по дискретной математике, которые предназначены для студентов обучающихся по направлениям подготовки 09.03.02 «Информационные системы и технологии» и 09.03.03 «Прикладная информатика» всех форм обучения
Доп.точки доступа:
Бертик, И. А. \сост.\
Дискретная математика : индивидуальные домашние задания и методические указания по их выполнению для студентов 1 курса, обучающихся по направлениям подготовки 09.03.02 «Информационные системы и технологии» и 09.03.03 «Прикладная информатика» всех форм обучения / сост. И. А. Бертик. - Новосибирск : Новосибирский государственный архитектурно-строительный университет (Сибстрин), ЭБС АСВ, 2022. - 37 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевые функции -- дискретная математика -- математическая индукция -- матрица -- переменная -- предикаты -- таблица истинности
Аннотация: В данных методических указаниях рассматривается выполнение индивидуальных домашних заданий по дискретной математике, которые предназначены для студентов обучающихся по направлениям подготовки 09.03.02 «Информационные системы и технологии» и 09.03.03 «Прикладная информатика» всех форм обучения
Доп.точки доступа:
Бертик, И. А. \сост.\
Страница 1, Результатов: 6