Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

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

Компьютерные >> Программирование





Разместил: Gunpowder

8-10-2015, 14:45

Просмотров: 483





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


Название: Математическая логика и теория алгоритмов для программистов
Автор: Гринченков Д. В., Потоцкий С. И.
Издательство: КноРус
Год: 2010
Страниц: 206
Формат: PDF
Размер: 11,8 Мб
ISBN: 978-5-406-00120-2
Качество: Хорошее
Язык: Русский


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









Похожие публикации

Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов Зарипова Э.Р., Кокотчикова М.Г. - Дискретная математика. Часть III. Теория графов
В пособии излагаются основы теории графов и алгоритмов на графах. Книга является продолжением курса дискретной математики: «Часть I. Комбинаторика» и «Часть II. Математическая логика». Теория графов является частью науки дискретной математики.

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2 Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2
1. Лекции по дискретной математике. Часть I. Комбинаторика 1. В пособии излагаются основы комбинаторики и комбинаторных алгоритмов. Предназначено для студентов I, II курсов математических специальностей. Подготовлено на кафедре систем

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

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

Математическая логика и ее применения Математическая логика и ее применения
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Математическая лоrика и теория алrоритмов Математическая лоrика и теория алrоритмов
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам втoporo курса отделения компьютерных наук Омского государственноrо университета в 2002 rоду.

Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей Математика 19 века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей
Содержание: математическая логика алгебра и алгебраическая теория чисел проблемы теории чисел теория вероятностей

Сергиевская И.М. - Математическая логика и теория алгоритмов (2004|pdf) Сергиевская И.М. - Математическая логика и теория алгоритмов (2004|pdf)
Математическая логика и теория алгоритмов Математическая логика и теория алгоритмов являются основой учебного курса дискретной математики, что нашло отражение в данном учебном пособии. Учебное пособие адресовано студентам, обучающимся по

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов