COMP 335/G (Fall, 2023): INTRO/THEORETICAL COMP SCI