
Design Theory and Computer Science by Subrata Dasgupta
The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The central question posed by the author is whether or not we can construct a theory of design. This book concentrates upon the relationship between design, mathematics and science and thus its audience must include designers and software designers as well as computer scientists.-
The Optimal Implementation of Functional Programming Languages
-
Mathematics for Computer Graphics
-
The Clausal Theory of Types
-
Basic Proof Theory
-
Process Algebra
-
Nonmonotonic Reasoning
-
Applications of Process Algebra
- Reasoning about Gossip
-
Belief Revision
-
Mathematical Theory of Domains
-
Process Algebra: Equational Theories of Communicating Processes
-
Initial Algebras and Terminal Coalgebras
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
Finite-State Techniques
-
Higher Order Logic and Hardware Verification
-
Formal Methods in Artificial Intelligence
-
Hybrid Graph Theory and Network Analysis
-
Data Refinement
-
Lambda-calculus, Combinators and Functional Programming
-
A Unifying Framework for Structured Analysis and Design Models
-
Concurrency Verification
-
Nets, Terms and Formulas
-
Computational Learning Theory
-
Metamathematics, Machines and Goedel's Proof
-
Formal Specification and Design
-
The Logic of Typed Feature Structures
-
Free Choice Petri Nets
-
Two-Level Functional Languages
-
Basic Simple Type Theory
-
Term Rewriting Systems
-
The Uncertain Reasoner's Companion
-
Deductive and Declarative Programming
-
Information Flow
-
Domains and Lambda-Calculi
-
Formal Semantics and Pragmatics for Natural Language Querying
"The book is scholarly and clearly writtenThe subject matter is important and of topical interest for AI, and the book offers thought-provoking theses. Those interested in design should take a look at it." B. Chandrasekaran, IEEE Expert
"...a good critical survey of various approaches, which will teach computer scientists what design is, what the problems are, and what possible solutions have been proposed." V. Kre^D&inovich, Computing Reviews
"...marvelously written, full of easy to follow examples, often worked out in great detail, with clear statements of the author's conclusions...draws from a broad knowledge of the literature, and might serve as a starting point for anybody interested in the challenges of the intellectual triangle of design, mathematics, and science...never in danger of becoming shallow...for anyone in computer science and in software who also wants to know about alternatives to his or her cherished mode of design without expecting recipes, this book is highly recommended." Frieder Nake, Languages of Design
"...a good critical survey of various approaches, which will teach computer scientists what design is, what the problems are, and what possible solutions have been proposed." V. Kre^D&inovich, Computing Reviews
"...marvelously written, full of easy to follow examples, often worked out in great detail, with clear statements of the author's conclusions...draws from a broad knowledge of the literature, and might serve as a starting point for anybody interested in the challenges of the intellectual triangle of design, mathematics, and science...never in danger of becoming shallow...for anyone in computer science and in software who also wants to know about alternatives to his or her cherished mode of design without expecting recipes, this book is highly recommended." Frieder Nake, Languages of Design
Dasgupta, Subrata: -
Subrata Dasgupta is a scholar, teacher, and writer. He holds the Computer Science Trust Fund Eminent Scholar Chair in the School of Computing & Informatics at the University of Louisiana at Lafayette. For the past thirty years he has studied and written on the historical, philosophical, and cognitive nature of creativity in various fields including computer science, design, technology, art, natural science, and intellectual movements. He is the author of many books, including It Began with Babbage and Computer Science: A Very Short Introduction.
| SKU | Unavailable |
| ISBN 13 | 9780521118156 |
| ISBN 10 | 0521118158 |
| Title | Design Theory and Computer Science |
| Author | Subrata Dasgupta |
| Series | Cambridge Tracts In Theoretical Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2009-08-06 |
| Number of pages | 452 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |








































