Computers

Categories and Computer Science

Author: R. F. C. Walters

Publisher: Cambridge University Press

ISBN: 9780521422260

Category: Computers

Page: 166

View: 9417

Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.
Mathematics

Applications of Categories in Computer Science

Proceedings of the London Mathematical Society Symposium, Durham 1991

Author: London Mathematical Society. Symposium

Publisher: Cambridge University Press

ISBN: 9780521427265

Category: Mathematics

Page: 339

View: 3635

Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory.
Computers

Categories for Software Engineering

Author: Jose Luiz Fiadeiro

Publisher: Springer Science & Business Media

ISBN: 354026891X

Category: Computers

Page: 250

View: 1308

Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.
Computers

Generic Programming

Advanced Lectures

Author: Roland Backhouse,Jeremy Gibbons

Publisher: Springer Science & Business Media

ISBN: 3540201947

Category: Computers

Page: 221

View: 8434

Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002: - Generic Haskell: Practice and Theory - Generic Haskell: Applications - Generic Properties of Datatypes - Basic Category Theory for Models of Syntax
Computers

Categories for Types

Author: Roy L. Crole

Publisher: Cambridge University Press

ISBN: 9780521457019

Category: Computers

Page: 335

View: 9068

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specializing in category theory.
Geographic information systems

Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science

International Conference COSIT'99 Stade, Germany, August 25-29, 1999 Proceedings

Author: Christian Freksa,David M. Mark

Publisher: Springer

ISBN: N.A

Category: Geographic information systems

Page: 477

View: 6460

This book constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT '99, held in Stade, Germany, in August 1999. The 30 revised full papers presented were carefully reviewed and selected from 70 submissions. The book is divided into topical sections on landmarks and navigation, route directions, abstraction and spatial hierarchies, spatial reasoning calculi, ontology of space, visual representation and reasoning, maps and routes, and granularity and qualitative abstraction.
Mathematics

Practical Foundations of Mathematics

Author: Paul Taylor

Publisher: Cambridge University Press

ISBN: 9780521631075

Category: Mathematics

Page: 572

View: 8408

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Computers

Logic, Language, Formalism, Informalism

Author: Daniel Richardson

Publisher: Itp - Media

ISBN: N.A

Category: Computers

Page: 246

View: 3830

To clarify the understanding of reasoning systems that underpin much computing theory, this text criticizes and challenges the results of formalization with the language of PROLOG. It analyzes the process of formalization, setting out to explain proof and reasoning.
Functional programming (Computer science)

Functional and Logic Programming

... Fuji International Symposium, FLOPS ..., Proceedings

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Functional programming (Computer science)

Page: N.A

View: 1008

Computers

Algebra of Programming

Author: Richard Bird,Oege de Moor

Publisher: N.A

ISBN: 9780135072455

Category: Computers

Page: 295

View: 2357

Describes an algebraic approach to programming that permits the calculation of programs. Introduces the fundamentals of algebra for programming. Presents paradigms and strategies of program construction that form the core of Algorithm Design. Discusses functions and categories; applications; relations and allegories; datatypes; recursive programs, optimization issues, thinning algorithms, dynamic programming and greedy algorithms. Appropriate for all programmers.
Computers

Topology Via Logic

Author: Steven Vickers

Publisher: Cambridge University Press

ISBN: 9780521576512

Category: Computers

Page: 200

View: 7803

This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.
Computers

Linear Logic in Computer Science

Author: Thomas Ehrhard

Publisher: Cambridge University Press

ISBN: 9780521608572

Category: Computers

Page: 381

View: 6877

This book illustrates linear logic in the application of proof theory to computer science.
Computers

Basic Proof Theory

Author: A. S. Troelstra,H. Schwichtenberg

Publisher: Cambridge University Press

ISBN: 9780521779111

Category: Computers

Page: 417

View: 3604

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Mathematics

An Introduction to Category Theory

Author: Harold Simmons

Publisher: Cambridge University Press

ISBN: 1139503324

Category: Mathematics

Page: N.A

View: 5625

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.
Mathematics

Locally Presentable and Accessible Categories

Author: J. Adamek,J. Rosicky

Publisher: Cambridge University Press

ISBN: 9780521422611

Category: Mathematics

Page: 316

View: 5476

First the concepts of [lambda]-presentable objects, locally [lambda]-presentable categories, and [lambda]-accessible categories are discussed in detail. The authors go on to prove that Freyd's essentially algebraic categories are precisely the locally presentable categories. In the final chapter they treat some advanced topics in model theory. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
Computers

Aesthetic Computing

Author: Paul A. Fishwick

Publisher: MIT Press

ISBN: 0262562375

Category: Computers

Page: 457

View: 9824

The application of the theory and practice of art to computer science: how aesthetics and art can play a role in computing disciplines.
Computers

Der Turing Omnibus

Eine Reise durch die Informatik mit 66 Stationen

Author: A.K. Dewdney

Publisher: Springer-Verlag

ISBN: 3642788726

Category: Computers

Page: 496

View: 921

Der Turing Omnibus macht in 66 exzellent geschriebenen Beitr├Ągen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.