автор: MIHAIL62 | 25 ноября 2018 | Просмотров: 331
Название:Математическая логика (+CD-R) Автор:Игошин В.И. Формат:PDF Размер: 24.2 Мб Год:2016 Качество: Отличное Язык:Русский Серия: Высшее образование Страниц:399
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета. Содержимое CD-R диска представляет собой рабочую тетрадь. Для облегчения эта рабочая тетрадь добавлена в файл, как приложение.
Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгор ...
Математика для бакалавров. Универсальный курс для студентов гуманитарных направлений — Содержит краткий курс математики. Рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Представлены важнейшие разделы математического анализа.
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императ ...
Учебник основан на материале годового курса лекций по теории вероятностей и математической статистике, который много лет читался студентам второго курса факультета вычислительной математики и кибернетики МГУ.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
