Lectures related to Hoare Logic: Postconditions and Preconditions

Related lectures (32)

Introduces programming basics and control structures, emphasizing hands-on practice for exam preparation and project work.

Covers the programming of a robot to follow a black line using bottom sensors.