Wararu.Ru
Категории раздела
| Активаторы [80] |
| Сборки Windows [442] |
| Софт - Программы [8135] |
| Фильмы [643] |
| Игры [345] |
| Книги-Журналы [14920] |
| Музыка [25753] |
| Всякая всячина [920] |
Наш опрос
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Поиск
Популярные новости
Наш банер
Если наш сайт был полезен, вы можете отблагодорить нас, разместив наш банер у вас на сайте.
| Главная » Файлы » Музыка |
Математическая логика и теория алгоритмов
| 24.11.2018, 11:48 | |
 Математическая логика и теория алгоритмов — В настоящее время в связи с бурным развитием информатики, программирования и исследованиями в области искусственного интеллекта значение логики существенно возросло, особенно в прикладном плане. Пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Пособие предназначено для студентов направления подготовки «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Название: Математическая логика и теория алгоритмов Автор: Блатов И. А., Старожилова О. В. Издательство: Самара: ПГУТИ Год: 2017 Страниц: 214 Формат: DJVU Размер: 30,26 МБ Качество: отличное Язык: русский Содержание: Введение Глава 1 Классическая логика Глава 2 Логика высказываний Глава 3 Формальные теории Глава 4 Система аксиом исчисления высказываний Глава 5 Понятие вывода Глава 6 Связь между АВ и ИВ Глава 7 Автоматическое доказательство теорем Глава 8 Теории первого порядка Глава 9 Понятие формулы логики предикатов Глава 10 Нормальные формы ЛП Глава 11 Аксиомы и правила вывода исчисления предикатов Глава12 Неклассические логики Глава 13 Многозначные логики Глава 14 Общие сведения об алгоритмах Глава 15 Рекурсивные функции Глава 16 Сложность алгоритмов Глава 17 Машины Тьюринга-Поста Глоссарий Список литературы Скачать Математическая логика и теория алгоритмов Скачать с turbobit.net Скачать с salefiles.com Скачать с katfile.com Скачать с file-upload.com | |
| html-cсылка на публикацию | |
| BB-cсылка на публикацию | |
| Прямая ссылка на публикацию |
| Всего комментариев: 0 | |
|
