Computers

Categories and Computer Science

Author: R. F. C. Walters

Publisher: Cambridge University Press

ISBN: 9780521422260

Category: Computers

Page: 166

View: 4067

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

Introduction to Functional Programming Systems Using Haskell

Author: Antony J. T. Davie

Publisher: Cambridge University Press

ISBN: 9780521277242

Category: Computers

Page: 290

View: 4032

Here is an introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. Haskell is a new, internationally agreed and accepted functional language that is designed for teaching, research and applications, that has a complete formal description, that is freely available, and that is based on ideas that have a wide consensus. Thus it encapsulates some of the main thrusts of functional programming itself, which is a style of programming designed to confront the software crisis directly. Programs written in functional languages can be built up from smaller parts, and they can also be proved correct, important when software has to be reliable. Moreover, a certain amount of parallelism can be extracted from functional languages automatically. This book serves as an introduction both to functional programming and Haskell, and will be most useful to students, teachers and researchers in either of these areas. An especially valuable feature are the chapters on programming and implementation, along with a large number of exercises.
Computers

Basic Category Theory for Computer Scientists

Author: Benjamin C. Pierce

Publisher: MIT Press

ISBN: 9780262660716

Category: Computers

Page: 100

View: 2567

Basic Category Theory for Computer Scientists provides a straightforward presentationof the basic constructions and terminology of category theory, including limits, functors, naturaltransformations, adjoints, and cartesian closed categories.
Computers

Basic Simple Type Theory

Author: J. Roger Hindley

Publisher: Cambridge University Press

ISBN: 9780521465182

Category: Computers

Page: 186

View: 5867

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists.
Computers

Categories for Types

Author: Roy L. Crole

Publisher: Cambridge University Press

ISBN: 9780521457019

Category: Computers

Page: 335

View: 5822

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

Cambridge IGCSE Computer Science

Author: David Watson,Helen Williams

Publisher: Hodder Education

ISBN: 1471809323

Category: Computers

Page: 400

View: 5318

Endorsed by Cambridge International Examinations. Develop your students computational thinking and programming skills with complete coverage of the latest syllabus from experienced examiners and teachers. - Follows the order of the syllabus exactly, ensuring complete coverage - Introduces students to self-learning exercises, helping them learn how to use their knowledge in new scenarios Accompanying animation files of the key concepts are available to download for free online. See the Quick Links to the left to access. This book covers the IGCSE (0478), O Level (2210) and US IGCSE entry (0473) syllabuses, which are for first examination 2015. It may also be a useful reference for students taking the new Computer Science AS level course (9608).
Computers

Programming Via Pascal

Author: J. S. Rohl,H. J. Barrett

Publisher: CUP Archive

ISBN: 9780521356619

Category: Computers

Page: 329

View: 7254

Computers

Topology Via Logic

Author: Steven Vickers

Publisher: Cambridge University Press

ISBN: 9780521576512

Category: Computers

Page: 200

View: 1793

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.
Juvenile Nonfiction

Cambridge IGCSE® and O Level Computer Science Programming Book for Python

Author: Chris Roffey

Publisher: Cambridge University Press

ISBN: 1316617823

Category: Juvenile Nonfiction

Page: 216

View: 6559

This resource is written to follow the updated IGSCE® Computer Science syllabus 0478 with examination from June and November 2016. Cambridge IGCSE® and O Level Computer Science Programming Book for Python accompanies the Cambridge IGCSE and O Level Computer Science coursebook, and is suitable for students and teachers wishing to use Python in their studies. It introduces and develops practical skills to guide students in developing coding solutions to the tasks presented in the book. Starting from simple skills and progressing to more complex challenges, this book shows how to approach a coding problem using Structure Diagrams and Flow Charts, explains programming logic using pseudocode, develops Python programming skills and gives full solutions to the tasks set.
Computers

Cambridge IGCSE Computer Science Study and Revision Guide

Author: David Watson,Helen Williams

Publisher: Hodder Education

ISBN: 1471868702

Category: Computers

Page: 96

View: 3336

Providing guidance that helps students practice and troubleshoot their exam technique,these books send them into their exam with the confidence to aim for the best grades. - Enables students to avoid common misconceptions and mistakes by highlighting them throughout - Builds students' skills constructing and writing answers as they progress through a range of practice questions - Allows students to mark their own responses and easily identify areas for improvement using the answers in the back of the book - Helps students target their revision and focus on important concepts and skills with key objectives at the beginning of every chapter - Ensures that students maximise their time in the exam by including examiner's tops and suggestions on how to approach the questions This title has not been through the Cambridge International Examinations endorsement process.
Computers

Basic Proof Theory

Author: A. S. Troelstra,H. Schwichtenberg

Publisher: Cambridge University Press

ISBN: 9780521779111

Category: Computers

Page: 417

View: 1160

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: 3131

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

Cambridge IGCSE® Computer Science Programming Book

Author: Richard Morgan

Publisher: Cambridge University Press

ISBN: 1107518644

Category: Education

Page: 176

View: 8742

This new resource is written to follow the updated IGSCE Computer Science syllabus 0478 with examination in June and November 2016.
Mathematics

Applications of Categories in Computer Science

Proceedings of the London Mathematical Society Symposium, Durham 1991

Author: M. P. Fourman,P. T. Johnstone,A. M. Pitts

Publisher: Cambridge University Press

ISBN: 9780521427265

Category: Mathematics

Page: 339

View: 8042

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

Types and Programming Languages

Author: Benjamin C. Pierce

Publisher: MIT Press

ISBN: 9780262162098

Category: Computers

Page: 623

View: 6304

A comprehensive introduction to type systems and programming languages.
Juvenile Nonfiction

Cambridge International AS and A Level Computer Science Revision Guide

Author: Tony Piper

Publisher: Cambridge University Press

ISBN: 1107547547

Category: Juvenile Nonfiction

Page: 320

View: 5996

Cambridge International AS and A Level Computer Science offers a complete set of resources to accompany the 9608 syllabus. This revision guide helps students to prepare and practice skills for the Cambridge AS and A Level Computer Science examination. It contains clear explanations and key information to support learners, with additional practice questions to help students feel confident and reinforce their understanding of key concepts.
Computers

Term Rewriting and All That

Author: Franz Baader,Tobias Nipkow

Publisher: Cambridge University Press

ISBN: 9780521779203

Category: Computers

Page: 316

View: 348

Unified and self-contained introduction to term-rewriting; suited for students or professionals.