Mat309 Uoft Reddit

The main difference being that in phl345 you don t prove gödel s incompleteness theorems and in mat309 you barely consider propositional logic instead starting right away with first order logic aka predicate logic.

Mat309 uoft reddit. Press j to jump to the feed. George street room 1006 toronto on m5s 3g3. Deductions and the soundness theorem chapter 2. A volunteer note taker is requested for this course information here.

Mat309 is a lot more broad and will give you new insights into previous math cs philosophy courses you might have taken it starts with an overview of 1st order logic and then spends a lot of time covering long and complicated proofs of important theorems soundness compactness incompleteness. But mat309 is about godel s incompleteness theorems. There is 0 percent chance that any mathematically minded individual find first order logic is easier than basic software engineering. I m up till 4 every single day trying to wrap my head around eco101 take in economics is supposed to be my fucking specialist and on top of that my other courses are bombarding me with useless quizzes and assignments to do at the beginning of every week.

If not mat335 is i believe eaiser. Apm346 is very easy if you re not in ivrii s section. Posted by 6 months ago. Professor ilia binder ilia math toronto edu south building 4038 phone.

Office of the faculty registrar sidney smith hall 100 st. Mat315 is way eaiser than mat309 but mat309 is way more interesting. The textbook is available at the uoft bookstore for 45. The syntax and semantics of first order logic chapter 1 weeks 3 4.

To decide if you ll like the course read the short book godel s proof by nagel and newman edited by hofstadter. Mat309 is a course that feels really good for math specialists. I would say mat309 is a bit harder though being in the math department and usually having a rather high dropout. And if you want a reference mat309 is cross listed with csc438 computability and logic of cs department.

12 1pm and wednesday april 6th. It rubs up against mathematical philosophy but is firmly a math course which specialists will appreciate. Contact me if interested. A pdf version is freely available online.

Tuesdays 11 12 and thursdays 10 12 at ne142. 10am 12pm in the math aid room 3039h south building. Mat337 is easy provided you did well in mat137 mat237. Tuesdays and thursdays 1 2.

Ta s extra office hours. You will like this book iff you will like taking mat309. The content is so hard profs aren t there to help you office hours are full.