285,10 zł

Category Theory and Computer Science Springer-Verlag Berlin and Heidelberg GmbH & Co....

Książki / Literatura obcojęzyczna

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

Sklep: Libristo.pl

129,99 zł

Basic Category Theory For Computer Scientists

Książki Obcojęzyczne>Angielskie>Computing & information technology>Computer science>Mathematical theory of computation>Maths for comput...

0x01333a9100000000

Sklep: Gigant.pl

206,51 zł

Basic Category Theory for Computer Scientists MIT Press Ltd

Książki / Literatura obcojęzyczna

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

Sklep: Libristo.pl

323,99 zł

Category Theory Springer, Berlin

Książki / Literatura obcojęzyczna

With one exception, these papers are original and fully§refereed research articles on various applications of§Category Theory to Algebraic Topology, Logic and Computer§Science. The exception is an outstanding and lengthy survey§paper by Joyal/Street (80 pp) on a growing subject: it gives§an account of classical Tannaka duality in such a way as to§be accessible to the general mathematical reader, and to§provide a key for entry to more recent developments and§quantum groups. No expertise in either representation theory§or category theory is assumed. Topics such as the Fourier§cotransform, Tannaka duality for homogeneous spaces, braided§tensor categories, Yang-Baxter operators, Knot invariants§and quantum groups are introduced and studies.§From the Contents: P.J. Freyd: Algebraically complete§categories.- J.M.E. Hyland: First steps in synthetic domain§theory.- G. Janelidze, W. Tholen: How algebraic is the§change-of-base functor?.- A. Joyal, R. Street: An§introduction to Tannaka duality and quantum groups.- A.§Joyal, M. Tierney: Strong stacks andclassifying spaces.- A.§Kock: Algebras for the partial map classifier monad.- F.W.§Lawvere: Intrinsic co-Heyting boundaries and the Leibniz§rule in certain toposes.- S.H. Schanuel: Negative sets have§Euler characteristic and dimension.-

Sklep: Libristo.pl

739,85 zł

Introduction to Category Theory Cambridge University Press

Książki / Literatura obcojęzyczna

Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.

Sklep: Libristo.pl

341,68 zł

Category Theory Oxford University Press

Książki / Literatura obcojęzyczna

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership. Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists!This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

Sklep: Libristo.pl

339,99 zł

Category Theory For The Sciences

Książki Obcojęzyczne>Angielskie>Mathematics & science>Mathematics>AlgebraKsiążki Obcojęzyczne>Angielskie>Mathematics & science>Ma...

0x014d2e3900000000

Sklep: Gigant.pl

313,04 zł

Introduction to the Language of Category Theory Birkhauser Verlag AG

Książki / Literatura obcojęzyczna

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more accessible. In writing about this challenging subject, the author has brought to bear all of the experience he has gained in authoring over 30 books in university-level mathematics. ? The goal of this book is to present the five major ideas of category theory: categories, functors, natural transformations, universality, and adjoints in as friendly and relaxed a manner as possible while at the same time not sacrificing rigor. These topics are developed in a straightforward, step-by-step manner and are accompanied by numerous examples and exercises, most of which are drawn from abstract algebra. ? 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. Chapter 2 is devoted to functors and natural transformations, concluding with Yoneda's lemma. Chapter 3 presents the concept of universality and Chapter 4 continues this discussion by exploring cones, limits, and the most common categorical constructions - products, equalizers, pullbacks and exponentials (along with their dual constructions). The chapter concludes with a theorem on the existence of limits. Finally, Chapter 5 covers adjoints and adjunctions. ? Graduate and advanced undergraduates students in mathematics, computer science, physics, or related fields who need to know or use category theory in their work will find An Introduction to Category Theory to be a concise and accessible resource. It will be particularly useful for those looking for a more elementary treatment of the topic before tackling more advanced texts. ?

Sklep: Libristo.pl

558,70 zł

International Symposium on Ring Theory Birkhauser

Inne 1

Ring theory provides the algebraic underpinnings for many areas of mathematics, computer science, and physics. For example, ring theory appears in: functional analysis; algebraic topology; algebraic number theory; coding theory; and in the study of quantum theory. This volume is a collection of research papers, many presented at the 3rd Korea-China-Japan International Symposium on Ring Theory held jointly with the 2nd Korea-Japan Ring Theory Seminar, in Korea, The articles examine wide-ranging developments and methodologies in various areas, including classical Hopf algebras and quantum groups.

Sklep: Albertus.pl

293,24 zł

Basic Proof Theory Cambridge University Press

Książki / Literatura obcojęzyczna

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Sklep: Libristo.pl

105,11 zł

Topos Theory Dover Publications Inc.

Książki / Literatura obcojęzyczna

One of the best books on a relatively new branch of mathematics, this volume focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer science. Topics include internal category theory, topologies and sheaves, geometric morphisms, natural number objects, cohomology, set theory, and more. 1977 edition.

Sklep: Libristo.pl

285,10 zł

Neural and Automata Networks Springer Netherlands

Książki / Literatura obcojęzyczna

"Et moi, ... , si j'avait Sll comment en revenir. One sennce mathematics has rendered the human race. It has put common sense back je n'y serais point alle.' Jules Verne whe", it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent; therefore we may be smse'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'!ltre of this series.

Sklep: Libristo.pl

563,27 zł

Systems of Nonlinear Partial Differential Equations Springer

Książki / Literatura obcojęzyczna

'Et moi, ... , si j'avait su comment en reveru.r, One service mathematics has rendered the je n'y scrais point aIle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be sense'. Eric T. Bell able to do something with it. o. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

Sklep: Libristo.pl

285,10 zł

Neural and Automata Networks Springer Netherlands

Książki / Literatura obcojęzyczna

"Et moi, ... , si j'avait Sll comment en revenir. One sennce mathematics has rendered the human race. It has put common sense back je n'y serais point alle.' Jules Verne whe", it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent; therefore we may be smse'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'!ltre of this series.

Sklep: Libristo.pl

690,30 zł

Principles and Labs for Deep Learning Elsevier Science & Technology

Książki / Literatura obcojęzyczna

Principles and Labs for Deep Learning provides the knowledge and techniques needed to help readers design and develop deep learning models. Deep Learning techniques are introduced through theory, comprehensively illustrated, explained through the TensorFlow source code examples, and analyzed through the visualization of results. The structured methods and labs provided by Dr. Huang and Dr. Le enable readers to become proficient in TensorFlow to build deep Convolutional Neural Networks (CNNs) through custom APIs, high-level Keras APIs, Keras Applications, and TensorFlow Hub.  Each chapter has one corresponding Lab with step-by-step instruction to help the reader practice and accomplish a specific learning outcome. Deep Learning has been successfully applied in diverse fields such as computer vision, audio processing, robotics, natural language processing, bioinformatics and chemistry. Because of the huge scope of knowledge in Deep Learning, a lot of time is required to understand and deploy useful, working applications, hence the importance of this new resource. Both theory lessons and experiments are included in each chapter to introduce the techniques and provide source code examples to practice using them. All Labs for this book are placed on GitHub to facilitate the download. The book is written based on the assumption that the reader knows basic Python for programming and basic Machine Learning. Introduces readers to the usefulness of neural networks and Deep Learning methodsProvides readers with in-depth understanding of the architecture and operation of Deep Convolutional Neural NetworksDemonstrates the visualization needed for designing neural networksProvides readers with an in-depth understanding of regression problems, binary classification problems, multi-category classification problems, Variational Auto-Encoder, Generative Adversarial Network, and Object detection

Sklep: Libristo.pl

szukaj w Kangoo libristo topology and category theory in computer science 4527494

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

1. Sklepy z libristo pl topology and category theory in computer science 4527494

2. Szukaj na wszystkich stronach serwisu

t1=0.046, t2=0, t3=0, t4=0, t=0.046