Propositional logic, first order logic, completeness, compactness, incompleteness, undecidability; selected topics from finite model theory, theorem proving, logic programming, program verification, databases, computational complexity.

No Prerequisites

4

Units

Letter

Grading

1, 2, 3

Passtime

None

Level Limit

Engineering

College
These majors only cmpsc
Jianwen Su
2.0
30 reviews

Lecture

PHELP2510
M W
11:00 AM - 12:50 PM
22 / 35
See All
CMPSC 209 Su J Spring 2023 Total: 11
CMPSC 209 Su J Fall 2019 Total: 14
See All
30
2.0
CMPSC174A . 1 Year, 10 Days Ago

Pretty good class overall. There are only 5 homework assignments and you have at least a week to do each one. Textbook + lectures explain everything you need for assignments. Exams are as easy or easier than homework. Partner project at the end of the quarter, start early if you can because it does take time. Piazza will be your best friend

0 helpful 0 unhelpful
CMPSC174A . 1 Year, 10 Days Ago

I was worried about this class based on Prof. Su's rating here on RMP but I don't know why it's so low. His class isn't the most organized or clear but him and the TAs like Momin Haider were very responsive and accessible outside of class. The exams are straightforward and so were the assignments. Decent class overall.

0 helpful 0 unhelpful
CMPSC174A . 1 Year, 11 Months Ago

I was worried about taking this class, but I'm happy to say it's improved a lot since the last time it was taught. Homeworks were kind of difficult but they're only worth 2% each. Late days are generous. Exams were straightforward and a lot easier than the homework. Project was not too bad, but make sure to start early on it as it is a bit tedious.

0 helpful 0 unhelpful
CS174A . 5 Years Ago

DO NOT TAKE! 2/5 of the material is relevant, the rest is unnecessarily complicated and not important to understanding SQL databases. HWs are difficult and each only account for 2% of your grade. Exams are not graded fairly. Project is incredibly unclear, very time consuming, and graded VERY unfairly. Lectures are boring and unnecessary.

0 helpful 0 unhelpful
CS174A . 5 Years Ago

Literally no one goes to class because his lectures are so useless. The project was so vague and took weeks to complete and I ended up having 3000 lines of code that looked exactly the same. The project was due the last day of dead week so good luck studying for anything else since it takes forever. The TAs are the ones carrying this class.

0 helpful 0 unhelpful
CMPSC174A . 5 Years Ago

1. Lectures are useless, he goes off on random tangents about his research and you learn nothing. 2. HWs take 3/4 weeks to be graded, so there is no learning feedback at all 3. Midterm solutions and hw solutions are posted the day before the final?! Crazy. 4. HUGE, redudant, busy-work project with terrible instructions. 5. A lot of hw. 6. Terrible

0 helpful 0 unhelpful
See all 30 reviews
CMPSC 193
0 / 1 Enrolled
Internship in Industry
T B A
98.3% A
CMPSC 196
0 / 10 Enrolled
Undergraduate Research
T B A
98.6% A
CMPSC 196B
0 / 5 Enrolled
Undergraduate Research
T B A
100.0% A
CMPSC 199
0 / 10 Enrolled
Independent Studies in Computer Science
T B A
100.0% A
CMPSC 211B
9 / 10 Enrolled
Numerical Simulation
Petzold L
M W
09:00 AM - 10:50 AM
63.2% A
CMPSC 216
8 / 10 Enrolled
Level Set Methods
Frederic Gibou 3.9
M W
12:30 PM - 13:45 PM