rapport/main.pdf

reviewed

This is a binary file and will not be displayed.

+3 -3

rapport/proofs.typ

reviewed

··· 7 7 8 8 Soit $Q' : S times A -> [0, 1]$ définit ainsi: 9 9 10 10 - $ forall s in S, Q'(s, 1) = 2 Q(s, 1) $ <dkl-zero-a1> 11 11 - $ forall s in S, Q'(s, 2) = 1/2 Q(s, 2) $ <dkl-zero-a2> 12 12 - $ forall s in S, forall a in A - {1, 2}, Q'(s, a) = Q(s, a) $ <dkl-zero-else> 10 10 + $ forall s in S, Q'(s, 1) := 2 Q(s, 1) $ <dkl-zero-a1> 11 11 + $ forall s in S, Q'(s, 2) := 1/2 Q(s, 2) $ <dkl-zero-a2> 12 12 + $ forall s in S, forall a in A - {1, 2}, Q'(s, a) := Q(s, a) $ <dkl-zero-else> 13 13 14 14 #let why = (content, reference) => $underbracket(#content, "d'après " #ref(reference))$ 15 15 #let crossout = (content, reference) => $why(cancel(#content), reference)$