Class record · CSCI · MCAS

CSCI 3382

Formalizing Mathematics · 1 instructor on record · 1 section

What the course score is made of

97BC evaluations1 record · weight ×1.0 · Spring 2026

—Student reviewsno reviews — does not contribute

—RateMyProfessorsno ratings — does not contribute

That is the class itself, averaged across everyone who taught it. Who taught it, and how each of them scored, is the board below — that is what a student picking a section is actually choosing between.

What the challenge rank is made of

69thMore challenging than 69% of BC classesranked against every one we hold

93BC — “Intellectually Challenging”1 record · raw score out of 100

Boston College's own “intellectually challenging” question for this class only — students answer it positively about courses that stretched them, so it measures intellectual challenge and NOT grading, workload or quality. Almost every BC class scores high on it, which is why it is shown as a rank rather than a score.

What the workload rank is made of

78thMore work than 78% of BC classesranked against every one we hold

60BC — “Workload”1 record · raw score out of 100

Boston College reports workload for this class only as one of five bands, not as a number of hours, and it does not publish what the bands mean — so this site will not translate it into hours. Higher means more work, which is not the same as worse.

The only instructor on record

1 section · nobody else has taught itFull record

Instructor	Overall	Workload	Challenge	RMP overall
Howard StraubingProfessor · Computer Science Provisional	1001 record	78th	69th	588 ratings · all classes

There is no ranking to read here: Howard Straubing is the only instructor with evaluation records for CSCI 3382, so the number is a record, not a position. It rests on 1 record, which is thin — read it as provisional. The RateMyProfessors figure is their overall score across everything they teach, not their score in this class.

Also taught by Howard Straubing

4 other classes

Class	Instructors	Course score
CSCI 1101Computer Science I	11180 records	72
CSCI 2244Randomness and Computation	819 records	68
CSCI 3384Computability and Computational Complexity	24 records	82
CSCI 3392Logic for Mathematicians and for Computer Scientists	12 records	76

Other CSCI classes

All of them

Class	Instructors	Course score
CSCI 1101Computer Science I	11180 records	72
CSCI 1102Computer Science II	8105 records	68
CSCI 2272Computer Organization and Lab	357 records	75
CSCI 2271Computer Systems	423 records	60
CSCI 2243Logic and Computation	521 records	71
CSCI 2244Randomness and Computation	819 records	68

The line

All 13 items · means across 1 record

The Professor4 items

Clearly Explains MaterialThe instructor was effective at creating an understanding of difficult subject matter.

100100th pctl

Available Outside of ClassThe instructor was available for help outside of class.

100100th pctl

Brings Out Your Best WorkThe instructor motivated me to do my best work.

100100th pctl

Sparked My InterestThe course stimulated my interest in the subject matter.

100100th pctl

The Course3 items

Well-Organized CourseThe course was well organized.

8727th pctl

Clear Learning GoalsThe learning objectives for the course were clear.

9042nd pctl

Useful Beyond the CourseWhat I learned is applicable beyond this course.

9779th pctl

Assignments & Feedback3 items

Assignments Help You LearnAssignments and exams contributed to my learning.

9786th pctl

Gives Feedback PromptlyI received feedback on my work in a timely manner.

9781st pctl

Meaningful FeedbackThe feedback I received on my work was meaningful.

9780th pctl

Workload, difficulty & attendanceNot ratings

WorkloadHow much work the course took outside class, on Boston College's five-band scale — the band boundaries are not published, so this is not a number of hours.

6078th pctl

Intellectually ChallengingThe course was intellectually challenging.

9369th pctl

Attendance MattersAttending class was necessary to do well in this course.

9361st pctl

Bar length is the rank against every comparable record we hold, not the raw score: BC's questions all have a median around 4.5, so a raw-scale bar would be nearly full on every row and would tell you nothing. Every bar is one ink colour — nothing here is graded green or red. The hatched bars are not ratings at all: a higher number on either describes a different course, not a better one.

Game log

1 section · newest first

Instructor	Term	Sec	Instr	Course	Work
Howard Straubing	Spring 2026	01	100	97	60

How to read this boardInstructors are ranked on their record in this class only, never on their average across everything they teach. Scores are out of 100 — Boston College's 1–5 agreement scale, ×20, the way these numbers were printed for years. Workload is BC's own five-band figure, not a number of hours, and is shown as a rank. A dash means the question was not reported, and is never a zero.