Formal Sciences, including: Artificial Intelligence, Bioinformatics, Computational Linguistics, Control Theory, Data Compression, Econometrics, ... Mining, Operations Research, Queueing Theory

Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, although as Hephaestus Books continues to increase in scope and dimension, more licensed and public domain content is being added. We believe books such as this represent a new and exciting lexicon in the sharing of human knowledge. This particular book is a collaboration focused on Formal sciences.

More info: A formal science is a branch of knowledge that is concerned with formal systems, for instance, logic, mathematics, systems theory, computer science, information theory, decision theory, statistics, and some aspects of linguistics.