Logic 2 – First-order Logic | Stanford CS221: AI (Autumn 2019)

For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/3bg9F0C

Topics: First-order Logic
Percy Liang, Associate Professor & Dorsa Sadigh, Assistant Professor – Stanford University
http://onlinehub.stanford.edu/

Associate Professor Percy Liang
Associate Professor of Computer Science and Statistics (courtesy)
https://profiles.stanford.edu/percy-liang

Assistant Professor Dorsa Sadigh
Assistant Professor in the Computer Science Department & Electrical Engineering Department
https://profiles.stanford.edu/dorsa-sadigh

To follow along with the course schedule and syllabus, visit:
https://stanford-cs221.github.io/autumn2019/#schedule