|
Showing 1 - 25 of
45 matches in All Departments
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.
Computational models can be found everywhere in present day
science and engineering. In providing a logical framework and
foundation for the specification and design of specification
languages, Raymond Turner uses this framework to introduce and
study computable models. In doing so he presents the first
systematic attempt to provide computational models with a logical
foundation.
Computable models have wide-ranging applications from
programming language semantics and specification languages, through
to knowledge representation languages and formalism for natural
language semantics. They are also implicit in computer modelling in
many areas of physical and social science.
This detailed investigation into the logical foundations of
specification and specification languages and their application to
the definition of programming languages, coupled with a clear
exposition of theories of data and computable models as
mathematical notions will be welcomed by researchers and graduate
students.
The fundamental tenet of this Design Leadership book is that design
is a commercial and social imperative and its management and
leadership are integral parts of what can make business successful,
government effective and society safer and more enjoyable for
everyone. The text draws on Raymond Turner's extensive experience
and insights into the effective use of design as a business
resource for competitive advantage and social benefit. Raymond
brings his experience of working for iconic businesses, projects
and consultancies to provide essential, value creating, insights on
the interface between design and business. Design Leadership adopts
a straightforward approach that will be of great value to those who
influence how organisations work - the managers and chief
executives of a country's wealth creating engines. It is also of
particular relevance to those with design management and leadership
responsibilities as well as students who aim to work in these
roles. The ideas at the heart of the book concern all who shape
society and have the brief to improve our lives. Raymond Turner's
advice will help all of these readers make design work and so
become more effective more quickly.
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.
Computational models can be found everywhere in present day
science and engineering. In providing a logical framework and
foundation for the specification and design of specification
languages, Raymond Turner uses this framework to introduce and
study computable models. In doing so he presents the first
systematic attempt to provide computational models with a logical
foundation.
Computable models have wide-ranging applications from
programming language semantics and specification languages, through
to knowledge representation languages and formalism for natural
language semantics. They are also implicit in computer modelling in
many areas of physical and social science.
This detailed investigation into the logical foundations of
specification and specification languages and their application to
the definition of programming languages, coupled with a clear
exposition of theories of data and computable models as
mathematical notions will be welcomed by researchers and graduate
students.
|
You may like...
Gloria
Sam Smith
CD
R187
R177
Discovery Miles 1 770
Harry's House
Harry Styles
CD
(1)
R267
R237
Discovery Miles 2 370
|