Markov processes and the bellman equation – A more formal introduction to RL