Sasha Fedchin

This is a page with selected slides from some of the courses I taught at Tufts and AUCA on AI, Automated Deduction, and Discrete Math. Perhaps they might be helpful if you are looking for resources on these topics!

• Propositional logic basics, Normal Forms and Tseytin Transformation
• SAT solving with DPLL, and with CDCL.
• Probability Basics and Naive Bayes.
• Decision Trees.
• Linear Regression as a Simple Neural Network.