Skip to content
Extraits de code Groupes Projets
Non vérifiée Valider fc8d367c rédigé par Martin Braquet's avatar Martin Braquet Validation de GitHub
Parcourir les fichiers

Merge pull request #819 from MartinBraquet/INGI1123-TP

[INGI1123] Fix line break in APE
parents c7868ba0 70faa31b
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\): ...@@ -137,6 +137,7 @@ We recall the definition of \(K\):
\(K = \{i : \phi_i(i) \textnormal{ halts}\}\). \(K = \{i : \phi_i(i) \textnormal{ halts}\}\).
Assume \(K\) is recursive. Assume \(K\) is recursive.
We can then define a function We can then define a function
\[ \[
f(x) = \begin{cases} c \in \bar{K}\,, & \textnormal{ if } x \in K\,,\\ f(x) = \begin{cases} c \in \bar{K}\,, & \textnormal{ if } x \in K\,,\\
d \in K\,, & \textnormal{ if } x \in \bar{K}\,. \end{cases} 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