From 70faa31b6491920db19e883378cc66c6bcf58bdf Mon Sep 17 00:00:00 2001 From: Martin Braquet <25173236+MartinBraquet@users.noreply.github.com> Date: Tue, 12 May 2020 14:44:39 +0200 Subject: [PATCH] [INGI1123] Fix line break in APE --- src/q6/calcu-INGI1123/exercises/calcu_tp5.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex b/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex index 91ddd2937..a3e5104a6 100644 --- a/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex +++ b/src/q6/calcu-INGI1123/exercises/calcu_tp5.tex @@ -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} -- GitLab