So I got my test grade back for this really retardely taught class here at my college called "Theory of Automata." If you're a comp sci major or something you might've taken a class called this or theory of computation. Anywho so the current instructer for this course is a guy who has stupidly high standards to a point where its almost like he doesn't want to associate himself with any student unless they're making an A in the course. Also he criticizes his department constantly semi mocking the other professors and instructors.
So anywho we took this test in which we had to remember and write out 10 long definitions exactly word for word or at least a definition that means the exact same thing in a similar wording. Anywho here's a few examples of a definitions we have to remember.
Decidable: A predicate P is
decidable if there is an algorithm A such that for every X in the domain of P, A(x) halts returning true if P(x) is true and false if P(x) is false.
Proof that the entscheidung problem is undecidable:
1. Any given turing machine halts when run from a given initial configuration if and only if it is a theorem of first order logic that halts.
2.No turing machine can decide whether a given turing machine halts when run from an initial configuration.
3. therefore no turing machine can decide a given statement is a theorem of first order logic.
4. by godel's completeness theorem and the soundness of first order logic, theorems of first order logic are the tautologies of first order logic.
5. no turing machine can decide whether a given statement is a tautology.
6. therefore, no algorithm can decide whether a given statement of first order logic is a tautology.
So meh there's 2 examples of the 10 definitions we had to remember and write out for the test.
The main reason why i'm frustrated is not that I didn't do that great on the test but its what his comment was in the email he sent
Quote:
Passing this test (with a C or better) is something to be proud of. Making an A on it is an extraordinary demonstration of scholarship. I must say I am very happy with the performance of the class overall.
I talked to a few friends in the class to see what they got and most of them were like WTF. Cuz the way he phrases it sounds like this test was intentionally meant to be extremely difficult and if you did pass "oh its something you should be proud of, and if you got an A thats extraordinary" So people who got D's and F's its like "oh you took the test? good try but you still suck" -____-
and I studied hours for this test, made note cards, studied with friends and quized each other arrghhhhhhhh
think i'ma go back to sleep and sulk in frustrated depression