teach/mitro206.git - MITRO206 (théories des jeux)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Isolate Brouwer's fixed point theorem.	David A. Madore	2016-02-22	1	-9/+14
\|
*	More coin-turning (a bidimensional game).	David A. Madore	2016-02-22	1	-1/+14
\|
*	Various clarifications and additions (notably, coin-turning games).	David A. Madore	2016-02-22	1	-8/+115
\|
*	Illustration for Hercules-versus-Hydra game.	David A. Madore	2016-02-16	1	-1/+62
\|
*	Describe chomp and Hackenbush.	David A. Madore	2016-02-16	1	-5/+123
\|
*	Move the ultimatum game further down.	David A. Madore	2016-02-16	1	-47/+46
\|
*	Typos (thanks, "z").	David A. Madore	2016-02-15	1	-2/+2
\|
*	Another memento.	David A. Madore	2016-02-15	1	-0/+2
\|
*	Typo.	David A. Madore	2016-02-14	1	-2/+2
\|
*	Gale-Stewart games.	David A. Madore	2016-02-14	1	-1/+15
\|
*	Things to think about (to be expanded).	David A. Madore	2016-02-14	1	-0/+6
\|
*	Battle of the sexes game.	David A. Madore	2016-02-14	1	-2/+29
\|
*	Hercules vs the Hydra.	David A. Madore	2016-02-14	1	-14/+35
\|
*	Various gain matrices. Describe the gain of "chicken".	David A. Madore	2016-02-14	1	-21/+81
\|
*	Briefly describe the prisoner's dilemma.	David A. Madore	2016-02-14	1	-5/+30
\|
*	Last statement of the non-well-founded induction theorem.	David A. Madore	2016-01-30	1	-2/+11
\|
*	Second proof (using ordinals) of the lemma.	David A. Madore	2016-01-30	1	-0/+23
\|
*	Complete/fix the proof of the non-well-founded induction theorem (and its ↵	David A. Madore	2016-01-30	1	-59/+76
\| \| \| \|	key lemma).
*	Steps toward proving the non-well-founded-induction theorem by a fixed point ↵	David A. Madore	2016-01-30	1	-13/+74
\| \| \| \|	argument.
*	Fix missing condition.	David A. Madore	2016-01-29	1	-3/+4
\|
*	Add version control line.	David A. Madore	2016-01-29	1	-0/+9
\|
*	More re-reading.	David A. Madore	2016-01-29	1	-31/+39
\|
*	Slight change of notation/convention on forfeiting games.	David A. Madore	2016-01-29	1	-12/+11
\|
*	Definition by non-well-founded induction.	David A. Madore	2015-12-18	1	-0/+67
\|
*	Reorganized by moving stuff on non-well-founded graphs to a different section.	David A. Madore	2015-12-18	1	-59/+81
\|
*	Incremental improvements.	David A. Madore	2015-12-15	1	-20/+69
\|
*	Transitive collapse, combinatorial games.	David A. Madore	2015-12-11	1	-35/+182
\|
*	Very few changes.	David A. Madore	2015-12-08	1	-7/+14
\|
*	New terminology: "downstream-closed" and "downstream-inductive", clarify things.	David A. Madore	2015-12-08	1	-19/+83
\|
*	Terminology: use "sink" rather than "terminal (vertex)".	David A. Madore	2015-12-06	1	-35/+34
\|
*	Terminology: use "out-neighbor" rather than "successor".	David A. Madore	2015-12-05	1	-40/+40
\|
*	TODO of sorts.	David A. Madore	2015-12-05	1	-0/+5
\|
*	Transitive collapse, etc.	David A. Madore	2015-12-04	1	-16/+69
\|
*	Grundy function on a graph.	David A. Madore	2015-12-04	1	-2/+28
\|
*	Well-founded graphs and well-founded induction.	David A. Madore	2015-12-04	1	-0/+206
\|
*	State and prove von Neumann's minimax theorem.	David A. Madore	2015-12-03	1	-16/+137
\|
*	Prove the existence of Nash equilibria.	David A. Madore	2015-12-03	1	-32/+141
\|
*	Start writing about games in normal form.	David A. Madore	2015-12-03	1	-0/+121
\|
*	Game of nim.	David A. Madore	2015-11-30	1	-0/+9
\|
*	Fix description of Choquet's game.	David A. Madore	2015-11-30	1	-10/+11
\|
*	Blah.	David A. Madore	2015-11-30	1	-1/+1
\|
*	Choquet's topological game.	David A. Madore	2015-11-30	1	-1/+17
\|
*	More examples of games, and a discussion about preposing choices.	David A. Madore	2015-11-25	1	-7/+85
\|
*	Start writing course notes.	David A. Madore	2015-11-25	1	-0/+302