Ламбда-исчисление. Его синтаксис и семантика


Книга Ламбда-исчисление. Его синтаксис и семантика

Название: Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Издательство: Мир
Страниц: 606
Формат: PDF
Размер: 15.74 Мб
Качество: Отличное
Язык: Русский
Год издания: 1985
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики - так называемом ламбда-исчислении.
Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12693 раз

Поделиться Книгой с друзьями:





Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Теплая Птица

    Теплая Птица

    Название: Теплая Птица Автор: Василий ГавриленкоИздательство: СамиздатГод: 2012Формат: rtfРазмер: 5,3 мбКачество: ХорошееЯзык: РусскийУ любого старшего научного сотрудника любого засекреченного Инстит . . .

  • Книга Дракула

    Дракула

    Автор: Брэм СтокерНазвание: ДракулаИздательство: Детство. Отрочество. ЮностьГод: 2004Формат: djvuРазмер: 8,99 МбШироко известный роман в пересказе для подростков.Скачать с ДепозитСкачать с Турбобит . . .

  • Книга Императоръ Александръ Первый. Его жизнь и царствованiе (1-4 тома)

    Императоръ Александръ Первый. Его жизнь и царствованiе (1-4 тома)

    Название: Императоръ Александръ Первый. Его жизнь и царствованiе (1-4 тома) Автор: Шильдер Н.К. Издательство: Типография А.С. Суворина Формат: DJVU Размер: 311 Мб Качество: Отличное Язык: Русский Год . . .

  • Журнал Вышивка: просто и красиво № 6 2012

    Вышивка: просто и красиво № 6 2012

    Название: Вышивка: просто и красиво № 6 2012 Год / месяц: 2012/ июньИздательство: Газетный мирСтраниц: 35Формат: jpgРазмер: 23,6 Мб Хотите сувенир на память о летней солнечной поре? Вещи, украшенные в . . .

  • Журнал Colecao Toque de Arte Fuxico Ano 1 №2

    Colecao Toque de Arte Fuxico Ano 1 №2

    Название: Colecao Toque de Arte FuxicoНомер: Ano 1 №2Формат: jpgРазмер: 13,93 МбСтраниц: 36Язык: португальскийЖурнал посвящен созданию аксессуаров из ткани. Ко всем моделям даны пошаговые иллюстрирова . . .

  • Журнал Rotor & Wing Magazine 2012-07

    Rotor & Wing Magazine 2012-07

    Название: Rotor & Wing Magazine Издательство: Access Intelligence Год / Месяц: 2012 / июльСтраниц: 68Формат: pdfРазмер: 15,5 МбЯзык: английскийЖурнал о вертолетахdepositfiles.comrapidgator.net . . .

  • Книга Александр 3

    Александр 3

    Название: Александр 3Автор: Ланцов МихаилИздательство: СамиздатГод: 2012Страниц: 287Формат: rtfРазмер: 7,08 мбКачество: хорошееЯзык: русскийПроизошедшее пару недель назад покушение было столь неожидан . . .

  • Книга Солярные возвращения

    Солярные возвращения

    Название: Солярные возвращенияАвтор: Мерриман Р.Издательство: АкубенсГод: 2009Формат: pdfРазмер: 17.3 мбКачество: ХорошееЯзык: РусскийРэймонд А.Мерриман хорошо известен среди астрологов и астрологичес . . .

  • Книга Все о знаках Зодиака

    Все о знаках Зодиака

    Название: Все о знаках Зодиака Автор: С.Ю. Афонькин Издательство: ООО «СЗКЭО» Страниц: 112 Формат: PDF Размер: 293,0 МБ Качество: Отличное Язык: Русский Жанр: Эзотерика Год издания: 2010 I . . .

  • Книга Индия. Вступая в век XXI

    Индия. Вступая в век XXI

    Название: Индия. Вступая в век XXI Автор: Л. В. Митрохин Издательство: Политиздат Страниц: 478 Формат: DJVU Размер: 14.3Мб Качество: Отли чное Язык: Русский Год издания: 1987 Книга лауреата международ . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Ламбда-исчисление. Его синтаксис и семантика. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.