Latent class model
Function
Mathematical logic
Linear temporal logic
Μ operator
Mathematics
Statistics
Perceptron