Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists

Author: Benjamin C. Pierce

Publisher: MIT Press

Published: 1991-08-07

Total Pages: 117

ISBN-13: 0262326450

DOWNLOAD EBOOK

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. 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. Contents Tutorial • Applications • Further Reading

The Elements of Computing Systems
The Elements of Computing Systems

Author: Noam Nisan

Publisher:

Published: 2008

Total Pages: 343

ISBN-13: 0262640686

DOWNLOAD EBOOK

This title gives students an integrated and rigorous picture of applied computer science, as it comes to play in the construction of a simple yet powerful computer system.

Computing Fundamentals
Computing Fundamentals

Author: Faithe Wempen

Publisher: John Wiley & Sons

Published: 2014-10-06

Total Pages: 400

ISBN-13: 1118974743

DOWNLOAD EBOOK

The Basic Computing Skills You Need to Enhance Your Academic Education Computing Fundamentals provides students with the basic computing skills needed to get the most from their educational endeavors, regardless of field of study. Written by Microsoft Office Master Instructor Faithe Wempen, this detailed resource helps you develop a strong understanding of how computers work and how they affect our society. In addition to helping you master essential computing tasks such as working with operating systems, applications, and the Internet, this book also provides you with all the knowledge you need for computing basics. Learn the types of computer hardware and how they work together Understand operating systems and application software Get a complete introduction to Windows® 7 Learn the basics of Microsoft® Office applications Understand the essential technologies behind networking, the Internet, and the web Learn how to protect your online privacy and security Explore legal, ethical, and health issues of computing Each chapter includes a summary, list of key terms, and sample questions to help you master basic computer skills.

Discovering Computers - Fundamentals 2011 Edition
Discovering Computers - Fundamentals 2011 Edition

Author: Gary Shelly

Publisher: Cengage Learning

Published: 2010-02-25

Total Pages: 0

ISBN-13: 9781439079454

DOWNLOAD EBOOK

DISCOVERING COMPUTERS - FUNDAMENTALS, 2011 Edition covers the same breadth, but with less depth than Discovering Computers 2011, Complete. The text is ideal for use in a short course on computer concepts or in application software courses because of its thorough and concise coverage. Students will gain a solid understanding of the current trends in technology and computer concepts as they are applied to today’s digital world. Updated for currency, this book and the robust Online Companion provide students with the most up-to-date information on the latest technology in today’s digital world. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.