[141205]

> Even engineering undergrads have to learn formal logic in their first semester.

I got my engineering B.S. from a top 5 college in the US, and have known many people who have gone to similar schools. None of us have had to take a class that goes into first order logic or proof writing. I don't know what college you go to where that is a thing, but it would be exceedingly rare.

[constantcrying]

>I don't know what college you go to where that is a thing, but it would be exceedingly rare.

German technical university. I was a tutor there. AFAIK this is normal.

As part of the first semester you take linear algebra and analysis, starting out with the basics of formal logic. Of course the courses are less focused on proof writing than the mathematics "major" courses.

I should also point out that German universities have very loose entry standards (except when places are very rare compared to applicants) and use the first two semesters to filter out students. These courses are often designed to have around a 50% failure rate.

[l33t233372]

> As part of the first semester you take linear algebra and analysis, starting out with the basics of formal logic

There is not enough time to learn the basics of formal logic and linear algebra and/or analysis in a single class, but I think what you’re referring to is an introduction to proof techniques like induction, modus tollens, quantifiers, etc.

Every math and computer science department in the US that I’ve ever heard of teaches these topics, but I wouldn’t call it a formal logic class.

[Solvency]

Your student filtration system sounds like a long and expensive waste of everyone's time.