ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

"ЮрИнфоР®" >>> Библиотека ЮрИнфоР® >>>

Combinatory logic in programming. Computations with objects through examples and exercises


Обложка. Крупно.
ISBN 5-89158-126-4
2003. 336 c.
ББК 32.97
УДК 004
Мягкий переплет.
 
Цена 1
484.00
Цена 2
876.00
Цены действительны до
31.05.2015
Цена 1 с учетом НДС
Цена 2 с учетом почтовых расходов по РФ и НДС.


Аннотация


Как приобрести


См. также

Wolfengagen V.E.

The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science.

The book introduces a reader to the conceptual framework for thinking about computations with the objects. The several areas of theoretical computer science are covered, including the following: type free and typed lambda-calculus and combinatory logic with applications, evaluation of expressions, computations in a category. The topics, covered in the book accumulated much experience in teaching these subjects in graduate computer science courses.

A rich set of examples and exercises, including solutions, has been prepared to stimulate the self studying and to make easier the job of instructor.


См. также

Wolfengagen V.E. Applicative computing. Its quarks, atoms and molecules. Edited by Dr. L.Yu.Ismailova.

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)

Система Orphus
Рекомендовать

Ru | En | Ch

<-- -->
Обложки книг
Книгоиздание
Новинки
Подписные книги
Рецензии
Предложения
Наши координаты
Книготорговля
Книги по годам
Скидки
Цены (.html)
Где и как купить
Подписка на новости
Новинка
Вольфенгаген В.Э. Парадигма функционально- го программирова- ния. Под ред. к.т.н. Л.Ю.Исмаиловой
Новинка
Аппликативные вычислительны- е системы: Труды 2-й международной- конференции по аппликативны- м вычислительным системам (АВС'2010), Москва, 29-31 октября 2010 г. / Под ред. Л.Ю.Исмаиловой
Новинка
Вольфенгаген В.Э. Аппликативные вычислитель- ные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента. / Под ред. Л.Ю.Исмаиловой


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2017