The Fundamentals of Formal Science : An Understanding of Computer Operating Systems

A formal science is an area of study that uses formal systems to generate knowledge. Formal systems use a set of inference rules to derive a conclusion. The formal sciences range from mathematics to the computer sciences.

This book explores computer operating systems (OS) that create the environment in which a computer runs. Included are the history, examples of OS, the components, and much more.

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