From the Publisher:
With this text, you gain an understanding of the fundamental concepts of algorithms, the very heart of computer science. It introduces the basic data structures and programming techniques often used in efficient algorithms. Covers use of lists, push-down stacks, queues, trees, and graphs. Later chapters go into sorting, searching and graphing algorithms, the string-matching algorithms, and the Schonhage-Strassen integer-multiplication algorithm. Provides numerous graded exercises at the end of each chapter.


0201000296B04062001

The Design and Analysis of Computer Algorithms

https://cmi.ac.in/~madhavan/courses/verification-2011/alur-dill-tcs-94.pdf

A theory of timed automata

The tools of molecular biology were used to solve an instance of the directed Hamiltonian path problem. A small graph was encoded in molecules of DNA, and the "operations" of the computation were performed with standard protocols and enzymes. This experiment demonstrates the feasibility of carrying out computations at the molecular level.

/pdf/molecular-computation-of-solutions-to-combinatorial-problems-50n73qb6lw.pdf

Molecular computation of solutions to combinatorial problems

A logic for default reasoning

This is a review of Collected Works of John Tate. Parts I, II, edited by Barry Mazur and Jean-Pierre Serre. American Mathematical Society, Providence, Rhode Island, 2016. For several decades it has been clear to the friends and colleagues of John Tate that a “Collected Works” was merited. The award of the Abel Prize to Tate in 2010 added impetus, and finally, in Tate’s ninety-second year we have these two magnificent volumes, edited by Barry Mazur and Jean-Pierre Serre. Beyond Tate’s published articles, they include five unpublished articles and a selection of his letters, most accompanied by Tate’s comments, and a collection of photographs of Tate. For an overview of Tate’s work, the editors refer the reader to [4]. Before discussing the volumes, I describe some of Tate’s work. 1. Hecke L-series and Tate’s thesis Like many budding number theorists, Tate’s favorite theorem when young was Gauss’s law of quadratic reciprocity. When he arrived at Princeton as a graduate student in 1946, he was fortunate to find there the person, Emil Artin, who had discovered the most general reciprocity law, so solving Hilbert’s ninth problem. By 1920, the German school of algebraic number theorists (Hilbert, Weber, . . .) together with its brilliant student Takagi had succeeded in classifying the abelian extensions of a number field K: to each group I of ideal classes in K, there is attached an extension L of K (the class field of I); the group I determines the arithmetic of the extension L/K, and the Galois group of L/K is isomorphic to I. Artin’s contribution was to prove (in 1927) that there is a natural isomorphism from I to the Galois group of L/K. When the base field contains an appropriate root of 1, Artin’s isomorphism gives a reciprocity law, and all possible reciprocity laws arise this way. In the 1930s, Chevalley reworked abelian class field theory. In particular, he replaced “ideals” with his “idèles” which greatly clarified the relation between the local and global aspects of the theory. For his thesis, Artin suggested that Tate do the same for Hecke L-series. When Hecke proved that the abelian L-functions of number fields (generalizations of Dirichlet’s L-functions) have an analytic continuation throughout the plane with a functional equation of the expected type, he saw that his methods applied even to a new kind of L-function, now named after him. Once Tate had developed his harmonic analysis of local fields and of the idèle group, he was able prove analytic continuation and functional equations for all the relevant L-series without Hecke’s complicated theta-formulas. Received by the editors September 5, 2016. 2010 Mathematics Subject Classification. Primary 01A75, 11-06, 14-06. c ©2017 American Mathematical Society

The collected works

Theory of Recursive Functions and Effective Computability.

/pdf/the-first-order-properties-of-products-of-algebraic-systems-2yr0jzdr1c.pdf

The first order properties of products of algebraic systems

/pdf/arithmetization-of-metamathematics-in-a-general-setting-3tvwnzztm4.pdf

Arithmetization of metamathematics in a general setting

Model-Theoretic Logics

This paper is divided into two parts. Part I provides a resume of the evolution of the notion of predicativity. Part II describes our own work on the subject.Part I§1. Conceptions of sets. Statements about sets lie at the heart of most modern attempts to systematize all (or, at least, all known) mathematics. Technical and philosophical discussions concerning such systematizations and the underlying conceptions have thus occupied a considerable portion of the literature on the foundations of mathematics.

Solomon Feferman

Papers

Theory of Recursive Functions and Effective Computability.

The first order properties of products of algebraic systems

Arithmetization of metamathematics in a general setting

Model-Theoretic Logics

Systems of Predicative Analysis