Choice of metadata IPR SMART
Page 1, Results: 8
Report on unfulfilled requests: 0
1.
Подробнее
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
Горюшкин, А. П.
Математическая логика и теория алгоритмов : учебник / Горюшкин А. П. - Саратов : Вузовское образование, 2022. - 499 с. - ISBN 978-5-4487-0808-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
аксиоматическое построение -- алгебра высказываний -- алгебра предикатов -- алгоритм -- логика -- математическая логика -- теория алгоритмов -- теория множеств
Аннотация: В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.
2.
Подробнее
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 65.290
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
Мирзоев, М. С.
Теория алгоритмов : учебное пособие / Мирзоев М. С. - Москва : Прометей, 2019. - 200 с. - ISBN 978-5-907100-65-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математическая машина -- машина тьюринга -- навешивание квантора -- проблема самоприменимости -- рекурсивная функция -- рекурсивный предикат -- теорема клини -- теорема райса -- теория алгоритмов
Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Доп.точки доступа:
Матросов, В. Л.
3.
Подробнее
Родионов, Ю. В.
Основы математического моделирования : учебное пособие / Родионов Ю. В. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2018. - 110 с. - ISBN 978-5-8265-1886-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК В161
Кл.слова (ненормированные):
дифференциальное исчисление -- дифференциальное уравнение -- интегральное исчисление -- криволинейный интеграл -- математическая логика -- математический анализ -- математическое моделирование -- статистическая модель -- стохастическая модель -- теория алгоритмов
Аннотация: Подготовлено в соответствии с требованиями ФГОС к подготовке бакалавров инженерных направлений и направлено на формирование общепрофессиональной компетенции математического моделирования. Представлена концепция математического моделирования, вопросы содержания курса математики, направленные на формирование данной компетенции и соответствующий задачный материал. Предназначено для студентов, обучающихся по направлениям подготовки 07.03.01 «Архитектура», 08.03.01 «Строительство», 23.03.01 «Технология транспортных процессов», 23.03.03 «Эксплуатация транспортно-технологических машин и комплексов».
Доп.точки доступа:
Нахман, А. Д.
Родионов, Ю. В.
Основы математического моделирования : учебное пособие / Родионов Ю. В. - Тамбов : Тамбовский государственный технический университет, ЭБС АСВ, 2018. - 110 с. - ISBN 978-5-8265-1886-1 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
дифференциальное исчисление -- дифференциальное уравнение -- интегральное исчисление -- криволинейный интеграл -- математическая логика -- математический анализ -- математическое моделирование -- статистическая модель -- стохастическая модель -- теория алгоритмов
Аннотация: Подготовлено в соответствии с требованиями ФГОС к подготовке бакалавров инженерных направлений и направлено на формирование общепрофессиональной компетенции математического моделирования. Представлена концепция математического моделирования, вопросы содержания курса математики, направленные на формирование данной компетенции и соответствующий задачный материал. Предназначено для студентов, обучающихся по направлениям подготовки 07.03.01 «Архитектура», 08.03.01 «Строительство», 23.03.01 «Технология транспортных процессов», 23.03.03 «Эксплуатация транспортно-технологических машин и комплексов».
Доп.точки доступа:
Нахман, А. Д.
4.
Подробнее
Куликов, В. Г.
Теория алгоритмов : учебно-методическое пособие / Куликов В. Г. - Москва : МИСИ-МГСУ, ЭБС АСВ, 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 Информационные системы и технологии.
Доп.точки доступа:
Евстратов, В. С.
5.
Подробнее
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
Мачикина, Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2020. - 86 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- математическая логика -- понятие алгоритма -- предикаты -- теория алгоритмов
Аннотация: В пособии приведен необходимый теоретический материал, примеры решения задач и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов второго курса факультета ИВТ, направление 09.03.01 Информатика и вычислительная техника, профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Распределённые автоматизированные системы».
6.
Подробнее
Иванова, А. В.
Теоретические основы информатики : учебно-методическое пособие. Направление подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), направленность «Математика и Информатика», уровень бакалавриата / Иванова А. В. - Сургут : Сургутский государственный педагогический университет, 2020. - 96 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
арифметические основы -- кодирование данных -- основы информатики -- теория алгоритмов -- эвм
Аннотация: В учебно-методическом пособии «Теоретические основы информации» рассмотрены основные понятия информатики, вопросы кодирования данных и измерения количества информации, арифметические основы ЭВМ, теории алгоритмов. Приводятся цели и задачи изучения дисциплины. Каждая тема включает в себя теоретический материал, глоссарий, опорные схемы, практикум и материалы для организации самостоятельной работы студентов. Предназначено для студентов очной формы обучения направления подготовки 44.03.05 Педагогическое образование (с двумя профилями), направленности – Математика и Информатика (уровень бакалавриата).
Доп.точки доступа:
Митющенко, Е. В.
Иванова, А. В.
Теоретические основы информатики : учебно-методическое пособие. Направление подготовки 44.03.05 Педагогическое образование (с двумя профилями подготовки), направленность «Математика и Информатика», уровень бакалавриата / Иванова А. В. - Сургут : Сургутский государственный педагогический университет, 2020. - 96 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
арифметические основы -- кодирование данных -- основы информатики -- теория алгоритмов -- эвм
Аннотация: В учебно-методическом пособии «Теоретические основы информации» рассмотрены основные понятия информатики, вопросы кодирования данных и измерения количества информации, арифметические основы ЭВМ, теории алгоритмов. Приводятся цели и задачи изучения дисциплины. Каждая тема включает в себя теоретический материал, глоссарий, опорные схемы, практикум и материалы для организации самостоятельной работы студентов. Предназначено для студентов очной формы обучения направления подготовки 44.03.05 Педагогическое образование (с двумя профилями), направленности – Математика и Информатика (уровень бакалавриата).
Доп.точки доступа:
Митющенко, Е. В.
7.
Подробнее
Когабаев, Н. Т.
Дискретная математика и теория алгоритмов : учебное пособие / Когабаев Н. Т. - Новосибирск : Новосибирский государственный университет, 2023. - 125 с. - ISBN 978-5-4437-1324-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
графы -- дискретная математика -- рекурсивные функции -- теория алгоритмов -- теория вычислимости
Аннотация: В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Дискретная математика и теория алгоритмов» для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей математики, так или иначе связанных с понятием алгоритма: алгоритмы на графах и их временная сложность, теория автоматов и регулярных языков, формальные грамматики, машины Тьюринга и частично рекурсивные функции, классическая теория вычислимости. Предназначено для студентов 1-го курса механико-математического факультета НГУ, изучающих курс «Дискретная математика и теория алгоритмов», а также для всех желающих познакомиться с основами упомянутых в пособии математических теорий.
Когабаев, Н. Т.
Дискретная математика и теория алгоритмов : учебное пособие / Когабаев Н. Т. - Новосибирск : Новосибирский государственный университет, 2023. - 125 с. - ISBN 978-5-4437-1324-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
графы -- дискретная математика -- рекурсивные функции -- теория алгоритмов -- теория вычислимости
Аннотация: В настоящем учебном пособии изложены математические основы теории алгоритмов. Пособие отражает содержание лекций основного курса «Дискретная математика и теория алгоритмов» для студентов 1-го курса механико-математического факультета НГУ и охватывает материал из нескольких областей математики, так или иначе связанных с понятием алгоритма: алгоритмы на графах и их временная сложность, теория автоматов и регулярных языков, формальные грамматики, машины Тьюринга и частично рекурсивные функции, классическая теория вычислимости. Предназначено для студентов 1-го курса механико-математического факультета НГУ, изучающих курс «Дискретная математика и теория алгоритмов», а также для всех желающих познакомиться с основами упомянутых в пособии математических теорий.
8.
Подробнее
Мачикина, Е. П.
Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2023. - 102 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
булевы функции -- задачник -- математическая логика -- теория алгоритмов
Аннотация: В пособии содержатся задачи и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов направления 09.03.01 «Информатика и вычислительная техника», профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Программное обеспечение средств мобильных систем», направления 02.03.01 «Фундаментальная информатика и информационные технологии», профиль «Системное программное обеспечение». Большинство задач и упражнений пособия снабжено ответами и указаниями к решению.
Доп.точки доступа:
Новожилов, Д. И.
Мачикина, Е. П.
Задачник по математической логике и теории алгоритмов : учебное пособие / Мачикина Е. П. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2023. - 102 с. - Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
булевы функции -- задачник -- математическая логика -- теория алгоритмов
Аннотация: В пособии содержатся задачи и упражнения для решения на практических занятиях и во время самостоятельной работы по всем разделам дисциплины «Математическая логика и теория алгоритмов» для студентов направления 09.03.01 «Информатика и вычислительная техника», профили «Программное обеспечение средств вычислительной техники и автоматизированных систем», «Электронно-вычислительные машины, комплексы, системы и сети», «Программное обеспечение средств мобильных систем», направления 02.03.01 «Фундаментальная информатика и информационные технологии», профиль «Системное программное обеспечение». Большинство задач и упражнений пособия снабжено ответами и указаниями к решению.
Доп.точки доступа:
Новожилов, Д. И.
Page 1, Results: 8