Home Categories Logic

Logic 1 - Propositional Logic Stanford CS221: AI (Autumn 2019)

Learners: 52,040

Instructor: Stanford Online

Duration:

Unlock the fascinating world of Logic with "Logic 1 - Propositional Logic Stanford CS221: AI (Autumn 2019)." Delve into the fundamentals of propositional logic and its applications with Stanford University's renowned professors, Percy Liang and Dorsa Sadigh. This course introduces the syntax and interpretation of propositional logic, exploring concepts like models, entailment, inference, soundness, and completeness. Whether you're a professional seeking AI expertise or a curious learner, this course offers a comprehensive understanding of logic's role in building intelligent systems. Join now to expand your knowledge and explore Stanford's AI programs.▼▲

Course Feature Course Overview Course Provider

Go to class

Course Feature

Cost:

Free

Provider:

Youtube

Certificate:

No Information

Language:

English

Start Date:

2020-12-17 00:00:00

Course Overview

❗The content presented here is sourced directly from Youtube platform. For comprehensive course details, including enrollment information, simply click on the 'Go to class' link on our website.

Updated in [July 24th, 2023]

Learners of Stanford CS221: AI (Autumn 2019) can gain a comprehensive understanding of propositional logic and its applications in Artificial Intelligence. Through this course, learners will gain experience in the syntax of propositional logic, interpretation functions, models, contingency, contradiction and entailment, tell and ask operations, satisfiability, model checking, and inference frameworks. They will also gain expertise in soundness and completeness of inference rules. With this knowledge, learners will be able to apply propositional logic to create intelligent systems and solve complex problems.