Stanford Root

Stanford Root

CS 353

Seminar on Logic & Formal Philosophy (PHIL 391)

UNITS:2-4

GRADING:Letter or Credit/No Credit

LEVEL:Graduate

GER:—

Contemporary work. May be repeated a total of three times for credit.

Syllabus for selected term:

View Winter 2027 Syllabus

Sections

1 Term

Seminar 1Open

ID: 25509

0 / 999 enrolled

DAYS:TBD

TIME:TBD

LOCATION:TBD

units

CS 353: Seminar on Logic & Formal Philosophy (PHIL 391)

2-4 units · Letter or Credit/No Credit

Contemporary work. May be repeated a total of three times for credit.

Offered in Winter 2027 at Stanford University.

Winter 2027 sections

Seminar — TBA TBA (Graduate)

More CS courses

CS 349D: AI Inference Infrastructure
CS 349E: Efficient ML Infrastructure at Scale
CS 349F: Fabric Architectures For AI Systems
CS 349H: Software Techniques for Emerging Hardware Platforms (EE 349)
CS 349M: Machine Learning for Software Engineering
CS 350S: Privacy-Preserving Systems
CS 354: Topics in Intractability: Unfulfilled Algorithmic Fantasies
CS 355: Advanced Topics in Cryptography
CS 356: Topics in Computer and Network Security
CS 357S: Formal Methods for Computer Systems
CS 359D: Quantum Complexity Theory
CS 359E: Quantum Complexity Theory

All CS courses · All departments