Lamport's video course is great (it's linked from the hyperbook, but just in case here's the direct link: https://lamport.azurewebsites.net/video/videos.html ht

Lamport's video course is great (it's linked from the hyperbook, but just in case here's the direct link: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html). If you've used Python before that's more than enough background to get started, no other CS knowledge required.