The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists.

While the development of Information Technology has been obvious to all, the underpinning computer science has been less apparent. Subrata Dasgupta provides a thought-provoking introduction to the field and its core principles, considering computer science as a science of symbol processing.

Computational thinking is a lifelong skill important for succeeding in careers and life. Students especially need to acquire this skill while in school as it can assist with solving a number of complex problems that arise later in life. Therefore, the importance of teaching computational thinking and coding in early education is paramount for fostering problem-solving and creativity. Teaching Computational Thinking and Coding to Young Children discusses the importance of teaching computational thinking and coding in early education. The book focuses on interdisciplinary connections between computational thinking and other areas of study, assessment methods for computational thinking, and different contexts in which computational thinking plays out. Covering topics such as programming, computational thinking assessment, computational expression, and coding, this book is essential for elementary and middle school teachers, early childhood educators, administrators, instructional designers, curricula developers, educational software developers, researchers, educators, academicians, and students in computer science, education, computational thinking, and early childhood education.

An exploration of coding that investigates the interplay between computational abstractions and the fundamentally interpretive nature of human experience. The importance of coding in K-12 classrooms has been taken up by both scholars and educators. Voicing Code in STEM offers a new way to think about coding in the classroom--one that goes beyond device-level engagement to consider the interplay between computational abstractions and the fundamentally interpretive nature of human experience. Building on Mikhail Bakhtin's notions of heterogeneity and heteroglossia, the authors explain how STEM coding can be understood as voicing computational utterances, rather than a technocentric framing of building computational artifacts. Empirical chapters illustrate this theoretical stance by investigating different framings of coding as voicing.

Invited papers; knowledge representation and automated reasoning; tutoring systems; machine learning; neural networks; distributed AI; knowledge acquisition and knowledge bases; posters.

Introduction to Qualitative Computing; Hypercomputation in Dickson Algebras; Scales of Complexity and Linear Reachability; Singular Values for the Multiplication Maps; Computation Beyond Classical Logic; Complexification of the Arithmetic; Homotopic Deviation in Linear Algebra; The Discrete and the Continuous; Arithmetic in the Alternative Dickson Division Algebras; The Real and the Complex.

In The Physical Signature of Computation, Neal Anderson and Gualtiero Piccinini articulate and defend the robust mapping account--the most systematic, rigorous, and comprehensive account of computational implementation to date. Drawing in part from recent results in physical information theory, they argue that mapping accounts of implementation can be made adequate by incorporating appropriate physical constraints. According to the robust mapping account, the key constraint on mappings from physical to computational states--the key for establishing that a computation is physically implemented--is physical-computational equivalence: evolving physical states bear neither more nor less information about the evolving computation than do the computational states they map onto. When this highly nontrivial constraint is satisfied, among others that are spelled out as part of the account, a physical system can be said to implement a computation in a robust sense, which means that the system bears the physical signature of the computation. Anderson and Piccinini apply their robust mapping account to important questions in physical foundations of computation and cognitive science, including the alleged indeterminacy of computation, pancomputationalism, and the computational theory of mind. They show that physical computation is determinate, nontrivial versions of pancomputationalism fail, and cognition involves computation only insofar as neurocognitive systems bear the physical signature of specific computations. They also argue that both consciousness and physics outstrip computation.

Living in a networked world means never really getting to decide in any thoroughgoing way who or what enters your “space” (your laptop, your iPhone, your thermostat . . . your home). With this as a basic frame-of-reference, James J. Brown’s Ethical Programs examines and explores the rhetorical potential and problems of a hospitality ethos suited to a new era of hosts and guests. Brown reads a range of computational strategies and actors including the general principles underwriting the Transmission Control Protocol (TCP), which determines how packets of information can travel through the internet, to the Obama election campaign’s use of the power of protocols to reach voters, harvest their data, incentivize and, ultimately, shape their participation in the campaign. In demonstrating the kind of rhetorical spaces networked software establishes and the access it permits, prevents, and molds, Brown makes a major contribution to the emergent discourse of software studies as a major component of efforts in broad fields including media studies, rhetorical studies, and cultural studies.

Ad hoc and interdisciplinary, the field of interaction design claims no unified theory. Yet guidelines are needed. In essays by 26 major thinkers and designers, this book presents the rich mosaic of ideas which nourish the lively art of interaction design. The editors introduction is a critical survey of interaction design with a debt and contribut

Today's ubiquitous computing technology is imbedded in everyday objects from cars to clothes to shipping containers, whose location, context, and state can be monitored, instantly processed, and acted upon. This new volume in the "Advances in Management Information Systems" series provides an in-depth review of the state-of-the-art practices and research opportunities in a new era where information technology resides in physical space. Written for both scholars and practitioners, "Pervasive Information Systems" is organized into three sections, each investigating a distinct part of the subject. Part I focuses on the design challenges of Pervasive Information Systems (PS), and discusses issues relating to the coordination of PS through middleware structures as well as issues related to the efficient deployment of PS. Part II discusses the challenges and limitations of deploying pervasive technologies to support domestic, corporate, and public systems. Part III presents two emerging research fields of PS - design for aesthetics and PS evaluation.