Четверг, 26.12.2024, 21:51
Приветствую Вас Гость | RSS
Категории
Книги
Уникальные книги библиотеки бесплатно
Фильмы
Лучшие фильмы всех жанров
Софт
Скачать бесплатно программы для PC
Музыка
Музыка всех направлений
Клипы
Скачать бесплатно музыкальные клипы
Всё для мобильника
Программы и приложения для мобильника
Игры
Игры бесплатно, без регистрации
Adobe Photoshop
Всё для Photoshop
Автораздел
Автомобиль и всё что с ним связанно
Приколы
Сборник приколов нашей библиотеки
Саморазвитие
Книги, программы, статьи для саморазвития
Поиск
Статистика
Рейтинги
Календарь
Главная » Книги » Лекции по математической логике и теории алгоритмов: учебное пособие

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

Понравилась новость - поделись с друзьями:
Категория: Книги | Просмотров: 233 | Добавил: pmojka | Теги: алгоритмов, Белов, Лекции, математической, логике, теории, 2013, Соколов | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Лекции по математической логике и теории алгоритмов: учебное пособие
Форма входа
Друзья сайта
Лучшие рейтинги и обзоры техники для дома
Топ Гороскоп - Твой астрологический каталог
Рецепты с фото - Вкусняшки народов Мира

Уникальная бесплатная библиотека © 2010-2024
Design by: © GoroskopTop.Ru | Хостинг от uCoz