11 Commits

Author	SHA1	Message	Date
Janis Hutz	b73c287341	[TI] Introduction to automata	2025-10-02 11:21:34 +02:00
Janis Hutz	bb074905da	[TI] Fix another error	2025-10-01 16:28:12 +02:00
Janis Hutz	24eb98bc34	[TI] Fix error	2025-10-01 15:43:51 +02:00
Janis Hutz	4609055084	[TI] Finish up kolmogorov-complexity section	2025-09-29 21:04:52 +02:00
Janis Hutz	e38d8c6c94	[TI] Kolmogorov-Complexity	2025-09-29 17:29:31 +02:00
Janis Hutz	0a7b8bc75f	[TI] More on kolmogorov-complexity	2025-09-29 13:20:09 +02:00
Janis Hutz	afec2013b9	[TI] Include new macros, start new section	2025-09-26 18:34:30 +02:00
Janis Hutz	e598470788	[TI] Start new section	2025-09-26 15:37:20 +02:00
Janis Hutz	6ac6ee24cc	[TI] Fix errors, add useful property	2025-09-25 16:50:11 +02:00
Janis Hutz	219ad3ec0a	[TI] Add title page	2025-09-25 11:22:03 +02:00
Janis Hutz	ea0e9e57f1	[TI] Add summary	2025-09-25 11:05:12 +02:00