CS 1502

FORMAL METHODS IN COMPUTER SCIENCE

FALLSPRINGSUMMER
PRE-REQ: CS 441CS 445
Course DescriptionThe course is an introduction to the theory of information and computation as a physical phenomenon. The course covers standard formalizations of computational concepts and proofs of noteworthy implications of these formalizations. Typical topics include: finite automata, computability, reducibility, and complexity.
Credits:3
View this course on Pitt's Website

Testimonials

Tan does a very good job teaching 1502 and he makes dry topics interesting. He has a pretty slow pace which is very good for learning the topics and his tests were basically straight out of in class/homework examples.

No joke, Max's 1502 is one of my favorite classes ever. He's a very personable and knowledge lecturer. His assignments are all very fair, and so are his exams. You should start on things early, and certainly study. That said, he's a huge help in office hours (I went for every assignment and before every exam). He's generous on regrades, and if you ever find a discrepancy on your HW/exam, go see him. You'll get your points back without much fuss, and all those points can easily add up to 5-10% of your grade. In general, his grading policies are relatively generous. He doesn't have slides, so you should definitely go to class. There is also a participation grade. If you miss class, chances are you won't pass.

Add your review by filling out this form!