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

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






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

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

Вольфенгаген В. Э. - Комбинаторная логика в программировании

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





Разместил: ra0lhs

18-05-2013, 14:35

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





Вольфенгаген В. Э. - Комбинаторная логика в программировании


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

Название: Комбинаторная логика в программировании
Автор: Вольфенгаген В. Э.
Издательство: АО "Центр ЮрИнфоР"
ISBN: 5-89158-101-9
Год издания: 2004
Формат: pdf
Размер: 1.95 Мб
Страниц: 342










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

Емец О.А., Барболина Т.Н.   -  Комбинаторная оптимизация на размещениях Емец О.А., Барболина Т.Н. - Комбинаторная оптимизация на размещениях
В монографии изложено исспедованне методов и алгоритмов решения оптимизационных задач на размещениях с дополнительныіми ограничениями. Рассматриваются два похода к решению указанных задач: метод комбинаторного отсечения, идейно близкий методам

Сборник задач по дискретной математике Сборник задач по дискретной математике
В сборнике задач содержится краткий теоретический материал и предлагаются задачи различной степени сложности по основным разделам курса "Дискретная математика": теории множеств, бинарным отношениям, комбинаторике, теории графов, алгебре логики и

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

Гергель В. П. - Теория и практика параллельных вычислений Гергель В. П. - Теория и практика параллельных вычислений
Учебное пособие содержит материал для работы в области параллельного программирования. Дается краткая характеристика принципов построения параллельных вычислительных систем, рассматриваются математические модели параллельных алгоритмов и программ

Сборник задач по оптимизации. Теория. Примеры. Задачи Сборник задач по оптимизации. Теория. Примеры. Задачи
В книге собрано примерно 700 задач на отыскание экстремумов для конечномерного случая, для задач классического вариационного исчисления, оптимального управления и выпуклого программирования. Содержатся элементы функционального анализа,

М. Л. Краснов, А. И. Киселев, Г. И. Макаренко - Операционное исчисление. Теория устойчивости. Задачи и примеры с подробными решениями М. Л. Краснов, А. И. Киселев, Г. И. Макаренко - Операционное исчисление. Теория устойчивости. Задачи и примеры с подробными решениями
В настоящем учебном пособии авторы предлагают задачи по основным разделам операционного исчисления и теории устойчивости. В начале каждого параграфа приводятся необходимые теоретические сведения (определения, теоремы, формулы), а также подробно

Основы вариационного исчисления. Том I (в 2-х частях) Основы вариационного исчисления. Том I (в 2-х частях)
Задачи вариационного исчисления являются развитием задач о нахождении экстремума функций конечного числа переменных. Поэтому свою книгу пo вариационному исчислению мы предполагали начать с вводной главы, посвященной функциям конечного числа

Сборник задач по физике с решениями и ответами. Механика Сборник задач по физике с решениями и ответами. Механика
В сборник включены задачи, предлагавшиеся за последние годы на вступительных письменных экзаменах в МИФИ, в лицеи при МИФИ и на олимпиадах. Для основной части задач приведены решения, для задач с однотипным решением даны только ответы.

Гохман А.В. - Сборник задач по математической логике и алгебре множеств Гохман А.В. - Сборник задач по математической логике и алгебре множеств
Описание: Предлагаемый сборник задач составлен в соответствии с программой университетского курса "Элементы математической логики и алгебры множеств".




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





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

Ваше Имя:
Ваш 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

Книги




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