Download or read book Noh written by Ernest Fenollosa and published by . This book was released on 1917 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book On a Method of Multiprogramming written by W.H.J. Feijen and published by Springer Science & Business Media. This book was released on 1999-06-11 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
Download or read book On the Shape of Mathematical Arguments written by A. J. M. Gasteren and published by Springer Science & Business Media. This book was released on 1990-07-24 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.
Download or read book Program Construction written by F.L. Bauer and published by Springer. This book was released on 2005-11-23 with total page 661 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Euler written by William Dunham and published by American Mathematical Society. This book was released on 2022-01-13 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: Leonhard Euler was one of the most prolific mathematicians that have ever lived. This book examines the huge scope of mathematical areas explored and developed by Euler, which includes number theory, combinatorics, geometry, complex variables and many more. The information known to Euler over 300 years ago is discussed, and many of his advances are reconstructed. Readers will be left in no doubt about the brilliance and pervasive influence of Euler's work.
Download or read book Calculating Instruments and Machines written by Douglas R. Hartree and published by Cambridge University Press. This book was released on 2012-09-27 with total page 151 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published in 1950, this book was based on a short series of lectures given by the author at the University of Illinois in 1948. Aimed at the non-specialist, the chief aim of the text was to provide a general introduction to contemporary developments in the field of calculating instruments and machines. But there is some treatment of the historical side of the subject, with appreciation shown for the vision and foresight of key pioneers Charles Babbage and Lord Kelvin. This is a concise and informative volume that will be of value to anyone with an interest in the development and history of computation.
Download or read book The Science of Programming written by David Gries and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: Describes basic programming principles and their step-by- step applications.Numerous examples are included.
Download or read book A Logical Approach to Discrete Math written by David Gries and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 517 pages. Available in PDF, EPUB and Kindle. Book excerpt: Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.
Download or read book History of Computing in the Twentieth Century written by Nicholas Metropolis and published by Elsevier. This book was released on 2014-06-28 with total page 714 pages. Available in PDF, EPUB and Kindle. Book excerpt: History of Computing in the Twentieth Century
Download or read book Software Pioneers written by Manfred Broy and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 714 pages. Available in PDF, EPUB and Kindle. Book excerpt: A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote below: A well-defined segmentation of the project effort ensures system modularity. Each task fonos a separate, distinct program module. At implementation time each module and its inputs and outputs are well-defined, there is no confusion in the intended interface with other system modules. At checkout time the in tegrity of the module is tested independently; there are few sche duling problems in synchronizing the completion of several tasks before checkout can begin. Finally, the system is maintained in modular fashion; system errors and deficiencies can be traced to specific system modules, thus limiting the scope of detailed error searching. Usually nothing is said about the criteria to be used in dividing the system into modules. This paper will discuss that issue and, by means of examples, suggest some criteria which can be used in decomposing a system into modules. A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) allow one modu1e to be written with little knowledge of the code in another module, and (2) alJow modules to be reas sembled and replaced without reassembly of the whole system.
Download or read book The Origins of Digital Computers written by B. Randell and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: My interest in the history of digital computers became an active one when I had the fortune to come across the almost entirely forgotten work of PERCY LUDGATE, who designed a mechanical program-controlled computer in Ireland in the early I ':ICC's. I undertook an investigation of his life and work, during which I began to realise that a large number of early developments, which we can now see as culminating in the modern digital computer, had been most undeservedly forgotten. Hopefully, historians of science, some of whom are now taking up the subject of the development of the computer and accumulating valuable data, particularly about the more recent events from the people concerned, will before too long provide us with comprehensive analytical accounts of the invention of the computer. The present book merely aims to bring together some of the more important and interesting written source material for such a history of computers. (Where necessary, papers have been translated into English, but every attempt has been made to retain the flavour of the original, and to avoid possibly misleading use of modern computing terminology.
Download or read book The Development of Mathematics written by E. T. Bell and published by Courier Corporation. This book was released on 2012-09-11 with total page 657 pages. Available in PDF, EPUB and Kindle. Book excerpt: Time-honored study by a prominent scholar of mathematics traces decisive epochs from the evolution of mathematical ideas in ancient Egypt and Babylonia to major breakthroughs in the 19th and 20th centuries. 1945 edition.
Download or read book From Erd s to Kiev Problems of Olympiad Caliber written by Ross Honsberger and published by American Mathematical Soc.. This book was released on 2020-07-29 with total page 275 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ross Honsberger's love of mathematics comes through very clearly in From Erdös to Kiev. He presents intriguing, stimulating problems that can be solved with elementary mathematical techniques. It will give pleasure to motivated students and their teachers, but it will also appeal to anyone who enjoys a mathematical challenge. Most of the problems in the collection have appeared on national or international Olympiads or other contests. Thus, they are quite challenging (with solutions that are all the more rewarding). The solutions use straightforward arguments from elementary mathematics (often not very technical arguments) with only the occasional foray into sophisticated or advanced ideas. Anyone familiar with elementary mathematics can appreciate a large part of the book. The problems included in this collection are taken from geometry, number theory, probability, and combinatorics. Solutions to the problems are included.
Download or read book The Magic of Numbers written by Eric Temple Bell and published by Courier Corporation. This book was released on 2014-06-10 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: Superb, stimulating account of origins of mathematical thought and development of numerical theory. Probes the work of Pythagoras, Galileo, Berkeley, Einstein, and others, exploring influence of "number magic" on religion, philosophy, science, mathematics.
Download or read book Descartes Dream written by Philip J. Davis and published by Courier Corporation. This book was released on 2005-01-01 with total page 354 pages. Available in PDF, EPUB and Kindle. Book excerpt: These provocative essays take a modern look at the 17th-century thinker's dream, examining the influences of mathematics on society, particularly in light of technological advances. They survey the conditions that elicit the application of mathematic principles; the applications' effectiveness; and how applied mathematics transform perceptions of reality. 1987 edition.
Download or read book Parallel Program Design written by K. Mani Chandy and published by Addison Wesley Publishing Company. This book was released on 1988 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mathematics of Computing -- Parallelism.
Download or read book Mathematics written by E. T. Bell and published by Mathematical Association of America. This book was released on 1996-09-05 with total page 463 pages. Available in PDF, EPUB and Kindle. Book excerpt: An absorbing account of pure and applied mathematics from the geometry of Euclid to that of Riemann, and its application in Einstein's theory of relativity. The twenty chapters cover such topics as: algebra, number theory, logic, probability, infinite sets and the foundations of mathematics, rings, matrices, transformations, groups, geometry, and topology. Mathematics was republished in 1987 with corrections and an added foreword by Martin Gardner.
