Wararu.Ru
Категории раздела
| Активаторы [80] |
| Сборки Windows [442] |
| Софт - Программы [8135] |
| Фильмы [643] |
| Игры [345] |
| Книги-Журналы [14920] |
| Музыка [25714] |
| Всякая всячина [918] |
Наш опрос
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Поиск
Популярные новости
Наш банер
Если наш сайт был полезен, вы можете отблагодорить нас, разместив наш банер у вас на сайте.
| Главная » Файлы » Музыка |
Лекции по математической логике и теории алгоритмов: учебное пособие
| 29.07.2018, 13:28 | |
 Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов». Название: Лекции по математической логике и теории алгоритмов: учебное пособие Автор: Белов Ю. А., Соколов В. А. Издательство: Ярославль: ЯрГУ Год: 2013 Страниц: 140 Формат: DJVU Размер: 10,74 МБ ISBN: 978-5-8397-0908-9 Качество: Отличное Содержание: Введение 1. Элементы математической логики 2. Элементы теории алгоритмов Литература Скачать Лекции по математической логике и теории алгоритмов: учебное пособие Скачать с turbobit.net Скачать с hitfile.net Скачать с katfile.com Скачать с www.up-4.net | |
| html-cсылка на публикацию | |
| BB-cсылка на публикацию | |
| Прямая ссылка на публикацию |
| Всего комментариев: 0 | |
|
