Wiskunde 1: Logica en algebra (2023-24 S1)