автор: MIHAIL62 | 19 октября 2019 | Просмотров: 323
Название:Теория алгоритмов Автор:Матрос Д.Ш., Поднебесова Г.Б. Формат:PDF Размер: 23 Мб Год:2008 Качество: Нормальное Язык:Русский Страниц:202 с. : ил.
Учебник по курсу «Теория алгоритмов» для педагогических вузов по специальности «Информатика», полностью соответствующий стандарту. Изложение имеет четкую логическую структуру и охватывает следующие темы: понятие алгоритма, машина Тьюринга, примитивно-рекурсивные функции, нормальные алгоритмы, вычислимость и разрешимость, сложность вычислений, NP-полные задачи. Каждая тема сопровождается тестовыми заданиями и упражнениями. Для студентов и преподавателей педагогических вузов, учителей общеобразовательных школ.
Данная книга предназначена для будущих учителей информатики, которые уже прошли такие предметы, как высшая математика, математическая логика, дискретная математика, теория вероятностей, программное обеспечение, программирование. Поэтому предполагается, что читатель не испытает затруднений в понимании математических текстов.
Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгор ...
Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императ ...
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Математическая логика и теория алгоритмов для программистов — Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию метод ...
Книга содержит следующие разделы: теория множеств, комбинаторика, теория графов, математическая логика, конечные автоматы, теория алгоритмов, теория чисел, алгебраические системы. Каждый из них представляет собой обширную и хорошо разработанную теорию, и читатель найдет здесь лишь начальные понятия и простейшие теоремы, которые позволят ему состави ...
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
