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


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

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



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

Pearson ELT

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

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
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: 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 version is thoroughly revised and offers an 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.
Дополнительное описание:


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

Отзывы покупателей.
Добавить отзыв.
Lambda Calculus with Types

Автор: Barendregt
Название: Lambda Calculus with Types
ISBN: 0521766141 ISBN-13(EAN): 9780521766142
Издательство: Cambridge Academ
Цена: 5434 р.
Наличие на складе: Поставка под заказ.
Описание: 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
Цена: 5387 р.
Наличие на складе: Нет в наличии.
Описание: 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
Цена: 3856 р.
Наличие на складе: Поставка под заказ.
Описание: 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.
Купить

Calculus Revisited

Автор: Carroll R.W.
Название: Calculus Revisited
ISBN: 1402010605 ISBN-13(EAN): 9781402010606
Издательство: Springer
Цена: 13857 р.
Наличие на складе: Нет в наличии.
Описание: 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.
Купить

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
Цена: 7659 р.
Наличие на складе: Нет в наличии.
Описание: 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
Цена: 7659 р.
Наличие на складе: Нет в наличии.
Купить

Computable Calculus,

Автор: Oliver Aberth
Название: Computable Calculus,
ISBN: 0120417529 ISBN-13(EAN): 9780120417520
Издательство: Elsevier Science
Цена: 5002 р.
Наличие на складе: Поставка под заказ.
Описание: 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
Цена: 2692 р.
Наличие на складе: Нет в наличии.
Купить

The Pi-Calculus

Автор: Davide Sangiorgi
Название: The Pi-Calculus
ISBN: 0521543274 ISBN-13(EAN): 9780521543279
Издательство: Cambridge Academ
Цена: 4820 р.
Наличие на складе: Поставка под заказ.
Описание: Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.
Купить

Typed Lambda Calculi and Applications

Автор: Pierre-Louis Curien
Название: Typed Lambda Calculi and Applications
ISBN: 3642022723 ISBN-13(EAN): 9783642022722
Издательство: Springer
Цена: 6698 р.
Наличие на складе: Нет в наличии.
Купить

Domains and Lambda-Calculi

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521062926 ISBN-13(EAN): 9780521062923
Издательство: Cambridge Academ
Цена: 4206 р.
Наличие на складе: Поставка под заказ.
Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.
Купить


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