Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Continue writing test.exam-20190328 | David A. Madore | 2019-03-26 | 1 | -13/+78 |
* | Start writing an exam. | David A. Madore | 2019-03-26 | 1 | -0/+193 |
* | Take into account Antoine's remarks, but they may be too late.exam-20190205 | David A. Madore | 2019-02-03 | 1 | -26/+31 |
* | Take into account Olivier's remarks on exam. | David A. Madore | 2019-02-01 | 1 | -20/+25 |
* | Prepare for printing. | David A. Madore | 2019-01-31 | 1 | -11/+11 |
* | Cursory proofreading. | David A. Madore | 2019-01-31 | 1 | -7/+12 |
* | Missing words (thanks, Michaël). | David A. Madore | 2019-01-29 | 1 | -2/+2 |
* | Write answers to exercise on CFGs. | David A. Madore | 2019-01-28 | 1 | -8/+204 |
* | Add an intermediate question to make exercise easier. | David A. Madore | 2019-01-24 | 1 | -20/+25 |
* | Add an exercise on CFGs. | David A. Madore | 2019-01-24 | 1 | -1/+78 |
* | Answers to exercise about computability. | David A. Madore | 2019-01-23 | 1 | -0/+23 |
* | Adopt convention of underlining the epsilon symbol in regexps. | David A. Madore | 2019-01-23 | 1 | -10/+10 |
* | A very silly exercise on computability. | David A. Madore | 2019-01-23 | 1 | -0/+28 |
* | Start writing exam: exercise on finite automata. | David A. Madore | 2019-01-23 | 1 | -0/+372 |
* | Typo (thanks, Antoine). | David A. Madore | 2019-01-23 | 1 | -1/+1 |
* | Minor clarifications about computability and universality. | David A. Madore | 2019-01-16 | 1 | -27/+38 |
* | Fix bijection between ℕ² and ℕ. | David A. Madore | 2019-01-16 | 1 | -3/+3 |
* | Various improvements to index. | David A. Madore | 2019-01-07 | 1 | -25/+31 |
* | Fix thinko. | David A. Madore | 2018-12-10 | 1 | -2/+2 |
* | Typos in slides. | David A. Madore | 2018-10-17 | 1 | -2/+2 |
* | Possible set of slides for first course. | David A. Madore | 2018-10-16 | 1 | -0/+633 |
* | Copy a lot of exercises into the course notes.printed-2018 | David A. Madore | 2018-10-03 | 1 | -2/+2586 |
* | Clarify that answer does not need to be formalized as such. | David A. Madore | 2018-03-23 | 1 | -0/+5 |
* | Typo. | David A. Madore | 2018-03-23 | 1 | -1/+1 |
* | Merge branch 'master' of git.madore.org:teach/inf105 | David A. Madore | 2018-03-23 | 1 | -5/+5 |
|\ | |||||
| * | Use \Rightarrow rather than \rightarrow to indicate derivations. | David A. Madore | 2018-03-16 | 1 | -5/+5 |
* | | Prepare for printing.exam-20180322 | David A. Madore | 2018-03-19 | 1 | -8/+12 |
* | | Take into account Olivier's remarks. | David A. Madore | 2018-03-19 | 1 | -28/+32 |
* | | Take into account Antoine's remarks. | David A. Madore | 2018-03-18 | 1 | -15/+24 |
* | | Typo. | David A. Madore | 2018-03-16 | 1 | -1/+1 |
* | | Answers to third exercise. | David A. Madore | 2018-03-16 | 1 | -7/+51 |
* | | Answers to second exercise. | David A. Madore | 2018-03-16 | 1 | -3/+106 |
* | | Answers to exercise 1. | David A. Madore | 2018-03-16 | 1 | -1/+179 |
* | | Change names, add Git line, suggest grading. | David A. Madore | 2018-03-16 | 1 | -14/+22 |
* | | Third exercise. | David A. Madore | 2018-03-15 | 1 | -0/+99 |
* | | Add an exercise on formal grammars. | David A. Madore | 2018-03-14 | 1 | -0/+40 |
* | | Catch-up exam: an exercise on finite automata. | David A. Madore | 2018-03-14 | 1 | -0/+147 |
|/ | |||||
* | Improve spacing. | David A. Madore | 2018-03-08 | 1 | -2/+2 |
* | Merge branch 'exam-20180206' of vega.gro-tsen.net:tex/inf105 into exam-20180206 | David A. Madore | 2018-03-08 | 1 | -2/+2 |
|\ | |||||
| * | Typos (thanks, Antoine). | David A. Madore | 2018-02-06 | 1 | -2/+2 |
* | | More comments on test. | David A. Madore | 2018-03-08 | 1 | -3/+60 |
* | | Add various comments on answers to test questions. | David A. Madore | 2018-02-21 | 1 | -3/+34 |
|/ | |||||
* | Fix thinko (thanks, Mikaël).exam-20180206 | David A. Madore | 2018-01-31 | 1 | -1/+1 |
* | Add a remark on the point of the last exercise. | David A. Madore | 2018-01-30 | 1 | -0/+12 |
* | Add an extra question. | David A. Madore | 2018-01-30 | 1 | -1/+65 |
* | Eliminate ugly slash. | David A. Madore | 2018-01-30 | 1 | -1/+1 |
* | Make corrections suggested by Olivier. | David A. Madore | 2018-01-29 | 1 | -19/+21 |
* | Remove now spurious clause. | David A. Madore | 2018-01-29 | 1 | -1/+1 |
* | Typo. | David A. Madore | 2018-01-29 | 1 | -1/+1 |
* | Simple Perl program used to generate TikZ trees. | David A. Madore | 2018-01-29 | 1 | -0/+116 |