ossu
RFC: Replace Logic course in Advanced Math
Problem: Introduction to Logic course on Coursera is broken and unmaintained.
Duration: September 10, 2022 - September 24, 2022
Background: The Stanford Introduction to Logic course on Coursera is broken.
Almost all of the external links of the course content and exercises
end up dead:
It's been like this for about a year. There were other issues with the course several years before that as well, such as broken proof tools, incorrect assignments that let you pass without submitting anything, etc. Many learners commented in Discussion forums but the issues don't get fixed.
A previous discussion / RFC about Logic courses was held on the OSSU Math repository. The ForallX project was chosen as the most suitable.
Here is the relevant pull request: #1075
Proposal: Replace with the ForallX project
Alternatives: The other two options that were also discussed in OSSU Math:
- An Introduction to Formal Logic by Peter Smith
- Logic in Action
I have a question: Why is logic in the syllabus? (sorry if it's an obvious question)
The basics are covered in Math for CS. I don't know why (a full course for) logic is related to computer science. I'm over halfway thorough the course and I haven't made the connection.
If it's not related we could also remove the course entirely.
@riceeatingmachine Excluding basic logic covered in Math for CS, Logic is in the curricular guidelines:
- IS/Advanced Representation and Reasoning (Elective) 124
- IS/Natural Language Processing (Elective) 126
- IS/Advanced Machine Learning (Elective) 127
- PL/Logic Programming (Elective) 166
- SE/Formal Methods (Elective) 185
(These are electives so it's in Advanced Math.) It's used a lot in software verification, compilers, automated reasoning, AI/ML and so on.
I'm over halfway thorough the course and I haven't made the connection.
Did you know that all computer programs are actually mathematical proofs ? Here is a more entertaining explanation