San Antonio College Library

"Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. At the same time, the shift towards internet-based distributed computing creates the need for individuals who...

"This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics...

"This is a book for those who enjoy thinking about how and why Nature can be described using mathematical tools. Approximating Perfection considers the background behind mechanics as well as the mathematical ideas that play key roles in mechanical applications. Concentrating on the models of applied mechanics, the book engages the reader in the types of nuts-and-bolts considerations that are normally avoided in formal engineering courses: how and...

A System of Logic, Ratiocinative and Inductive : being a connected view of the principles of evidence and the methods of scientific investigation Mill's Logic, first published in 1843, firmly established Mill as the leader of the empirical school of logic. A System of Logic is the first major installment of his comprehensive restatement of an empiricist and utilitarian position. It begins the attack on ""intuitionism"" which Mill carried on throughout...

A collection of anecdotal histories defines the relationship between language and logic, sharing visual examples and puzzles that can be used by readers to raise test scores and recognize the illogical in everyday things.

Keith Devlin chronicles scientists' centuries-old quest to discover the laws of thought, from the astonishingly adept efforts of the ancient Greeks, to the invention of the first primitive "thinking machine" in the late nineteenth century, to radical findings that are challenging the very notion that the mind follows logical rules. Devlin introduces a host of new findings showing that many ways of thinking that are perfectly rational are at the same...