Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
   Авторы    Каталог книг    Издательства    Новинки    Учебная литература    Специальные предложения  Бестселлеры
 
 
Книги    
Logobook
Книги зарубежных издательств на иностранных языках
Logobook
Книги российских издательств
Logobook
Представительство в Казахстане
 
Вход в систему   
 Логин
 
 Пароль
   
Регистрация  Забыли?
 
Информация   
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
LgBook.ru
FkBook.ru
 
Online Каталоги   
Cambridge University Press
Каталог учебной литературы
по английскому языку >>>

Oxford University Press
Каталог учебной литературы
по английскому языку >>>



Каталог учебной литературы
по английскому языку >>>

Pearson ELT

Читайте отзывы покупателей и оценивайте качество магазина logobook.ru на Яндекс.Маркете

Lambda-Calculus and Combinators, J. Roger Hindley

Lambda-Calculus and Combinators

Автор: J. Roger Hindley
Название:  Lambda-Calculus and Combinators   (Лямбда-исчисление и комбинаторы)
Издательство: Cambridge Academ
Классификация:
Основы математики
Химия
Математическая теория вычисления

ISBN: 0521898854
ISBN-13(EAN): 9780521898850
ISBN: 0-521-89885-4
ISBN-13(EAN): 978-0-521-89885-0
Обложка/Формат: Hardcover
Страницы: 360
Вес: 0.61 кг.
Дата издания: 24.07.2008
Язык: ENG
Издание: 2 rev ed
Иллюстрации: 10 b/w illus. 1 table 55 exercises
Размер: 22.86 x 15.24 x 2.29 cm
Читательская аудитория: Undergraduate
Рейтинг:
Поставляется из: Англии
Описание: Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors’ previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
Описание: Keeping technical requirements to a minimum, this long-awaited new edition gives a modern account of combinatory logic and lambda-calculus models.
Дополнительное описание: Preface; 1. The ?-calculus; 2. Combinatory logic; 3. The power of ? and CL; 4. Computable functions; 5. Undecidability; 6. Formal theories; 7. Extensionality in ?-calculus; 8. Extensionality in CL; 9. Correspondence between ? and CL; 10. Simple typing, Ch


 Варианты приобретения 
  Кол-во Наличие на складе Цена р. Купить / Отложить
1 Отсутствует. Возможна поставка под заказ.
При оформлении заказа до: 17 фев 2017
Ориентировочная дата поставки: 13 мар 2017
При условии наличия книги у поставщика.
4684.00
 о цене
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Lambda-calculus, combinators and functional programming

Автор: Revesz, Gyorgy E.
Название: Lambda-calculus, combinators and functional programming
ISBN: 0521114292 ISBN-13(EAN): 9780521114295
Издательство: Cambridge Academ
Цена: 2267 р.
Наличие на складе: Поставка под заказ.
Описание: Provides computer science students and researchers with a firm background in lambda-calculus and combinators.
Купить

Lambda Calculus with Types Hardback

Автор: Henk Barendregt Wil Dekkers and Richard Statman
Название: Lambda Calculus with Types Hardback
ISBN: 0521766141 ISBN-13(EAN): 9780521766142
Издательство: Cambridge Academ
Цена: 3945 р.
Наличие на складе: Поставка под заказ.
Описание: The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and has been treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. Unexpected mathematical beauty is revealed in these three formalisms of terms and types. Numerous exercises are provided to deepen the reader's understanding and increase their confidence using types.
Купить

The Parametric Lambda Calculus / A Metamodel for Computation

Автор: Ronchi Della Rocca Simona, Paolini Luca
Название: The Parametric Lambda Calculus / A Metamodel for Computation
ISBN: 3540200320 ISBN-13(EAN): 9783540200321
Издательство: Springer
Цена: 6156 р.
Наличие на складе: Нет в наличии.
Описание: The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational.This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.
Купить

Finite Mathematics and Calculus with Applications plus MyMathLab Student Starter Kit 8 Book Cased (Hardback) plus Access Code

Автор: Margaret Lial
Название: Finite Mathematics and Calculus with Applications plus MyMathLab Student Starter Kit 8 Book Cased (Hardback) plus Access Code
ISBN: 0321454162 ISBN-13(EAN): 9780321454164
Издательство: Pearson Education
Цена: 3469 р.
Наличие на складе: Поставка под заказ.
Купить

Mathematical logic propositional calculus, booelan algebras, predicate calculus, completeness theorems

Автор: Cori, Rene Lascar, D.
Название: Mathematical logic propositional calculus, booelan algebras, predicate calculus, completeness theorems
ISBN: 0198500483 ISBN-13(EAN): 9780198500483
Издательство: Oxford Academ
Цена: 4339 р.
Наличие на складе: Нет в наличии.
Описание: The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the topic, this book provides an introduction for advanced undergraduate students. The concept of model underlies the text, giving it a theoretical coherence.
Купить

A Distributed Pi-Calculus

Автор: Matthew Hennessy
Название: A Distributed Pi-Calculus
ISBN: 0521873304 ISBN-13(EAN): 9780521873307
Издательство: Cambridge Academ
Цена: 3648 р.
Наличие на складе: Поставка под заказ.
Описание: Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.
Купить

Calculus Revisited

Автор: Carroll R.W.
Название: Calculus Revisited
ISBN: 1402010605 ISBN-13(EAN): 9781402010606
Издательство: Springer
Цена: 15835 р.
Наличие на складе: Нет в наличии.
Описание: In this book the details of many calculations are provided for access to work in quantum groups, algebraic differential calculus, noncommutative geometry, fuzzy physics, discrete geometry, gauge theory, quantum integrable systems, braiding, finite topological spaces, some aspects of geometry and quantum mechanics and gravity.
Купить

Network Calculus / A Theory of Deterministic Queuing Systems for the Internet

Автор: Le Boudec Jean-Yves, Thiran Patrick
Название: Network Calculus / A Theory of Deterministic Queuing Systems for the Internet
ISBN: 354042184X ISBN-13(EAN): 9783540421849
Издательство: Springer
Цена: 4836 р.
Наличие на складе: Нет в наличии.
Описание: Network Calculus is a set of recent developments that provide deep insights into flow problems encountered in the Internet and in intranets. The first part of the book is a self-contained, introductory course on network calculus. It presents the core of network calculus, and shows how it can be applied to the Internet to obtain results that have physical interpretations of practical importance to network engineers. The second part serves as a mathematical reference used across the book. It presents the results from Min-plus algebra needed for network calculus. The third part contains more advanced material. It is appropriate reading for a graduate course and a source of reference for professionals in networking by surveying the state of the art of research and pointing to open problems in network calculus and its application in different fields, such as mulitmedia smoothing, aggegate scheduling, adaptive guarantees in Internet differential services, renegotiated reserved services, etc.
Купить

Geometric Calculus / According to the Ausdehnungslehre of H. Grassmann

Автор: Peano Giuseppe, Kannenberg L.C.
Название: Geometric Calculus / According to the Ausdehnungslehre of H. Grassmann
ISBN: 0817641262 ISBN-13(EAN): 9780817641269
Издательство: Birkhauser Verlag AG
Цена: 8754 р.
Наличие на складе: Нет в наличии.
Описание: Calcolo Geometrico, G. Peano's first publication in mathematical logic, is a model of expository writing, with a significant impact on 20th century mathematics. Kannenberg's lucid and crisp translation, Geometric Calculus, will appeal to historians of mathematics, researchers, graduate students, and general readers interested in the foundations of mathematics and the development of a formal logical language.Despite its uniqueness, Calcolo Geometrico has been strangely neglected by historians of mathematics, and even by scholars of Peano. The book has never been reprinted in its entirety, and only two chapters have ever been translated into English. In part, this neglect has been due to Peano's organization of the work. That is, the section on mathematical logic bears almost no relation to the rest of the book, and the material there was superseded only a year after its publication by Peano's second book. Since all but this first section was generally thought to be expository rather than original work, it was regarded lightly, if noticed at all, and ultimately all but forgotten. Only in very recent years have the book's unique merits begun to be recognized.Readers of this valuable translation will gain insight into the work of a distinguished mathematician and founder of mathematical logic.
Купить

Isomorphisms of Types: / from delta-calculus to information retrieval and language design

Автор: DiCosmo Roberto
Название: Isomorphisms of Types: / from delta-calculus to information retrieval and language design
ISBN: 081763763X ISBN-13(EAN): 9780817637637
Издательство: Birkhauser Verlag AG
Цена: 8754 р.
Наличие на складе: Нет в наличии.
Купить

Computable Calculus,

Автор: Oliver Aberth
Название: Computable Calculus,
ISBN: 0120417529 ISBN-13(EAN): 9780120417520
Издательство: Elsevier Science
Цена: 5716 р.
Наличие на складе: Поставка под заказ.
Описание: Focuses on the fundamental topic of calculus. Comprising 11 chapters, this book presents mathematical analysis that has been created to deal with constructively defined concepts. It features a `show your work` approach that makes it easier to understand the pitfalls of various computations and, more importantly, how to avoid these pitfalls.
Купить

Stochastic Calculus with Infinitesimals

Автор: Herzberg
Название: Stochastic Calculus with Infinitesimals
ISBN: 3642331483 ISBN-13(EAN): 9783642331480
Издательство: Springer
Цена: 3076 р.
Наличие на складе: Нет в наличии.
Купить


 
ООО "Логосфера " Тел:(495) 748-51-16 Факс: (495) 689-73-83 доб.116 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн | | | | | | | | | | - - - - - - - - - - - - - - - - - - - -