summaryrefslogtreecommitdiffstats
path: root/exercices-inf110.tex
Commit message (Expand)AuthorAgeFilesLines
* Prepare exercise sheet for publication.David A. Madore2023-11-211-19/+23
* Exercise on looping Turing machines.David A. Madore2023-11-211-0/+71
* Exercise showing that the indices of total functions is not semi-decidable no...David A. Madore2023-11-211-0/+140
* The graph of the Ackermann function is p.r.David A. Madore2023-11-201-0/+235
* More exercises on computability.David A. Madore2023-11-191-13/+250
* Some exercises on computability.David A. Madore2023-11-171-0/+350