machine learning

• decision tree
• linear regression
• feedforward neural network
• convolutional neural network
• conv gan with pytorch
• n-gram language model
• hidden markov model

the most up to date ones are (also open source, the first has a huuge community!):

• zhang dive into deep learning
• probabilistic machine learning by murphy

the most rigorous ones include:

• svm steinwart
• elements of statistical learning

less rigorous (i think?), but still rigorous:

• mathematics for machine learning
• pattern recognition and machine learning bishop
• deep learning architectures a mathematical approach

others:

• artificial intelligence a modern approach norvig