Category Theory and Computer Science, David H. Pitt; Axel Poigne; David E. Rydeheard

Автор: Awodey, Steve
Название: Introduction to Category Theory (Paperback)
ISBN: 0199237182 ISBN-13(EAN): 9780199237180
Издательство: Oxford Academ
Рейтинг:
Цена: 9266.00 р. 10296.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.

Автор: P.J. Hilton
Название: Category Theory, Homology Theory and Their Applications. Proceedings of the Conference Held at the Seattle Research Center of the Battelle Memorial Institute, June 24 - July 19, 1968
ISBN: 3540046119 ISBN-13(EAN): 9783540046110
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: E.G. Manes
Название: Category Theory Applied to Computation and Control
ISBN: 3540071423 ISBN-13(EAN): 9783540071426
Издательство: Springer
Рейтинг:
Цена: 3213.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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. MacLane; H. Applegate; M. Barr; E. Day; E. Dubu
Название: Reports of the Midwest Category Seminar IV
ISBN: 3540049266 ISBN-13(EAN): 9783540049265
Издательство: Springer
Рейтинг:
Цена: 3487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: John C. Oxtoby
Название: Measure and Category
ISBN: 1468493418 ISBN-13(EAN): 9781468493412
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Oxtoby Bryn Mawr, April 1980 Preface to the First Edition This book has two main themes: the Baire category theorem as a method for proving existence, and the "duality" between measure and category.

Автор: Alexander S. Kulikov; Gerhard J. Woeginger
Название: Computer Science – Theory and Applications
ISBN: 3319341707 ISBN-13(EAN): 9783319341705
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. proof theory and applications of logic to computer science;

Автор: Pascal Weil
Название: Computer Science – Theory and Applications
ISBN: 3319587463 ISBN-13(EAN): 9783319587462
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. combinatorics in computer science; applications of logic to computer science, e.g.

Автор: Bernhard Steffen; Christel Baier; Mark van den Bra
Название: SOFSEM 2017: Theory and Practice of Computer Science
ISBN: 331951962X ISBN-13(EAN): 9783319519623
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. graph theory and scheduling algorithms; quantum and matrix algorithms; algorithms for strings and formal languages;

Автор: 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.

Автор: 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.

Автор: 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.