Verwandte Artikel zu Computability, Complexity, and Languages: Fundamentals...

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science - Hardcover

 
9781493300341: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Inhaltsangabe

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

Biografía del autor

Born in New York City in 1928, Martin Davis was a student of Emil L. Post at City College and his doctorate at Princeton in 1950 was under the supervision of Alonzo Church. Davis's book Computability and Unsolvability (1958) has been called "one of the few real classics in computer science" He is best known for his pioneering work in automated deduction and for his contributions to the solution of Hilbert's tenth problem. For this latter work he was awarded the Chauvenet and Lester R. Ford Prizes by the Mathematical Association of America and the Leroy P. Steele Prize by the American Mathematical Society. In 1983 he was a Guggenheim Foundation Fellow and in 2005 he received the Herbrand Prize from the Conference on Automated Deduction. His books have been translated into a number of languages including Russian and Japanese. Davis has been on the faculty of the Courant Institute of Mathematical Sciences of New York University since 1965, was one of the charter members of the Computer Science Department founded in 1969, and is now Professor Emeritus. He is currently a Visiting Scholar at the University of California, Berkeley.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagMorgan Kaufmann
  • Erscheinungsdatum2015
  • ISBN 10 1493300342
  • ISBN 13 9781493300341
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten632
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
Very Good
Diesen Artikel anzeigen

EUR 29,67 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

EUR 11,87 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

Suchergebnisse für Computability, Complexity, and Languages: Fundamentals...

Beispielbild für diese ISBN

Davis, Martin/ Sigal, Ron/ Weyuker, Elaine J.
Verlag: Morgan Kaufmann, 2015
ISBN 10: 1493300342 ISBN 13: 9781493300341
Neu Hardcover

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Brand New. 2nd edition. 609 pages. 9.00x6.00x9.00 inches. In Stock. Bestandsnummer des Verkäufers 1493300342

Verkäufer kontaktieren

Neu kaufen

EUR 109,55
Währung umrechnen
Versand: EUR 11,87
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Davis, Martin, Sigal, Ron, Weyuker, Elaine J.
Verlag: Morgan Kaufmann, 1994
ISBN 10: 1493300342 ISBN 13: 9781493300341
Gebraucht Hardcover

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

hardcover. Zustand: Very Good. Very Good. book. Bestandsnummer des Verkäufers ERICA82914933003426

Verkäufer kontaktieren

Gebraucht kaufen

EUR 217,58
Währung umrechnen
Versand: EUR 29,67
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb