The Science of Computing

The Science of Computing PDF Author: Matti Tedre
Publisher: CRC Press
ISBN: 1482217694
Category : Computers
Languages : en
Pages : 294

Get Book

Book Description
The identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline? By describing the mathematical, engineering, and scientific traditions of computing, The Science of Computing: Shaping a Discipline presents a rich picture of computing from the viewpoints of the field’s champions. The book helps readers understand the debates about computing as a discipline. It explains the context of computing’s central debates and portrays a broad perspective of the discipline. The book first looks at computing as a formal, theoretical discipline that is in many ways similar to mathematics, yet different in crucial ways. It traces a number of discussions about the theoretical nature of computing from the field’s intellectual origins in mathematical logic to modern views of the role of theory in computing. The book then explores the debates about computing as an engineering discipline, from the central technical innovations to the birth of the modern technical paradigm of computing to computing’s arrival as a new technical profession to software engineering gradually becoming an academic discipline. It presents arguments for and against the view of computing as engineering within the context of software production and analyzes the clash between the theoretical and practical mindsets. The book concludes with the view of computing as a science in its own right—not just as a tool for other sciences. It covers the early identity debates of computing, various views of computing as a science, and some famous characterizations of the discipline. It also addresses the experimental computer science debate, the view of computing as a natural science, and the algorithmization of sciences.

The Science of Computing

The Science of Computing PDF Author: Matti Tedre
Publisher: CRC Press
ISBN: 1482217694
Category : Computers
Languages : en
Pages : 294

Get Book

Book Description
The identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline? By describing the mathematical, engineering, and scientific traditions of computing, The Science of Computing: Shaping a Discipline presents a rich picture of computing from the viewpoints of the field’s champions. The book helps readers understand the debates about computing as a discipline. It explains the context of computing’s central debates and portrays a broad perspective of the discipline. The book first looks at computing as a formal, theoretical discipline that is in many ways similar to mathematics, yet different in crucial ways. It traces a number of discussions about the theoretical nature of computing from the field’s intellectual origins in mathematical logic to modern views of the role of theory in computing. The book then explores the debates about computing as an engineering discipline, from the central technical innovations to the birth of the modern technical paradigm of computing to computing’s arrival as a new technical profession to software engineering gradually becoming an academic discipline. It presents arguments for and against the view of computing as engineering within the context of software production and analyzes the clash between the theoretical and practical mindsets. The book concludes with the view of computing as a science in its own right—not just as a tool for other sciences. It covers the early identity debates of computing, various views of computing as a science, and some famous characterizations of the discipline. It also addresses the experimental computer science debate, the view of computing as a natural science, and the algorithmization of sciences.

Computing Handbook

Computing Handbook PDF Author: Teofilo Gonzalez
Publisher: CRC Press
ISBN: 1439898537
Category : Computers
Languages : en
Pages : 2326

Get Book

Book Description
The first volume of this popular handbook mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing Machinery (ACM) and the IEEE Computer Society (IEEE-CS). Written by established leading experts and influential young researchers, it examines the elements involved in designing and implementing software, new areas in which computers are being used, and ways to solve computing problems. The book also explores our current understanding of software engineering and its effect on the practice of software development and the education of software professionals.

Kicking Butt in Computer Science

Kicking Butt in Computer Science PDF Author: Carol Frieze
Publisher: Dog Ear Publishing
ISBN: 1457539276
Category : Business & Economics
Languages : en
Pages : 142

Get Book

Book Description
Are women really kicking butt in computer science? National statistics show little progress in the participation of women in computing; this in spite of numerous studies, reports and recommendations on the topic. Some might say the reasons for the situation remain a mystery. However, at Carnegie Mellon University we do not believe that the situation is either so mysterious or such an intractable problem. Indeed, women are kicking butt in computer science in some cultures and environments. This book tells the Carnegie Mellon story, a positive story of how one school developed a culture and environment in which both women and men could thrive and be successful in computer science.

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists PDF Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 0262326450
Category : Computers
Languages : en
Pages : 117

Get Book

Book Description
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

Explorations in Computing

Explorations in Computing PDF Author: John S. Conery
Publisher: CRC Press
ISBN: 1466572450
Category : Computers
Languages : en
Pages : 435

Get Book

Book Description
An Active Learning Approach to Teaching the Main Ideas in Computing Explorations in Computing: An Introduction to Computer Science and Python Programming teaches computer science students how to use programming skills to explore fundamental concepts and computational approaches to solving problems. Tbook gives beginning students an introduction to

The Green Computing Book

The Green Computing Book PDF Author: Wu-chun Feng
Publisher: CRC Press
ISBN: 1439819874
Category : Computers
Languages : en
Pages : 358

Get Book

Book Description
State-of-the-Art Approaches to Advance the Large-Scale Green Computing Movement Edited by one of the founders and lead investigator of the Green500 list, The Green Computing Book: Tackling Energy Efficiency at Large Scale explores seminal research in large-scale green computing. It begins with low-level, hardware-based approaches and then traverses up the software stack with increasingly higher-level, software-based approaches. In the first chapter, the IBM Blue Gene team illustrates how to improve the energy efficiency of a supercomputer by an order of magnitude without any system performance loss in parallelizable applications. The next few chapters explain how to enhance the energy efficiency of a large-scale computing system via compiler-directed energy optimizations, an adaptive run-time system, and a general prediction performance framework. The book then explores the interactions between energy management and reliability and describes storage system organization that maximizes energy efficiency and reliability. It also addresses the need for coordinated power control across different layers and covers demand response policies in computing centers. The final chapter assesses the impact of servers on data center costs.

Guide to Scientific Computing in C++

Guide to Scientific Computing in C++ PDF Author: Joe Pitt-Francis
Publisher: Springer Science & Business Media
ISBN: 1447127366
Category : Computers
Languages : en
Pages : 257

Get Book

Book Description
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises. Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style to minimize the introduction of errors into code; presents a practical introduction to procedural programming in C++, covering variables, flow of control, input and output, pointers, functions, and reference variables; exhibits the efficacy of classes, highlighting the main features of object-orientation; examines more advanced C++ features, such as templates and exceptions; supplies useful tips and examples throughout the text, together with chapter-ending exercises, and code available to download from Springer.

The Elements of Computing Systems

The Elements of Computing Systems PDF Author: Noam Nisan
Publisher:
ISBN: 0262640686
Category : Computers
Languages : en
Pages : 343

Get Book

Book Description
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.

Modelling Computing Systems

Modelling Computing Systems PDF Author: Faron Moller
Publisher:
ISBN:
Category :
Languages : en
Pages : 500

Get Book

Book Description
This title explores concepts of games and strategies to provide a paradigm for understanding the nature of computation and provides an elementary introduction to the mathematics and modelling of computing systems through exercises and examples, giving readers the opportunities to test their understanding and broaden their knowledge.

From Computing to Computational Thinking

From Computing to Computational Thinking PDF Author: Paul S. Wang
Publisher: CRC Press
ISBN: 148221766X
Category : Computers
Languages : en
Pages : 266

Get Book

Book Description
Computational Thinking (CT) involves fundamental concepts and reasoning, distilled from computer science and other computational sciences, which become powerful general mental tools for solving problems, increasing efficiency, reducing complexity, designing procedures, or interacting with humans and machines. An easy-to-understand guidebook, From Computing to Computational Thinking gives you the tools for understanding and using CT. It does not assume experience or knowledge of programming or of a programming language, but explains concepts and methods for CT with clarity and depth. Successful applications in diverse disciplines have shown the power of CT in problem solving. The book uses puzzles, games, and everyday examples as starting points for discussion and for connecting abstract thinking patterns to real-life situations. It provides an interesting and thought-provoking way to gain general knowledge about modern computing and the concepts and thinking processes underlying modern digital technologies.