Rule induction is a machine learning technique that extracts formal rules from a set of observations. These rules can represent a full scientific model or just local patterns in the data. It is done using algorithms such as ID3 and genetic programming, which can be tested with tools like WEKA and scikit-learn.

A comprehensive course at Carnegie Mellon University that introduces fundamental principles of programming language design and implementation from a mathematical perspective. It delves deep into the structural and dynamic aspects of programming languages, studying concepts like recursion, objects, polymorphism, and parallelism.