Choice of metadata IPR SMART
Page 1, Results: 7
Report on unfulfilled requests: 0
1.
Подробнее
Алексеев, В. Е.
Структуры данных и модели вычислений : учебное пособие / Алексеев В. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 247 с. - ISBN 978-5-4497-0939-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
алгоритм -- алгорифм маркова -- логическое программирование -- машина тьюринга -- модель вычислений -- структура данных -- теория графов -- формальный язык
Аннотация: В учебном пособии рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма. Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В издании рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, «машины абак» и как наиболее реалистичной модели вычислительного автомата — модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Доп.точки доступа:
Таланов, В. А.
Алексеев, В. Е.
Структуры данных и модели вычислений : учебное пособие / Алексеев В. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 247 с. - ISBN 978-5-4497-0939-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм -- алгорифм маркова -- логическое программирование -- машина тьюринга -- модель вычислений -- структура данных -- теория графов -- формальный язык
Аннотация: В учебном пособии рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма. Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В издании рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, «машины абак» и как наиболее реалистичной модели вычислительного автомата — модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.
Доп.точки доступа:
Таланов, В. А.
2.
Подробнее
Рублев, В. С.
Языки логического программирования : учебное пособие / Рублев В. С. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 125 с. - ISBN 978-5-4497-0927-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
искусственный интеллект -- логическое программирование -- машина тьюринга -- модель алгоритма -- модель маркова -- функциональное программирование -- язык программирования
Аннотация: Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга. Другая модель алгоритмов — нормальные алгоритмы Маркова — является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее издание посвящено этому направлению развития языков программирования.
Рублев, В. С.
Языки логического программирования : учебное пособие / Рублев В. С. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2021. - 125 с. - ISBN 978-5-4497-0927-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
искусственный интеллект -- логическое программирование -- машина тьюринга -- модель алгоритма -- модель маркова -- функциональное программирование -- язык программирования
Аннотация: Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта. Традиционные языки программирования, наиболее часто используемые на практике, относятся к модели языков фон Неймановского типа. Эта модель тесно связана с одной из моделей алгоритмов, называемой Машинами Тьюринга. Другая модель алгоритмов — нормальные алгоритмы Маркова — является основой языков программирования другого типа, которые называют языками логического программирования за направленность на решение задач логического типа. Эти языки иногда называют языками функционального программирования, поскольку программы, написанные на них, выражают явным образом функциональный подход к программированию, а также называют языками искусственного интеллекта за их использование в программировании сложных интеллектуальных задач. Настоящее издание посвящено этому направлению развития языков программирования.
3.
Подробнее
Вычислительные наноструктуры. В 2 частях. Ч.1. Задачи, модели, структуры : учебное пособие / Алакоз Г. М. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 487 с. - ISBN 978-5-4497-0654-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.97
Кл.слова (ненормированные):
вычислительная наноструктура -- вычислительная система -- вычислительная технология -- квантовый компьютер -- машина тьюринга -- нанометровая системотехника -- нейрокомпьютерная технология -- нейроподобная модель -- проектная технология -- технология прототипирования
Аннотация: В учебном пособии раскрыт фундаментальный характер проблематики сквозного системного проектирования высокоответственных технотронных комплексов двойного назначения, функционирование которых невозможно без удовлетворения требований критических задач, превышающих не менее, чем на порядок, возможности существующих аппаратных платформ. Проанализированы потенциальные возможности «нечисленной» нейрокибернетики и структурно-параметрического метода хранения и преобразования информации в супрамолекулярной и нанометровой вычислительной технике. Книга рассчитана на научных работников, инженеров и менеджеров, работающих над созданием технотронных комплексов, определяющих облик высоких технологий XXI века. Она может быть полезной студентам различных специальностей для углубленного изучения методов и средств создания информационных технологий.
Доп.точки доступа:
Алакоз, Г. М.
Котов, А. В.
Курак, М. В.
Попов, А. А.
Сериков, А. П.
Алакоза, Г. М. \ред.\
Вычислительные наноструктуры. В 2 частях. Ч.1. Задачи, модели, структуры : учебное пособие / Алакоз Г. М. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 487 с. - ISBN 978-5-4497-0654-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вычислительная наноструктура -- вычислительная система -- вычислительная технология -- квантовый компьютер -- машина тьюринга -- нанометровая системотехника -- нейрокомпьютерная технология -- нейроподобная модель -- проектная технология -- технология прототипирования
Аннотация: В учебном пособии раскрыт фундаментальный характер проблематики сквозного системного проектирования высокоответственных технотронных комплексов двойного назначения, функционирование которых невозможно без удовлетворения требований критических задач, превышающих не менее, чем на порядок, возможности существующих аппаратных платформ. Проанализированы потенциальные возможности «нечисленной» нейрокибернетики и структурно-параметрического метода хранения и преобразования информации в супрамолекулярной и нанометровой вычислительной технике. Книга рассчитана на научных работников, инженеров и менеджеров, работающих над созданием технотронных комплексов, определяющих облик высоких технологий XXI века. Она может быть полезной студентам различных специальностей для углубленного изучения методов и средств создания информационных технологий.
Доп.точки доступа:
Алакоз, Г. М.
Котов, А. В.
Курак, М. В.
Попов, А. А.
Сериков, А. П.
Алакоза, Г. М. \ред.\
4.
Подробнее
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 218 с. - ISBN 978-5-4497-0662-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
5.
Подробнее
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.290
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
6.
Подробнее
Куликов, В. Г.
Теория алгоритмов : учебно-методическое пособие / Куликов В. Г. - Москва : МИСИ-МГСУ, ЭБС АСВ, 2022. - 43 с. - ISBN 978-5-7264-2963-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
алгоритм евклида -- машина тьюринга -- рекурсивные функции -- теория алгоритмов
Аннотация: В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста. Для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии.
Доп.точки доступа:
Евстратов, В. С.
Куликов, В. Г.
Теория алгоритмов : учебно-методическое пособие / Куликов В. Г. - Москва : МИСИ-МГСУ, ЭБС АСВ, 2022. - 43 с. - ISBN 978-5-7264-2963-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
алгоритм евклида -- машина тьюринга -- рекурсивные функции -- теория алгоритмов
Аннотация: В учебно-методическом пособии по дисциплине «Теория алгоритмов» представлены разделы, традиционно изучаемые в курсе теории алгоритмов: машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции и т.д. Рассмотрены вопросы интуитивного и формального определения алгоритмов, сложности и нумерации алгоритмов, алгоритмически неразрешимых проблем, конструирования машин Поста. Для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии.
Доп.точки доступа:
Евстратов, В. С.
7.
Подробнее
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 218 с. - ISBN 978-5-4497-3304-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Пентус, А. Е.
Математическая теория формальных языков : учебное пособие / Пентус А. Е. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2024. - 218 с. - ISBN 978-5-4497-3304-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
автоматный язык -- иерархия хомского -- конечный автомат -- контекстно-свободная грамматика -- магазинная память -- математическая теория -- машина тьюринга -- теоретическая информатика -- формальный язык
Аннотация: Учебное пособие посвящено классическому разделу математической лингвистики и теоретической информатики — теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками.
Доп.точки доступа:
Пентус, М. Р.
Page 1, Results: 7