08
окт 2015

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

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

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

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

- -- -- -

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


ПОКАЗОВ : 323

Топ-7 запрещенных книг

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

    Р.Р. Сулейманов. Методика решения учебных задач средствами программированияР.Р. Сулейманов. Методика решения учебных задач средствами программирования
    Данная книга рассматривает вопросы методики обучения программированию в школьном курсе информатики с использованием учебных задач, а также теоретические основы разработки алгоритмов и их практическую реализацию средствами программирования.
    В. Ф. Ляхович. Основы информатикиВ. Ф. Ляхович. Основы информатики
    Излагается процесс разработки основных видов алгоритмов и программ на базе оригинальной общей методики построения алгоритмов, не имеющей аналогов в России.
    Стюарт Т. Теория вычислений для программистовСтюарт Т. Теория вычислений для программистов
    Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе.
    Математическая мозаика в 30 томахМатематическая мозаика в 30 томах
    Математическая мозаика - серия книг по занимательной математике, выпускаемая издательством "Мир" в 1971-1993 годах. В 2000-х годах были переизданы несколько книг и выпущены 3 новые.
    В.И. Курбатов. Логика в вопроса и ответахВ.И. Курбатов. Логика в вопроса и ответах
    Учебное пособие построено по принципу закрепления и усвоения материала стандартного курса логики. Обучающийся найдет здесь ответы на вопросы по основным разделам курса логики.
    Н.Н. Андреев, С.П. Коновалов, Н.M. Панюнин. Математическая составляющаяН.Н. Андреев, С.П. Коновалов, Н.M. Панюнин. Математическая составляющая
    В сюжетах, собранных в книге, рассказывается как о математической «составляющей» крупнейших достижений цивилизации, так и о математической «начинке» привычных, каждодневных вещей.
    Дж. Макконнелл. Основы современных алгоритмовДж. Макконнелл. Основы современных алгоритмов
    В учебном пособии обсуждаются алгоритмы решения наиболее широко распространенных классов задач, покрывающих практически всю область программирования: поиск и сортировка, численные алгоритмы и алгоритмы на графах.
    Лукьяница А.А. , Шишкин А.Г. - Цифровая обработка видеоизображений (2009)Лукьяница А.А. , Шишкин А.Г. - Цифровая обработка видеоизображений (2009)
    Фактически это первое в России издание, посвященное видеоанализу. В нем описываются все основные этапы технологии обработки видеоизображений: разнообразные методы построения модели фона и выделения движущихся объектов, их сегментации и распознавания, а также отслеживания траекторий.
    Раскина И.В. - Логика для всех: от пиратов до мудрецовРаскина И.В. - Логика для всех: от пиратов до мудрецов
    Четырнадцатая книжка серии «Школьные математические кружки» посвящена логическим задачам и является продолжением ранее вышедшей книжки И. В. Раскиной и Д. Э. Шноля «Логические задачи» (Выпуск 11). В книжку вошли разработки десяти занятий математического кружка с примерами задач различного урорня сложности, задачами для самостоятельного решения и ме...
    В. Л. Васюков - Квантовая логикаВ. Л. Васюков - Квантовая логика
    Книга посвящена квантовой логике — интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассматривается автором монографии, прежде всего, с точки зрения логических исчислений и логической техники.
    Уникальная подборка для программистаУникальная подборка для программиста
    Не для кого не секрет, что научиться программированию не так просто как кажется и обучение должно проходить постепенно и последовательно. Чтобы стать программистом недостаточно изучить один язык, необходимо понять всю основу работы компьютера и конечно его составляющей - программы. И чтобы изучение проходило достаточно продуктивно и "безболезненно"...
    Столяров А.В. - Программирование: введение в профессию. 1. Азы программиров ...Столяров А.В. - Программирование: введение в профессию. 1. Азы программиров ...
    В первую часть книги вошли избранные сведения из истории вычислительной техники, обсуждение некоторых областей математики, непосредственно используемых программистами (таких как алгебра логики, комбинаторика, позиционные системы счисления), математических основ программирования (теория вычислимости и теория алгоритмов), принципы построения и функци...
    Математика, теория вероятности и статистика (40 томов) DJVUМатематика, теория вероятности и статистика (40 томов) DJVU
    Вашему вниманию представлена тематическая книжная подборка: Математика, теория вероятности и статистика (40 томов) в комфортном формате.
    Комбинаторика: задачи на С#. Видеокурс (2014)Комбинаторика: задачи на С#. Видеокурс (2014)
    Практическое знакомство с фундаментальными аспектами теории алгоритмов: рекурсия, комбинаторика, динамическое программирование, разбор нескольких задач по каждой теме.
    Магия чисел. Математическая мысль от Пифагора до наших днейМагия чисел. Математическая мысль от Пифагора до наших дней
    Американский математик, исследователь в области теории чисел Эрик Т. Белл посвятил свою книгу истории происхождения математической мысли и разработки численной теории с момента ее зарождения в древности до современной эпохи. Обоснованно и убедительно автор демонстрирует влияние, которое оказала «магия чисел» на развитие религии, философии, науки и ...

Рекомендуем обратить внимание

Тут Зайцев нет » Книги журналы » Математическая логика и теория алгоритмов для программистов
RSS - узнавай первый