D-Mir2009
Меню сайта
Категории раздела
Video [254]
Фильмы и другие видеоматериалы
Music [26010]
Музыка
Programs [519]
Программы для компьютера и не только
Others [28324]
Другое
Мини-чат
Наш опрос
Оцените мой сайт
Всего ответов: 29
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » 2018 » Июль » 29 » Лекции по математической логике и теории алгоритмов: учебное пособие
12:28
Лекции по математической логике и теории алгоритмов: учебное пособие

Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».

Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю. А., Соколов В. А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
Формат: DJVU
Размер: 10,74 МБ
ISBN: 978-5-8397-0908-9
Качество: Отличное

Содержание:

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

Скачать Лекции по математической логике и теории алгоритмов: учебное пособие
Скачать с turbobit.net
Скачать с hitfile.net
Скачать с katfile.com
Скачать с www.up-4.net
Категория: Others | Просмотров: 77 | Добавил: pmojka | Теги: Белов, математической, 2013, алгоритмов, лекции, теории, Соколов, логике | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Вход на сайт
Поиск
Календарь
«  Июль 2018  »
ПнВтСрЧтПтСбВс
      1
2345678
9101112131415
16171819202122
23242526272829
3031
Архив записей
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2021