PMATH 930Topics in Logic
- Units
- 0.50
- Level
- Graduate
- Faculty
- Mathematics
- Subject
- Pure Mathematics
When it runs
- F24
- W25
- S25
- F25
- W26
- S26
- F26
- W27
- S27
Ran in 2 of the last 7 terms. Winter 2027: scheduled, 1 lecture section. Spring 2027: schedule not out yet.
Consult the schedule of classes for specific topics being offered.
Prerequisites
None listed.
Antirequisites
None listed.
Leads to
No course lists it as a requisite.
Winter 2027 sections
| Section | Class | Enrolled | Meets |
|---|---|---|---|
| LEC 001 | 7450 | 0 / 20 | MWF 09:30–10:20 |
Discussed on r/uwaterloo
6 posts and comments in 5 threads mention PMATH 930, July 2017 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 2021
Anyone wanna join a discord server for PMATH 453 or PMATH 930? 0 points, 0 comments
Fall 2019
Can undergraduate students take graduate courses in math? 2 points, 17 comments
“Is it possible?”
u/1926toInfinity: “Yes. Took CO 739 and PMath 930.”
Fall 2018
CS245 Crying Thread 43 points, 54 comments
“What are invariants?”
u/armadilo_man: “I still don’t understand the halting problem”
u/kmanr123: “take PMath 930”
Fall 2017
Any way to disable UWCourseLinker from posting? 16 points, 26 comments
“posting a reply to my comment I find the bot annoying.”
u/Jackhofmann: “PSYCH 483 PSYCH 484 PSYCH 485 PSYCH 486 PSYCH 490R PSYCH 499A PSYCH 499B PSYCH 499C PSYCH 621 PSYCH 630 PSYCH 677A PSYCH 704A PSYCH 704B PSYCH 707 PSYCH 710 PSYCH 714 PSYCH 717 PSYCH 720A PSYCH 721A …”
u/Jackhofmann: “… PMATH 451 PMATH 453 PMATH 465 PMATH 499 PMATH 651 PMATH 665 PMATH 740 PMATH 745 PMATH 753 PMATH 930 PMATH 940 PMATH 950 PMATH 990 PORT 101 PS 611 PS 614 PS 621 PS 624 PS 625 PSCI 100 PSCI 231 PSCI 252 PSCI 255 PSCI 257 PSCI 263W PSCI 282 PSCI 299 PSCI 324 PSCI 331 PSCI 353 PSCI …”
Spring 2017
What courses are you taking this fall? 28 points, 129 comments
“With course selection and add/drop happening this week I figured this would be a cool discussion post. …”
u/xabu1: “PMATH745 - representation theory of finite groups PMATH930 - introduction to universal algebra CO456 - introduction to game theory ECON491 - advanced microeconomics ECON601 - micro theory 1 Edit: spacing”
u/trindte: “PMATH 930 I assume would need instructor consent so I didn't bother putting in that or its prereqs. And econ 491 is specifically going to cover things you wouldn't typically see or have time for in a normal 601 course so taking both isn't overlap btw. …”
Check it elsewhere for Fall 2026
- Graduate Calendar, Fall 2026The official entry
- Requirements for Fall 2026Waterloo’s requisite checker
- Schedule of Classes, Fall 2026Instructors, rooms, live seats
- Quest Class SearchWhere you enrol
- Course outlinesSyllabi from past terms (UW login)
- UW FlowStudent ratings and reviews
- WClassesPast sections back to 2004, and who taught them