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).

If you've used Python before that's more than enough background to get started, no other CS knowledge required.