<p>Introduction to Logic is a Stanford University course on Coursera taught by Professor Michael Genesereth, covering formal logic from a computational perspective. The course works through propositional, relational, and functional logic, with applications in mathematics, science, engineering, business, and law. A useful foundation for olympiad-style proof writing, computer science, and philosophy.</p><ul><li>Five modules covering Introduction, Propositional Logic, Relational Logic, Functional Logic, and Conclusion.</li><li>Intermediate level; some prior mathematical maturity is recommended.</li><li>Self-paced over approximately 5 weeks at about 10 hours a week, with 20 graded assignments.</li><li>Free to audit course content; a shareable certificate is available on payment.</li><li>Taught in English with subtitles in 22 languages; financial aid available to qualifying learners.</li></ul><p>Enrol through the Coursera course page and begin at the next cohort opening.</p>