Recent SemestersSpring 2027, Spring 2026, Spring 2024Class Size23–28 studentsCredits3PrerequisiteCIS 201 , Minimum grade C Transfers ToCSUDescriptionThis course will cover logic in computer science as a tool to establish truth through various techniques of proof. The goal of this course is for us to learn formal logic as a theoretical foundation and its application to topics in discrete mathematics and computer science. C-ID COMP 152.Usually HeldMon Wed 9:35am–11:05am, Thu 11:20am–2:25pm, Thu 11:20am–2:30pm, Tue Thu 12:45pm–2:10pm 