Skip to content
Extraits de code Groupes Projets
Valider 70faa31b rédigé par Martin Braquet's avatar Martin Braquet
Parcourir les fichiers

[INGI1123] Fix line break in APE

parent c7868ba0
Aucune branche associée trouvée
Aucune étiquette associée trouvée
Aucune requête de fusion associée trouvée
......@@ -137,6 +137,7 @@ We recall the definition of \(K\):
\(K = \{i : \phi_i(i) \textnormal{ halts}\}\).
Assume \(K\) is recursive.
We can then define a function
\[
f(x) = \begin{cases} c \in \bar{K}\,, & \textnormal{ if } x \in K\,,\\
d \in K\,, & \textnormal{ if } x \in \bar{K}\,. \end{cases}
......
0% Chargement en cours ou .
You are about to add 0 people to the discussion. Proceed with caution.
Terminez d'abord l'édition de ce message.
Veuillez vous inscrire ou vous pour commenter