Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. IN theoretical computer science, computational learning theory is a mathematical field related to the analysis of machine learning algorithms.THeoretical results in machine learning mainly deal with a type of inductive learning called supervised learning. IN supervised learning, an algorithm is given examples that are labeled in some useful way. FOr example, the examples might be descriptions of mushrooms, and the labels could be whether or not the mushrooms are edible. THe algorithm takes these previously labeled examples and uses them to induce a classifier. THis classifier is a function that assigns labels to examples including examples that have never been previously seen by the algorithm. THe goal of the supervised learning algorithm is to optimize some measure of performance such as minimizing the number of mistakes made on new examples.