Среда, 19.12.2018, 10:48
Видео для мобильных телефонов
Главная Регистрация Вход
Приветствую Вас, Гость · RSS
Поиск
Форма входа

Меню сайта
Жанр
онлайн
боевик
детектив
детская
история
мистика
приключения
поэзия
триллер
религия
фантастика
фентези
художественная
юмор
разное
Наш опрос
В каком формате искали нужное Вам видео на сайте?
Всего ответов: 106
Мини-чат
Теги
Сегодня были
zyzy, pmojka
Статистика
Счетчик PR-CY.Rank Яндекс.Метрика
Онлайн всего: 2
Гостей: 1
Пользователей: 1
zyzy
 Библиотека аудиокниг
Главная » Аудиокниги » разное

Скачать аудиокнигу Математическая логика и теория алгоритмов

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

Название: Математическая логика и теория алгоритмов
Автор: Блатов И. А., Старожилова О. В.
Издательство: Самара: ПГУТИ
Год: 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
Категория: разное | Добавил: pmojka (24.11.2018)
Просмотров: 10 | Теги: Старожилова, математическая, алгоритмов, логика, 2017, Блатов, теория | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Портал mobil-videoplaneta.ru предлагает вашему вниманию аудиокнигу Математическая логика и теория алгоритмов, которую можно слушать в формате аудио mp3 на мобильнике, PSP, iPhon, iPod, iPad и др. устройствах.
Аудиокнигу Математическая логика и теория алгоритмов можно бесплатно скачать по ссылкам, указанным на сайте нашими пользователями.
Также Математическая логика и теория алгоритмов можно бесплатно слушать онлайн.
Этот материал размещен на сайте mobil-videoplaneta.ru нашими пользователями и предоставлен для скачивания не с наших серверов, поэтому мы не несём ответственности за выложенные материалы,
не проводим проверку размещенных здесь материалов и не несем ответственности за их содержание и соответствие законодательству или безопасность их использования.
Все конфликтные материалы могут быть удалены по просьбе правообладателей.
Рекомендуем посмотреть
Гаррисон Гарри - Рождение Стальной Крысы / онлайн 

Гришэм Джон - Вердикт (Аудиокнига) 

Мстители: Эра Альтрона / Avengers: Age of Ultron (2015) BDRip 

Абдуллаев Чингиз - Тверской бульвар (Аудиокнига) 


Copyright MyCorp © 2018
Сайты WebGrup
Фильмы в мобильном формате мр4 320х240

Огромный мир полезных файлов - у нас есть все!

Развлекательный мобильный портал

Учим на отлично! - образовательный сайт

Реклама на сайтах WebGrup

Празднички
Если запуск java у вас включен, то рекомендую обратиться к источнику информера: Информер праздников, событий и знаменательных дат.
Возможно, Вы найдете решение.
Игры
WRC 4: FIA World Rally Championship (2013/PC/Eng) RePack by =Чувак= 

Joust Legend [v1.0, Симулятор, iOS 4.3] 

Cabelas African Safari (2007) (ENG) (PSP) 

аудиокниги
Волков Сергей - Чингисхан. Книга 1. Повелитель страха (Фантастика,Аудиокнига) 

Боуден Оливер - Кредо Ассасина. Откровения (Фантастика,Аудиокнига) 

Чернецов Андрей и др. - Лара Крофт.Трилогия (Приключения,Аудиокнига) 

Бесплатный конструктор сайтов - uCoz