summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* Add version control line.David A. Madore2016-01-292-0/+11
|
* More re-reading.David A. Madore2016-01-291-31/+39
|
* Slight change of notation/convention on forfeiting games.David A. Madore2016-01-291-12/+11
|
* Definition by non-well-founded induction.David A. Madore2015-12-181-0/+67
|
* Reorganized by moving stuff on non-well-founded graphs to a different section.David A. Madore2015-12-181-59/+81
|
* Incremental improvements.David A. Madore2015-12-151-20/+69
|
* Transitive collapse, combinatorial games.David A. Madore2015-12-111-35/+182
|
* Very few changes.David A. Madore2015-12-081-7/+14
|
* New terminology: "downstream-closed" and "downstream-inductive", clarify things.David A. Madore2015-12-081-19/+83
|
* Terminology: use "sink" rather than "terminal (vertex)".David A. Madore2015-12-061-35/+34
|
* Terminology: use "out-neighbor" rather than "successor".David A. Madore2015-12-051-40/+40
|
* TODO of sorts.David A. Madore2015-12-051-0/+5
|
* Transitive collapse, etc.David A. Madore2015-12-041-16/+69
|
* Grundy function on a graph.David A. Madore2015-12-041-2/+28
|
* Well-founded graphs and well-founded induction.David A. Madore2015-12-041-0/+206
|
* Update outline.David A. Madore2015-12-041-2/+2
|
* State and prove von Neumann's minimax theorem.David A. Madore2015-12-031-16/+137
|
* Prove the existence of Nash equilibria.David A. Madore2015-12-031-32/+141
|
* Start writing about games in normal form.David A. Madore2015-12-031-0/+121
|
* Game of nim.David A. Madore2015-11-301-0/+9
|
* Fix description of Choquet's game.David A. Madore2015-11-301-10/+11
|
* Blah.David A. Madore2015-11-301-1/+1
|
* Choquet's topological game.David A. Madore2015-11-301-1/+17
|
* More examples of games, and a discussion about preposing choices.David A. Madore2015-11-251-7/+85
|
* Start writing course notes.David A. Madore2015-11-251-0/+302
|
* Update provisional outline.David A. Madore2015-11-241-1/+4
|
* Provisional outline.David A. Madore2015-11-241-0/+102