Дать объявление бесплатно. Доски объявлений!
На нашем сайте вы найдете огромное количество бесплатного софта и программ, новинки игр для компьютера, можно бесплатно скачать и читать онлайн журналы,
а также скачать лучшие фото-обои и картинки для рабочего стола, много музыки mp3, бесплатно новинки и музыкальные хиты, мобильный софт игры заставки мелодии фильмы для мобилы, скачать фильмы сериалы новые музыкальные клипы разные видеоуроки самоучители видеокурсы. Скачать электронные книги, лучшие книги онлайн,
художественная литература, большой архив книг. Юмор, фото, прикольные рассказы и подборки смешных видео. Рецепты блюд, кулинарные рецепты, видео рецепты.


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

Название: Математическая логика и теория алгоритмов
Автор: Блатов И. А., Старожилова О. В.
Издательство: Самара: ПГУТИ
Год: 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



Не забудьте поделиться с друзьями:

Совет: не забудьте выставить рейтинг в данной записи - люди старались для вас!

Всего комментариев: 0

Добавить комментарий

Уважаемый посетитель, добовлять коментарии могут только зарегистрированные пользователи. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.
Присоединяйтесь

Форма для входа

Статистика посещений

Добавить новость

Статистика


OnLine
Онлайн всего: 28
Гостей: 28
Пользователей: 0

Юзеры онлайн:
Нас посетили:



© 2012 Разные статьи полезны интернет новости на vapec1.ucoz.ru
В случае копирования ссылка на источник обязательна!
Сделать бесплатный сайт с uCoz
Designed by CENTROARTS.com