Books that fall under the formal sciences (i.e., mathematics, formal logic, algorithms & data structures, etc.).
formal Public
Created and curated by metascribe
-
Basic Mathematics by Serge Lang
This is a text in basic mathematics with multiple uses for either high school or college level courses. Readers will …
metascribe says: A good review and rejoinder for the basic arithmetic foundations of mathematics, presupposing a basic understanding of the concept of a variable or a constant in algebra.
-
The Algorithm Design Manual by Steven S Skiena
This newly expanded and updated second edition of the best-selling classic continues to take the "mystery" out of designing algorithms, …
metascribe says: Jam-packed with examples of particular algorithms and data structure, sorted (no pun intended) by how they relate to particular computational problems. Covers Big O-notation. Can get a bit too terse for how technical it is.
-
Understanding Symbolic Logic by Virginia Klenk
This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each …
-
Functions and Graphs by I. M. Gelfand, E. G. Glagoleva, E. E. Shnol (Dover Books on Mathematics)
The second in a series of systematic studies by a celebrated mathematician I. M. Gelfand and colleagues, this volume presents …
-
Subject and Predicate in Logic and Grammar by P. F. Strawson
P. F. Strawson has supplied a new introduction for this reissue of his modern classic originally published in 1974. Subject …
-
Paraconsistent Logic by Walter Carnielli, Marcelo Esteban Coniglio (Logic, Epistemology and the Unity of Science, #40)
This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections …
