CS1502
CS1502: Formal Methods in Computer Science
94 ratings across the web · no written reviews yet
Planning Spring 2027? Save classes to your plan.
From 94 ratings across the web
Students rate this class highly. It's demanding, and good grades are within reach.
No written reviews yet. Yours would be the first.
Took CS1502? How hard was it?
1 is easy, 5 is hard. Anonymous, no account.
Difficulty
What we know
- Ratings across the web
- 4.1 out of 5 stars4.1from 94 ratings
- Department
- Computer Science
What students say
Be the first to review CS1502
Six short steps, about two minutes. Anonymous, no account, no email.
Questions students ask
Classes next to CS1502
CS courses at Pitt with the closest numbers
- CS1501Algorithms and Data Structures 23.6 out of 5 stars3.6· difficulty 77/100· 172 ratings
- CS1502Formal Methods in Computer ScienceThis class
- CS15032.6 out of 5 stars2.6· difficulty 54/100· 17 ratings
- CS1510Algorithm Design3.0 out of 5 stars3.0· difficulty 80/100· 16 ratings
- CS15112.9 out of 5 stars2.9· difficulty 93/100· 16 ratings
- CS15154.8 out of 5 stars4.8· difficulty 52/100· 5 ratings
- CS15203.5 out of 5 stars3.5· difficulty 61/100· 57 ratings