LIBROS DEL AUTOR: richards dana

4 resultados para LIBROS DEL AUTOR: richards dana

Ordenar por

Logic and Language Models for Computer Science

DANA RICHARDS / HENRY HAMBURGER

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways: it emphasizes the algorithmic nature of the proofs and the reliance on simulations...

Disponible

114,15 €
Logic and Language Models for Computer Science

DANA RICHARDS / HENRY HAMBURGER

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways: it emphasizes the algorithmic nature of the proofs and the reliance on simulations...

Disponible

67,49 €
Dear Martin / Dear Marcello

DANA RICHARDS

In 1952, Martin Gardner wrote the book Fads and Fallacies in the Name of Science, which has become a modern classic of the skeptical movement. He is best known as the Father of Recreational Mathematics, but was also a frank critic of pseudoscientists and a contributor to the Skeptical Inquirer magazine.Marcello Truzzi was one of the founders of the Committee for the Scientific ...

Disponible

55,40 €
Dear Martin / Dear Marcello

DANA RICHARDS

In 1952, Martin Gardner wrote the book Fads and Fallacies in the Name of Science, which has become a modern classic of the skeptical movement. He is best known as the Father of Recreational Mathematics, but was also a frank critic of pseudoscientists and a contributor to the Skeptical Inquirer magazine.Marcello Truzzi was one of the founders of the Committee for the Scientific ...

Disponible

102,07 €