CSLI tous les livres
Algorithmes
Traduction française de 17 publications de Donald Knuth, traitant d'algorithme.
Ouvrage en français
This book is a French translation of seventeen papers by Donald Knuth on algorithms both in the field of analysis of algorithms and in the design of ...
(paru le 01/08/2011, consulté 83 fois)
Selected Papers on Design of Algorithms
Donald E. Knuth has been making foundational contributions to the field of computer science for as long as computer science has been a field. His award-winning textbooks are often given credit for shaping the field, and his scientific papers are widely re...
(paru le 01/03/2010, consulté 585 fois)
Words, Proof and Diagrams
The last twenty years have witnessed extensive
collaborative research between computer scientists,
logicians, linguists, philosophers, and psychologists.
These interdisciplinary studies stem from the realization
that researchers drawn from all fields are ...
(paru le 29/10/2002, consulté 3760 fois)
Universal Logic
Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues here, persistent logical paradoxes may be better solved by a new type of weak relevant logic. Brady's universal logic...
(paru le 28/02/2006, consulté 4927 fois)
Language Proof and Logic Text/Software Package
Language, Proof and Logic is a complete text and
software package providing a self-contained introduction to
the basic concepts of logic: language, truth, argument,
consequence, proof, and counterexample. The text assumes no
prior study of logic and is ap...
(paru le 22/05/2003, consulté 5523 fois)
Selected papers on discrete mathematics
Donald Knuth's influence in computer science ranges from the invention of methods for translating and defining programming languages to the mathematical analysis of algorithms and the creation of theT£X typesetting system.
His award-winning textbooks hav...
(paru le 07/04/2004, consulté 5719 fois)
Selected Papers on Computer Languages
Donald Knuth's influence in computer science ranges from
the mathematical analysis of algorithms to the creation of
the T£X and METRFONT systems for desktop publishing. His
award-winning textbooks have become classics that are often
credited for shaping t...
(paru le 20/11/2003, consulté 6254 fois)
Selected Papers on Analysis of Algorithms
Donald Knuth's influence in computer science ranges from
the invention of methods for translating and defining
programming languages to the creation of the TeX and
METAFONT systems for desktop publishing. His award-winning
textbooks have become classics o...
(paru le 01/01/2000, consulté 6235 fois)