Lecture 16: Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)
Topics: 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
To get the latest news on Stanford’s upcoming professional programs in Artificial Intelligence, visit:
http://learn.stanford.edu/AI.html
To view all online courses and programs offered by Stanford, visit: http://online.stanford.edu
Видео Lecture 16: Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019) канала stanfordonline
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
To get the latest news on Stanford’s upcoming professional programs in Artificial Intelligence, visit:
http://learn.stanford.edu/AI.html
To view all online courses and programs offered by Stanford, visit: http://online.stanford.edu
Видео Lecture 16: Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019) канала stanfordonline
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Lecture 1: Overview | Stanford CS221: AI (Autumn 2019)Lecture 17: Logic 2 - First-order Logic | Stanford CS221: AI (Autumn 2019)Lecture 11: Factor Graphs 1 - Constraint Satisfaction Problems | Stanford CS221: AI (Autumn 2019)Lecture 9: Game Playing 1 - Minimax, Alpha-beta Pruning | Stanford CS221: AI (Autumn 2019)Lecture 7: Markov Decision Processes - Value Iteration | Stanford CS221: AI (Autumn 2019)Lecture 14: Bayesian Networks 2 - Forward-Backward | Stanford CS221: AI (Autumn 2019)The philosophical method - logic and argument2020 Machine Learning RoadmapLecture 15: Bayesian Networks 3 - Maximum Likelihood | Stanford CS221: AI (Autumn 2019)Lecture 5: Search 1 - Dynamic Programming, Uniform Cost Search | Stanford CS221: AI (Autumn 2019)Artificial intelligence & algorithms: pros & cons | DW Documentary (AI documentary)Chapter 1.1: Introduction to logicLecture 2: Machine Learning 1 - Linear Classifiers, SGD | Stanford CS221: AI (Autumn 2019)Cosmology Lecture 1What is Artificial Intelligence? In 5 minutes.Lecture 13: Bayesian Networks 1 - Inference | Stanford CS221: AI (Autumn 2019)Stanford CS230: Deep Learning | Autumn 2018 | Lecture 1 - Class Introduction and LogisticsConducting Effective Negotiations