|
|
1525a3e1a1
|
[TI] Start NP class and proof verification section
|
2025-11-25 12:34:44 +01:00 |
|
|
|
b9a0692a68
|
[TI] Prepare next section
|
2025-11-20 10:17:20 +01:00 |
|
|
|
6533d01016
|
[TI] Fix error
|
2025-11-15 12:14:19 +01:00 |
|
|
|
ca39d24145
|
[TI] Catch up and work ahead slightly
|
2025-11-14 16:03:59 +01:00 |
|
|
|
d7c9135c79
|
[TI] Summarized up to (including) 6.3
|
2025-11-14 14:37:15 +01:00 |
|
|
|
fc416d1016
|
[TI] Prepare new chapter
|
2025-11-14 10:32:03 +01:00 |
|
|
|
6d631f6aa8
|
[TI] Finished chapter 5 mostly
|
2025-11-12 16:44:30 +01:00 |
|
|
|
f2e975ade7
|
[TI] Summarized reduction chapter
|
2025-11-11 16:31:43 +01:00 |
|
|
|
9ac7514ab6
|
[TI] Grammar fixes, update to new helpers
|
2025-11-10 07:49:35 +01:00 |
|
|
|
859a5f2842
|
[TI] Fix some spelling errors
|
2025-10-31 15:41:42 +01:00 |
|
|
|
c9d38f5024
|
[TI] Diagnolaization section done
|
2025-10-30 13:56:15 +01:00 |
|
|
|
d98fdef784
|
[TI] Fix a few typos
|
2025-10-26 08:23:52 +01:00 |
|
|
|
905b0335fc
|
[TI] Finish up last parts of non-deterministic EA
|
2025-10-24 17:28:32 +02:00 |
|
|
|
fab61b45aa
|
[TI] Prepare computability
|
2025-10-24 17:20:56 +02:00 |
|
|
|
848f362871
|
[TI] Finish turing machines section
|
2025-10-24 17:20:48 +02:00 |
|
|
|
90152a6066
|
[TI] Format, add start of worked example
|
2025-10-23 17:51:02 +02:00 |
|
|
|
28f446e6d7
|
[TI] Notes from exercise session
|
2025-10-23 17:14:16 +02:00 |
|
|
|
3cf40eb216
|
[TI] Multi-Band TM
|
2025-10-22 16:58:08 +02:00 |
|
|
|
b6c07f6d28
|
[TI] Start multi band TM
|
2025-10-22 16:22:29 +02:00 |
|
|
|
fa05216885
|
[NumCS] Finish up section 5.3
|
2025-10-18 16:49:03 +02:00 |
|
|
|
d98ddd1697
|
[TI] Update to new helpers
|
2025-10-18 13:49:33 +02:00 |
|
|
|
07e55b0066
|
[TI] Finish section on proofs of nonexistance
|
2025-10-17 07:47:08 +02:00 |
|
|
|
ac6c7106f2
|
[TI] Add some notes on Kolmogorov-Complexity argument
|
2025-10-17 07:39:15 +02:00 |
|
|
|
5528b6863a
|
[TI] Turing machine intro
|
2025-10-15 17:09:03 +02:00 |
|
|
|
2b5e240914
|
[TI] Prepare section on turing machines
|
2025-10-15 16:09:47 +02:00 |
|
|
|
ff4eb22f13
|
[TI] Non-determinism: Done up to T3.2, i.e. current state
|
2025-10-10 21:31:26 +02:00 |
|
|
|
61ef0e2af5
|
[TI] Start section on non-determinism, done up to definition 3.3
|
2025-10-10 18:22:40 +02:00 |
|
|
|
8c3fb38836
|
[TI] Fix more spelling errors
|
2025-10-10 17:55:54 +02:00 |
|
|
|
24f247da4b
|
[TI] Fix another error
|
2025-10-10 16:38:46 +02:00 |
|
|
|
4a48f7368c
|
[TI] Fix error
|
2025-10-10 15:50:13 +02:00 |
|
|
|
975b131b03
|
[TI] Prepare non-determinism section
|
2025-10-10 08:58:55 +02:00 |
|
|
|
24f50af512
|
[TI] Finish nonexistance proof section
|
2025-10-10 08:58:00 +02:00 |
|
|
|
01154f2159
|
[TI] Clean up section on finite automata representation
|
2025-10-09 21:29:59 +02:00 |
|
|
|
3c8394440b
|
[TI] Exercise Session Notes
|
2025-10-09 19:02:38 +02:00 |
|
|
|
4c485cc6f5
|
[TI] Proofs of Nonexistance: Example
|
2025-10-09 14:07:40 +02:00 |
|
|
|
decbd55c7e
|
[TI] Continue proofs of nonexistance
|
2025-10-09 12:39:46 +02:00 |
|
|
|
2806a14365
|
[TI] Start nonexistance proof section up to lemma 3.3 in the book
|
2025-10-08 18:27:37 +02:00 |
|
|
|
fcfef09d00
|
[NumCS] Credits for images
|
2025-10-08 17:20:17 +02:00 |
|
|
|
e01166bfed
|
[TI] Add some intuition for classes
|
2025-10-05 07:20:03 +02:00 |
|
|
|
4bb517a0f0
|
[TI] Catch up to current state
|
2025-10-04 11:28:46 +02:00 |
|
|
|
7be19c839d
|
[TI] Finish finite automata representation section
|
2025-10-04 10:08:43 +02:00 |
|
|
|
28e588ba5c
|
[TI] Continue summary on finite automata
|
2025-10-03 19:42:49 +02:00 |
|
|
|
5f416d9303
|
[TI] Continue for finite automaton
|
2025-10-03 18:36:52 +02:00 |
|
|
|
b73c287341
|
[TI] Introduction to automata
|
2025-10-02 11:21:34 +02:00 |
|
|
|
bb074905da
|
[TI] Fix another error
|
2025-10-01 16:28:12 +02:00 |
|
|
|
24eb98bc34
|
[TI] Fix error
|
2025-10-01 15:43:51 +02:00 |
|
|
|
4609055084
|
[TI] Finish up kolmogorov-complexity section
|
2025-09-29 21:04:52 +02:00 |
|
|
|
e38d8c6c94
|
[TI] Kolmogorov-Complexity
|
2025-09-29 17:29:31 +02:00 |
|
|
|
0a7b8bc75f
|
[TI] More on kolmogorov-complexity
|
2025-09-29 13:20:09 +02:00 |
|
|
|
e15100ce67
|
[TI] Fix compile errors
|
2025-09-28 19:09:09 +02:00 |
|
