uwloo

PMATH 330Introduction to Mathematical Logic

Units
0.50
Faculty
Mathematics
Subject
Pure Mathematics

When it runs

  1. F24
  2. W25
  3. S25
  4. F25
  5. W26
  6. S26
  7. F26
  8. W27
  9. S27

Ran in 7 of the last 7 terms. Winter 2027: scheduled, 2 lecture sections. Spring 2027: schedule not out yet.

A broad introduction to mathematical logic. The notions of logical consequence and derivation are introduced in the settings of propositional and first order logic, with discussions of the completeness theorem and satisfiability

Prerequisites

  • Complete all of the following
    • Must have completed at least 1 of the following:
      • MATH135 - Algebra for Honours Mathematics (0.50)
      • MATH145 - Algebra (Advanced Level) (0.50)
    • Must have completed at least 1 of the following:
      • MATH225 - Applied Linear Algebra 2 (0.50)
      • MATH235 - Linear Algebra 2 for Honours Mathematics (0.50)
      • MATH245 - Linear Algebra 2 (Advanced Level) (0.50)

Antirequisites

Leads to

Fall 2026 sections

Enrolment from UW Open Data, which can trail Quest by up to two days. Instructors and rooms: Schedule of Classes.
SectionClassEnrolledMeets
LEC 081599460 / 135Online or by arrangement

Winter 2027 sections

Enrolment from UW Open Data, which can trail Quest by up to two days. Instructors and rooms: Schedule of Classes.
SectionClassEnrolledMeets
LEC 00160570 / 70MWF 14:30–15:20
LEC 701236044 / 9999Online or by arrangement

Resources

Around the web

Found by uwloo’s link finder, which checks that each page names PMATH 330.

Suggest a resource.

Reviewed on UW Flow

72% liked it73% easy36% useful

From 47 ratings and 17 comments on UW Flow. The most helpful comments, quoted as written, without names. Read them all on UW Flow.

  • DO NOT TAKE WITH EVAN SUNDBO. Granted it is his first time teaching like ever - but the level of disorganization and misleading information is baffling. He would post assignments without having his own solutions and would later retract questions because he realized they're "not actually possible with what we have learned so far." In terms of the final, he made it a MUST PASS final and he told us it would be similar to the midterm (which had an 80 avg), but it was so much more difficult. He did not provide any practice/sample finals (which is something every previous offering did) and prior to the final we did not even have solutions for the last 2 assignments, let alone grades/feedback.…

    Aug 2026 · liked it · 2 found this helpfulOn UW FlowRemove this

  • 11 Assignment(15%), Midterm(25%), Final(60%). No need to pass the final to pass the course.
    The midterm is extremely easy, the course average is 85+, and basically repeat the exercise in the course notes. BUT the final is hard, you really need to memorize the definition(for content after midterm), prof tested it by WRITING THE EXACT DEFINITION!
    Taught by Pavlos Kalantzopoulos.

    May 2026 · liked itOn UW FlowRemove this

  • Fairly easy and fun course but if you take it online be prepared to receive zero help. TA's never answered Piazza questions, often didn't get replies to regrade requests (prof said they were "intentionally ignored" whatever that means), when posting which TA's marked which questions we were given names of people who weren't even our TA's, prof didn't even answer any piazza questions for over a month. Google can't even help explain most of the concepts because our notation was different. If it wasn't for the fact that it came easy to me, there is no way I would have done that well.

    Jan 2026 · liked itOn UW FlowRemove this

  • Took this course over a coop term, and it was light and manageable. The course can get a bit boring if logic is not your thing.

    Aug 2025 · liked itOn UW FlowRemove this

  • not a hard or useful course, just long and boring. Overall kinda easy though and the practice final had a few similarities to the actual final which is nice. I did not bother watching the online videos (kinda boring), reading the slides was enough for me.

    Aug 2024 · liked itOn UW FlowRemove this

Discussed on r/uwaterloo

192 posts and comments in 143 threads mention PMATH 330, September 2011 to December 2024. Quoted word for word, newest first; each reply sits under the post and the comment that started its branch. Search r/uwaterloo for newer posts.

Fall 2024

Spring 2024

Cs246 online? (co 327 and cs 338 as well) 1 point, 5 comments

“I am on coop this term and need to take 2 courses to meet my requirements and graduate on time. I’ve taken amath 250 which is online but the prof for cs 246 keeps saying I shouldn’t take it this term …”

u/WinSlow1929: “take cs 338 instead its so much easier for 246 the project is non-trivial and you need to rely on other people's notes, play it safe and take an easier course. pmath330 is also online”

View on RedditRemove this

Winter 2024

Online Math Classes 2 points, 1 comment

u/Maremesscamm: “I am looking for a course to fulfill the any math class requirement that I could take over coop. I know there is: PMATH330, CO250, AMATH242, CS231, can anyone else share ones that I might be missing? Thank you,”

View on RedditRemove this

Fall 2023

UR under review 4 points, 6 comments

u/tina_123tt: “3 days ago I checked the quest and saw UR for my pmath330. But the final is in person and I did all the assignments by myself. I haven’t receive any email yet, what can I do to appeal it?”

u/Adorable-Sink-2314: “I took Pmath 330 this fall and got UR as well. Didn’t cheat and hella anxious ab what’s going on now :/”

View on RedditRemove this

Spring 2023

Check it elsewhere for Fall 2026

Calendar versions

Undergraduate Calendar