Купить электронную книгу: Лекции по математической логике и теории алгоритмов: учебное пособие

Купить книгу?

Жалоба

Лекции по математической логике и теории алгоритмов: учебное пособие

938

Пожаловаться на книгу

10,74 МБ
Отзывов: пока нет ( + добавить свой )
Год издания:2013 г.
Издательство:Ярославль: ЯрГУ
Формат книги:DJVU
Жанр:Естественные науки
Кол-во страниц:140
Книгу купило:938 человек
Автор:Белов Ю. А., Соколов В. А.
Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».

Содержание:

Введение
1. Элементы математической логики
2. Элементы теории алгоритмов
Литература

Что еще прочитать?

Создай учетную запись

Регистрация Войти через ВК

Просмотрело 615

Планиметрия: виды задач и методы их решений. Элективный курс для учащихся 9-11 классов — Предлагаемый элективный курс содержит обзор, обобщение и систематизацию...

Название: Планиметрия: виды задач

Автор: Смирнова Е.С.

Категория: Естественные науки

Создай учетную запись

Регистрация Войти через ВК

Просмотрело 705

В 1923 г. в штате Нью-Йорк одна из компаний рекламировала свои творения по отделке мебели. С этой целью был создан иллюстрированный каталог продаж. Каталог содержит...

Название: Ornamental Borders,

Автор: Syracuse Ornamental

Категория: Дизайн и графика

Создай учетную запись

Регистрация Войти через ВК

Просмотрело 1 696

Вы держите в руках книгу, которая станет вашим надежным руководством для создания успешного бизнеса. Это первая книга в России, в которой всесторонне описаны современные,...

Название: Библия малого бизнеса.

Автор: Теплухин А.

Категория: Бизнес

Создай учетную запись

Регистрация Войти через ВК

Просмотрело 1 322

Иллюстрированное собрание 270 наиболее интересных и характерных видов обмундирования, которое носили действовавшие на земле, на море и в воздухе участники величайшей из...

Название: Униформа Второй мировой.

Автор: Дарман Питер

Категория: Военная история

Создай учетную запись

Регистрация Войти через ВК

Просмотрело 741

Подготовка к ЕГЭ по математике в 2017 г. Профильный уровень. Методические указания — Настоящее учебно-методическое пособие предназначено для подготовки к Единому...

Название: Подготовка к ЕГЭ по

Автор: Ященко И. В.,

Категория: Естественные науки

Комментариев

войти с помощью vk Создать аккаунт

Войти

Случайная книга