Opening book details…
Can I read Algorithmic Logic on EtoBox?
Algorithmic Logic by Mirkowska, Grażyna; Salwicki, Andrzej is a nonfiction available to read on EtoBox.
What is Algorithmic Logic about?
The purpose of this book is manyfold. It is intended both to present techniques useful in software engineering and to expose results of research on properties of these techniques. The major goal of the book is to help the reader in elaboration of his own views on foundations of computing. The present authors believe that semantics of programs will always be the necessary foundation for every student of computing. On this foundation one can construct subsequent layers of skill and knowledge in computer science. Later one discovers more questions of a different nature, e.g. on cost and optimality of algorithms. This book shall be mainly concerned with semantics. Secondly, the book aims to supply a new set of logical axioms and inference rules appropriate for reasoning about the properties of algorithms. Such tools are useful for formalizing the verification and analysis of algorithms. The tools should be of quality — they should be consistent and complete. These and similar requirements lead us toward metamathematical questions concerning the structure of algorithmic logic.
Who reads Algorithmic Logic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Mirkowska, Grażyna; Salwicki, Andrzej
- Publisher
- D. Reidel Pub. Co. ; PWN-Polish Scientific Publishers ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
- Published
- 1987
- Language
- EN
- ISBN
- 9789027719287
- Category
- nonfiction
- Subjects
- Mathematics, Science, Computer Science