Текущий раздел » » » Математическая логика и теория алгоритмов для программистов

Математическая логика и теория алгоритмов для программистов

  • Заявить о правах (Abuse)
Автор: didl3 от 2016-09-29, 17:50:04
Математическая логика и теория алгоритмов для программистовНазвание: Математическая логика и теория алгоритмов для программистов
Автор: Дмитрий Гринченков, Сергей Потоцкий
Год: 2010
Жанр: программирование, обучение
Издательство: Россия, Москва, КноРус
Язык: Русский
Формат: pdf
Качество: Отсканированные страницы (OCR)
Страниц: 208
Размер: 21 МБ

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей,а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.

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





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

Теги: программирование, обучение, книги, Математическая логика и теория алгоритмов для программистов


Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
 


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел » » » Математическая логика и теория алгоритмов для программистов

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.

В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.