Rutgers catalogSIRS history1 section records

16:615:610

Formal Methods

LINGUISTICS

School 16 — School of Graduate Studies–New Brunswick
Compare in ExplorerAdd to scheduleWatch openingsOpen course listsAsk Scarlet
credits
3
Core
None listed
Typical seasons
Fall
Fall 2026 sections
1
Open snapshot
1 open in snapshot

Fall 2026 sections

1 open · College Avenue

SectionStatusInstructorMeetingCampus
0119702OpenTESAR, BRUCEMonday 3:50 PM-5:10 PM at SEM 108; Wednesday 3:50 PM-5:10 PM at SEM 108SEM 108College Avenue
cachedSource: Checked-in Rutgers Schedule of Classes snapshotsUpdated when term datasets are refreshedMay be stale

SIRS teaching signals

Historical student surveys

Open full SIRS search

Teaching

5.00

Course quality

5.00

Response rate

78.8%

Coverage

4 offerings · 2016–2024

InstructorOfferingsTeachingQuality
Tesar, Bruce35.005.00
Tesar Bruce15.005.00

Course stats

Catalog and planning context

Credits

3

Current campuses

College Avenue

Current availability

1 open of 1

Catalog terms

Fall

Core codes

None listed

Loaded terms

1

Prerequisites

No prerequisite note appears in the checked-in Rutgers catalog snapshots.

Degree requirement lists

No direct degree-list membership appears in the checked-in requirement index.

Loading grade outcomes…

Related LINGUISTICS courses