Category Theory and Computer Science, David H. Pitt; Pierre-Louis Curien; Samson Abramsk

Автор: Awodey, Steve
Название: Introduction to Category Theory (Paperback)
ISBN: 0199237182 ISBN-13(EAN): 9780199237180
Издательство: Oxford Academ
Рейтинг:
Цена: 8696.00 р. 9662.00 -10%
Наличие на складе: Есть (1 шт.)
Описание: A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.

Автор: Leinster
Название: Basic Category Theory
ISBN: 1107044243 ISBN-13(EAN): 9781107044241
Издательство: Cambridge Academ
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assuming little mathematical background, this short introduction to category theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. Suitable for independent study or as a course book, it gives extensive explanations of the key concepts along with hundreds of examples and exercises.

Автор: Reinhard Kahle; Peter Schroeder-Heister; Robert St
Название: Proof Theory in Computer Science
ISBN: 354042752X ISBN-13(EAN): 9783540427520
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, and includes 13 revised papers. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, and iterate logic.

Автор: Steven Roman
Название: An Introduction to the Language of Category Theory
ISBN: 3319419161 ISBN-13(EAN): 9783319419169
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Поставка под заказ.

Описание: The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.

Автор: Eugenio Moggi; Giuseppe Rosolini
Название: Category Theory and Computer Science
ISBN: 354063455X ISBN-13(EAN): 9783540634553
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS `97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.

Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle
Название: Applications of Category Theory to Fuzzy Subsets
ISBN: 9401051569 ISBN-13(EAN): 9789401051569
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each September in Linz, Austria. Beginning with the tenth Seminar, the intimate setting was retained, but each Seminar narrowed in theme;

Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle
Название: Applications of Category Theory to Fuzzy Subsets
ISBN: 0792315111 ISBN-13(EAN): 9780792315117
Издательство: Springer
Рейтинг:
Цена: 40389.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Comprehensively describes the deeper mathematical aspects of fuzzy sets, particularly those aspects which are category-theoretic in nature. Divided into four parts, this book contains bibliography, indices, and long chapters, which make it suitable as a text for advanced graduate students.

Автор: David H. Pitt; Axel Poigne; David E. Rydeheard
Название: Category Theory and Computer Science
ISBN: 3540185089 ISBN-13(EAN): 9783540185086
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.