{
    "links":{},
    "photo":"https://s3.amazonaws.com/coursera/topics/intrologic/large-icon.png",
    "courseFormat":"",
    "universityLogo":"",
    "video":"vk4xLZv1V2w",
    "smallIconHover":"https://d1z850dzhxs7de.cloudfront.net/topics/intrologic/small-icon.hover.png",
    "suggestedReadings":"",
    "shortDescription":"In this course, you will learn how to formalize information and reason systematically to produce logical conclusions. We will also examine logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.",
    "id":15,
    "estimatedClassWorkload":"4-10 hours/week",
    "previewLink":"https://class.coursera.org/intrologic-004/lecture/preview",
    "universityLogoSt":"",
    "courseSyllabus":"",
    "aboutTheCourse":"<p>Logic is one of the oldest intellectual disciplines in human history.\n    It dates back to the times of Aristotle; it has been studied through the\n    centuries; and it is still a subject of active investigation today.</p>\n<p>This course is a basic introduction to Logic. It shows how to formalize\n    information in form of logical sentences. It shows how to reason systematically\n    with this information to produce all logical conclusions and only logical\n    conclusions. And it examines logic technology and its applications - in\n    mathematics, science, engineering, business, law, and so forth.</p>\n<p>The course differs from other introductory courses in Logic in two important\n    ways. First of all, it teaches a novel theory of logic that improves accessibility\n    while preserving rigor. Second, the material is laced with interactive\n    demonstrations and exercises that suggest the many practical applications\n    of the field.</p>",
    "largeIcon":"https://d15cw65ipctsrr.cloudfront.net/2b/32d6b0352d11e494bcf927fb09cbc9/large-icon.png",
    "smallIcon":"https://d1z850dzhxs7de.cloudfront.net/topics/intrologic/small-icon.hover.png",
    "videoId":"vk4xLZv1V2w",
    "faq":"<ul>\n    <li><strong>Will I get a statement of accomplishment after completing this class?</strong>\n\n        <p>Yes. Those who successfully complete the class will receive a statement\n            of accomplishment signed by the instructor.</p>\n    </li>\n    <li><strong>What is the format of the class?</strong>\n\n        <p>The class consists of videos, notes, and a few background readings. The\n            videos include interactive demonstrations and exercises. There are also\n            standalone quizzes that are not part of video lectures. Workload: one to\n            two hours of video content per week.</p>\n    </li>\n    <li><strong>What should I know to take this class?</strong>\n\n        <p>The course has no prerequisites beyond high school mathematics. You should\n            be comfortable with symbolic manipulation techniques, as used, for example,\n            in solving simple algebra problems. And you need to understand sets, functions,\n            and relations. However, that's all. If you have this background, you should\n            be fine.</p>\n    </li>\n    <li><strong>Do I need to buy any textbooks?</strong>\n\n        <p>None is required, as the course is self-contained.</p>\n    </li>\n</ul>",
    "shortName":"intrologic",
    "instructor":"Michael Genesereth",
    "name":"Introduction to Logic",
    "subtitleLanguagesCsv":"zh-CN,pt-BR,en,es",
    "recommendedBackground":"",
    "aboutTheInstructor":"<a href=\"http://logic.stanford.edu/people/genesereth/genesereth.html\">Michael Genesereth</a>\u00a0is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. He is best known for his research on Computational Logic and its many applications. He has been teaching Logic to Stanford students and others for more than 20 years. He is the current director of the Logic Group at Stanford and founder and research director of CodeX (The Stanford Center for Legal Informatics)."
}