summaryrefslogtreecommitdiffstats
path: root/exercices-inf110.tex
Commit message (Collapse)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 ↵David A. Madore2023-11-211-0/+140
| | | | nor co-semi-decidable.
* 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