Dana Richards: 2 books

Dear Martin / Dear Marcello

Gardner and Truzzi on Skepticism

by Dana Richards
Language: English
Release Date: April 27, 2017

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...

Logic and Language Models for Computer Science

by Dana Richards, Henry Hamburger
Language: English
Release Date: September 8, 2017

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...