Главная / Каталог книг /
Прикладные науки. Техника /
Информатика. Вычислительная техника
Combinatory logic in programming. Computations with objects through examples and exercises. — 2 - nd ed.
|
|
Автор: Wolfengagen V.E.
Год издания: 2003 ISBN: 5-89158-126-4 Количество страниц: 336
|
|
Нет в наличии Проверить наличие в магазине KnigiSoSklada.ru
|
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 A-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. А rich set of examples and exercises, including solutions, has been prepared to stimulate the self studying and to make easier the job of instructor.
|