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

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

Название: Математическая логика и теория алгоритмов для программистов
Год издания: 2010
Автор: Д.В. Гринченков
Издательство: КноРус
Количество страниц: 206
Формат: PDF
Язык: Русский
Размер: 10 Mb

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

Скачать с Nitroflare.com

Скачать с Turbobit.net

Скачать с Unibytes.com

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

Процедура регистрации бесплатна и займет у вас всего пару минут!
После регистрации вам станет доступна информация скрытя фразой: "Внимание! У вас нет прав для просмотра скрытого текста."

Похожие новости:

Машинное обучение. Наука и искусство построения алгоритмов, которые извлекают знания из данных
Перед вами один из самых интересных учебников по машинному обучению - разделу искусственного интеллекта, изучающего методы построения моделей, способных обучаться, и алгоритмов для их построения.

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

Цифровая обработка видеоизображений
В книге рассматривается широкий круг алгоритмов, применяемых для решения важных практических задач: детектирование оставленных предметов, выделение на изображениях объектов заданных классов, таких как человеческие лица, транспортные средства, автомобильные номера, очаги дыма и огня. При этом дается детальное описание алгоритмов с использованием

Алгоритмы. Просто как дважды два
Программирование невозможно без знания языков программирования, но не менее невозможно оно без знания алгоритмов. Эта книга познакомит вас со многими алгоритмами для решения часто встречающихся в программистской практике задач. В книге собраны самые разные алгоритмы — от сортировки и работы с графами до численных методов и работы с календарем;

Алгоритмы и программы. Решение олимпиадных задач
В книге обсуждаются методы решения различных задач по программированию, знание которых будет полезно во многих ситуациях. Затронуты также также технические вопросы: структурное кодирование и использование подпрограмм, элементы стиля, отладки и тестирования, использование режимов компиляции, организация ввода данных. Особое внимание уделено анализу

FAQ Как скачать?