Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix various small mistakes or unclear points. | David A. Madore | 2023-11-28 | 1 | -9/+8 |
* | Exercise on computable inseparability. | David A. Madore | 2023-11-21 | 1 | -0/+129 |
* | Prepare exercise sheet for publication. | David A. Madore | 2023-11-21 | 1 | -19/+23 |
* | Exercise on looping Turing machines. | David A. Madore | 2023-11-21 | 1 | -0/+71 |
* | Exercise showing that the indices of total functions is not semi-decidable no... | David A. Madore | 2023-11-21 | 1 | -0/+140 |
* | The graph of the Ackermann function is p.r. | David A. Madore | 2023-11-20 | 1 | -0/+235 |
* | More exercises on computability. | David A. Madore | 2023-11-19 | 1 | -13/+250 |
* | Some exercises on computability. | David A. Madore | 2023-11-17 | 1 | -0/+350 |