Selected Writings on Computing: A personal Perspective

Selected Writings on Computing: A personal Perspective

Author: Edsger W. Dijkstra

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 381

ISBN-13: 146125695X

DOWNLOAD EBOOK

Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not travelling!- alone in my study. In my solitude, mail and the written word in general became more and more important. The circumstance that my employer and I had the Atlantic Ocean between us was a further incentive to keep a fairly complete record of what I was doing. The public part of that output found its place in what became known as "the EWD series", which can be viewed as a form of scientific correspondence, possible since the advent of the copier. (That same copier makes it hard to estimate its actual distribution: I myself made about two dozen copies of my texts, but their recipients were welcome to act as further nodes of the distribution tree. ) The decision to publish a se1ection from the EWD series in book form was at first highly embarrassing, but as the months went by I got used to the idea. As soon as some guiding principles had been adopted -preferably not published elsewhere, as varied and as representative as possible, etc.


Solving Mathematical Problems

Solving Mathematical Problems

Author: Terence Tao

Publisher: OUP Oxford

Published: 2006-07-28

Total Pages: 116

ISBN-13: 0191568694

DOWNLOAD EBOOK

Authored by a leading name in mathematics, this engaging and clearly presented text leads the reader through the tactics involved in solving mathematical problems at the Mathematical Olympiad level. With numerous exercises and assuming only basic mathematics, this text is ideal for students of 14 years and above in pure mathematics.


Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

Author: Krzysztof R. Apt

Publisher: Morgan & Claypool

Published: 2022-07-14

Total Pages: 576

ISBN-13: 1450397743

DOWNLOAD EBOOK

Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra’s algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for “fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.” Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity. In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra’s numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.


A Discipline of Programming

A Discipline of Programming

Author: Edsger W. Dijkstra

Publisher: Prentice Hall

Published: 1976

Total Pages: 248

ISBN-13:

DOWNLOAD EBOOK

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.


On a Method of Multiprogramming

On a Method of Multiprogramming

Author: W.H.J. Feijen

Publisher: Springer Science & Business Media

Published: 1999-06-11

Total Pages: 396

ISBN-13: 9780387988702

DOWNLOAD EBOOK

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.


Getting Personal

Getting Personal

Author: Phillip Lopate

Publisher: Basic Books

Published: 2008-11-05

Total Pages: 420

ISBN-13: 0786729783

DOWNLOAD EBOOK

From the man who is practically synonymous with the form of the modern personal essay comes a delightful collection of prose, poems, and never-before-published pieces that span his career as an essayist, novelist, poet, film critic, father, son, and husband. Organized in six parts (Childhood; Youth; Early Marriage and Bachelorhood; Teaching and Work; Fiction; Politics, Religion, Movies, Books, Cities; The Style of Middle Age) Getting Personal tells two stories: the development of Lopate's career as a writer and the story of his life.


The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Author: Dexter C. Kozen

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 327

ISBN-13: 1461244005

DOWNLOAD EBOOK

These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utive fall semesters from '88 to '90. The course serves a dual purpose: to cover core material in algorithms for graduate students in computer science preparing for their PhD qualifying exams, and to introduce theory students to some advanced topics in the design and analysis of algorithms. The material is thus a mixture of core and advanced topics. At first I meant these notes to supplement and not supplant a textbook, but over the three years they gradually took on a life of their own. In addition to the notes, I depended heavily on the texts • A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1975. • M. R. Garey and D. S. Johnson, Computers and Intractibility: A Guide to the Theory of NP-Completeness. w. H. Freeman, 1979. • R. E. Tarjan, Data Structures and Network Algorithms. SIAM Regional Conference Series in Applied Mathematics 44, 1983. and still recommend them as excellent references.


The Point Is to Change the World

The Point Is to Change the World

Author: Andaiye

Publisher: Between the Lines

Published: 2020-05-31

Total Pages: 388

ISBN-13: 1771135085

DOWNLOAD EBOOK

Radical activist, thinker, and comrade of Walter Rodney, Andaiye was one of the Caribbean’s most important political voices. For the first time, her writings are published in one collection. Through essays, letters, and journal entries, Andaiye’s thinking on the intersections of gender, race, class, and power are powerfully articulated, Caribbean histories emerge, and stories from a life lived at the barricades are revealed. We learn about the early years of the Working Peopl’s Alliance, the meaning asnd impact of the murder of Walter Rodney and the fall of the Grenada Revolution. Throughout, we bear witness to Andaiye’s acute understanding of politics rooted in communities and the daily lives of so-called ordinary people. Featuring forewords by Clem Seecharan and Robin DG Kelley, these texts will become vital tools in our own struggles to “overcome the power relations that are embedded in every unequal facet of our lives.”


Complications

Complications

Author: Atul Gawande

Publisher: Metropolitan Books

Published: 2003-04-01

Total Pages: 292

ISBN-13: 1429972106

DOWNLOAD EBOOK

A brilliant and courageous doctor reveals, in gripping accounts of true cases, the power and limits of modern medicine. Sometimes in medicine the only way to know what is truly going on in a patient is to operate, to look inside with one's own eyes. This book is exploratory surgery on medicine itself, laying bare a science not in its idealized form but as it actually is -- complicated, perplexing, and profoundly human. Atul Gawande offers an unflinching view from the scalpel's edge, where science is ambiguous, information is limited, the stakes are high, yet decisions must be made. In dramatic and revealing stories of patients and doctors, he explores how deadly mistakes occur and why good surgeons go bad. He also shows us what happens when medicine comes up against the inexplicable: an architect with incapacitating back pain for which there is no physical cause; a young woman with nausea that won't go away; a television newscaster whose blushing is so severe that she cannot do her job. Gawande offers a richly detailed portrait of the people and the science, even as he tackles the paradoxes and imperfections inherent in caring for human lives. At once tough-minded and humane, Complications is a new kind of medical writing, nuanced and lucid, unafraid to confront the conflicts and uncertainties that lie at the heart of modern medicine, yet always alive to the possibilities of wisdom in this extraordinary endeavor. Complications is a 2002 National Book Award Finalist for Nonfiction.