Подробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
289 Руб.
Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. .Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета. .
1894 Руб.
Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. .Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета. .
1894 Руб.
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов учреждений среднего профессионального образования.
4839 Руб.
Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов. Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика.
1401 Руб.
Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов. Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика.
1401 Руб.
В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости
809 Руб.
В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости
809 Руб.
В учебном пособии рассматриваются формирование, методологические основы и ключевые понятия социологической теории риска. Очерчивается предметное поле теории. Дается поведенческая интерпретация категории "риск". Предлагаются классификация и типология риска. Разрабатываются средовые и субъектные факторы, детерминирующие рискованное поведение. Раскрываются механизмы социальной регуляции риска, намечаются наиболее важные направления оптимизации риска и риско-логической работы социолога. Основные положения учебного пособия опираются на наиболее значимые мировые достижения в области изучения риска, проиллюстрированы многочисленными эмпирическими данными и примерами из социальной практики. Учебное пособие содержит методические материалы для изучения курса "Социологическая теория риска": цели и задачи курса, требования к его освоению, распределение времени по видам занятий и их содержание, задания для творческой самостоятельной работы обучаемых, перечень проблем для итогового контроля их знаний, основную и дополнительную литературу. Содержание учебного пособия соответствует установкам государственного образовательного стандарта по направлению "Социология" для подготовки магистров социологии. Для студентов и аспирантов, преподавателей социальных и гуманитарных дисциплин, а также всех интересующихся вопросами социального поведения и современными социальными проблемами.
569 Руб.
В первой части дается введение в теорию алгоритмов (часто называемую также теорией вычислимых функций или просто теорией вычислимости). Намечаются разные варианты её построения, основанные на использовании теории рекурсивных функций, машин Тьюринга, Поста и Минского, бесконечного абака, алгорифмов Маркова и экзотического языка Фрактран, предложенного Конвеем. Приводятся классические примеры алгоритмически неразрешимых проблем. Во второй части излагаются основы теории NP-полных задач. Доказывается NP-полнота ряда классических комбинаторных проблем переборного характера, таких как проблема выполнимости логических формул, проблемы коммивояжера, упаковки рюкзака, размена монет, поиска минимального покрытия и максимальной клики и др. Рассматриваются точные и приближенные алгоритмы для решения этих задач. В конце каждой части приводится список задач, дополняющих ее содержание. К некоторым из них даны указания к решению. В основу книги положен семестровый курс, читавшийся автором на факультете математики и компьютерных наук Бакинского филиала МГУ им. М. В. Ломоносова.
1550 Руб.
Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов.Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика. 3-е издание, стереотипное.
1117 Руб.
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов, логиков и кибернетиков. 5-е издание, исправленное.
957 Руб.
В учебном пособии излагаются некоторые аспекты вычислительной сложности при работе с целыми числами и графами, а также описаны основные понятия теории алгоритмов и некоторые классы сложности алгоритмов. Приводятся алгоритмы работы с «длинными» целыми числами, которые не помещаются в одну ячейку компьютера, доказываются оценки числа шагов работы этих алгоритмов. Анализируется число шагов решения некоторых задач на графах при разных способах их задания. Отдельная глава посвящена описанию трёх математических понятий алгоритма: рекурсивных функций, машин Тьюринга и их модификаций, нормальных алгоритмов Маркова. Доказываются теоремы о невозможности построения некоторых алгоритмов и об алгоритмической неразрешимости некоторых массовых проблем. Изложены основные понятия вычислительной сложности алгоритмов, даны сведения о современном делении алгоритмов на классы сложности.Подготовлено с учётом требований Федерального государственного образовательного стандарта высшего образования.Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки, связанным с технологиями программирования и искусственным интеллектом, и изучающих дисциплины «Теория алгоритмов», «Теория вычислительной сложности алгоритмов», «Анализ алгоритмов».
1879 Руб.
В учебном пособии излагаются некоторые аспекты вычислительной сложности при работе с целыми числами и графами, а также описаны основные понятия теории алгоритмов и некоторые классы сложности алгоритмов. Приводятся алгоритмы работы с «длинными» целыми числами, которые не помещаются в одну ячейку компьютера, доказываются оценки числа шагов работы этих алгоритмов. Анализируется число шагов решения некоторых задач на графах при разных способах их задания. Отдельная глава посвящена описанию трёх математических понятий алгоритма: рекурсивных функций, машин Тьюринга и их модификаций, нормальных алгоритмов Маркова. Доказываются теоремы о невозможности построения некоторых алгоритмов и об алгоритмической неразрешимости некоторых массовых проблем. Изложены основные понятия вычислительной сложности алгоритмов, даны сведения о современном делении алгоритмов на классы сложности.Подготовлено с учётом требований Федерального государственного образовательного стандарта высшего образования.Учебное пособие предназначено для студентов, обучающихся по направлениям подготовки, связанным с технологиями программирования и искусственным интеллектом, и изучающих дисциплины «Теория алгоритмов», «Теория вычислительной сложности алгоритмов», «Анализ алгоритмов».
1879 Руб.
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
690 Руб.
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и автоматизированных систем», «Математическое обеспечение и администрирование информационных систем» и специальностям направления «Информатика и вычислительная техника» дневной и заочной форм обучения.
1077 Руб.
© sibhematology.ru 2014-2023. All Rights Reserved