Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 261100a0fc [TI] Compact: fix translation Janis Hutz 2025-12-10 16:18:26 +01:00
• 3af9f1d50b [TI] Compact: Add grammar intro Janis Hutz 2025-12-10 15:09:39 +01:00
• 2fa36dc985 [TI] Compact: Fixes Janis Hutz 2025-12-10 13:58:33 +01:00
• d3a1df6a06 [TI] Compact: Add another result Janis Hutz 2025-12-10 10:18:00 +01:00
• 7d172e5cd6 [TI] Recompile Janis Hutz 2025-12-10 10:17:46 +01:00
• 4def527709 [README] Update Janis Hutz 2025-12-10 09:55:36 +01:00
• 8345d1f456 [TI] Complete rename Janis Hutz 2025-12-10 09:13:50 +01:00
• 3dd2195f6a [TI] rename RobinB27 2025-12-09 18:14:57 +01:00
• afa27510fd [TI] Grammar RobinB27 2025-12-09 18:11:27 +01:00
• 1c8dac60fe [TI] Start grammars Janis Hutz 2025-12-09 11:54:17 +01:00
• 6012261f77 [TI] Compact: Almost complete Janis Hutz 2025-12-09 10:58:20 +01:00
• fc3e3ea5f0 [TI] Fixes Janis Hutz 2025-12-09 09:06:51 +01:00
• 833a8b5c5d [TI] Compact: Start NP-completeness Janis Hutz 2025-12-08 10:14:29 +01:00
• c9af05ed2c [TI] add ti-formulary RobinB27 2025-12-07 18:28:18 +01:00
• 14070f6839 [TI] Compact: Basically done up to (including) 6.5 Janis Hutz 2025-12-06 14:44:10 +01:00
• 5c7d4762a1 [TI] Fix errors Janis Hutz 2025-12-06 12:25:43 +01:00
• 3559973e6d [TI] Compact: Finish computability, start complexity Janis Hutz 2025-12-06 12:25:37 +01:00
• c656bfa2e7 [TI] Compact: Almost finish reductions Janis Hutz 2025-12-06 10:31:33 +01:00
• da96fbdb48 [TI] Fix error Janis Hutz 2025-12-03 16:57:09 +01:00
• 7e4fa44539 [TI] Compact: Start Janis Hutz 2025-12-02 17:15:04 +01:00
• b6ddb83224 [TI] Catch up Janis Hutz 2025-12-02 10:16:14 +01:00
• 7ec73cd489 [NumCS] Prepare next chapter Janis Hutz 2025-12-01 08:44:11 +01:00
• 2f27219526 [TI] Fix error Janis Hutz 2025-11-28 15:18:50 +01:00
• 68ee2ec327 [TI] Almost catch up Janis Hutz 2025-11-26 16:44:51 +01:00
• 30f9d722df [TI] Finish class NP, start NP completeness Janis Hutz 2025-11-26 15:28:24 +01:00
• 1525a3e1a1 [TI] Start NP class and proof verification section Janis Hutz 2025-11-25 12:34:44 +01:00
• b9a0692a68 [TI] Prepare next section Janis Hutz 2025-11-20 10:17:20 +01:00
• 6533d01016 [TI] Fix error Janis Hutz 2025-11-15 12:14:19 +01:00
• ca39d24145 [TI] Catch up and work ahead slightly Janis Hutz 2025-11-14 16:03:59 +01:00
• d7c9135c79 [TI] Summarized up to (including) 6.3 Janis Hutz 2025-11-14 14:37:15 +01:00
• fc416d1016 [TI] Prepare new chapter Janis Hutz 2025-11-14 10:32:03 +01:00
• 64d82ef84d [NumCS] Compile Janis Hutz 2025-11-13 12:12:55 +01:00
• 885c4141b7 [NumCS] Done up to Chapter 6.9 Janis Hutz 2025-11-13 12:10:49 +01:00
• 7574f094bb [NumCS] ++ Ch. 7 draft RobinB27 2025-11-13 11:57:03 +01:00
• 6d631f6aa8 [TI] Finished chapter 5 mostly Janis Hutz 2025-11-12 16:44:30 +01:00
• e7f5ef77da [NumCS] Almost finish 6.4 and start 6.5 Janis Hutz 2025-11-12 13:26:20 +01:00
• f2e975ade7 [TI] Summarized reduction chapter Janis Hutz 2025-11-11 16:31:43 +01:00
• 9546b1927f [NumCS] Finish 6.3, prepare 6.4 Janis Hutz 2025-11-11 14:20:23 +01:00
• 5c23befbbb [NumCS] Finish 6.2 and start 6.3 Janis Hutz 2025-11-11 09:40:22 +01:00
• 7b91173804 [NumCS] Fix small error Janis Hutz 2025-11-10 14:43:39 +01:00
• 97caaa59b8 [NumCS] Start Chapter 6.1, fix some errors Janis Hutz 2025-11-10 12:05:10 +01:00
• 9ac7514ab6 [TI] Grammar fixes, update to new helpers Janis Hutz 2025-11-10 07:49:35 +01:00
• 51653841e7 [TI] Compact: Clarifications & spelling fixes Janis Hutz 2025-11-10 07:41:16 +01:00
• bfd10cc1aa [TI] Compact: Compile Janis Hutz 2025-11-09 12:17:21 +01:00
• f317bdefaa [TI] Compact: Fix error Janis Hutz 2025-11-09 12:16:56 +01:00
• 57d96ac156 [TI] Compact: Improve section on Kolmogorov complexity proofs Janis Hutz 2025-11-09 07:26:49 +01:00
• cc0ff6d3cd [TI] Compact: Fix spacing Janis Hutz 2025-11-09 07:14:53 +01:00
• 7f0392be0b [TI] Compact: More notes Janis Hutz 2025-11-09 07:12:11 +01:00
• 572cbad1c2 [TI] Compact: Add some notes Janis Hutz 2025-11-07 12:18:37 +01:00
• 19ca631705 [TI] Compact: Add better explanation Janis Hutz 2025-11-04 15:57:36 +01:00
• 22b131efd7 [TI] Compact: Fix a few errors Janis Hutz 2025-11-04 15:51:38 +01:00
• 5429ce9bd3 [NumCS] Finish up to the end of Chapter 5 minus 5.4 Janis Hutz 2025-11-04 11:41:30 +01:00
• c6d1eb9bb0 [NumCS] Update to new helpers version Janis Hutz 2025-11-03 16:06:42 +01:00
• 0176e695cd [NumCS] Up to remark 5.7.16 Janis Hutz 2025-11-03 13:40:58 +01:00
• 4927a97ec1 [NumCS] Start Monte-Carlo quadrature Janis Hutz 2025-11-03 09:42:35 +01:00
• 08e9a2cac2 [TI] Compact: Add notes on proofs Janis Hutz 2025-11-03 08:16:21 +01:00
• bbd5959ab8 [TI] Compact: Add theorem 5.3 Janis Hutz 2025-11-01 16:29:11 +01:00
• 3e26c08ca2 [TI] Compact: Add section on minimum states proofs Janis Hutz 2025-11-01 08:08:57 +01:00
• 5db81cb563 [TI] Start compact summary Janis Hutz 2025-10-31 15:41:50 +01:00
• 859a5f2842 [TI] Fix some spelling errors Janis Hutz 2025-10-31 15:41:42 +01:00
• f59936f814 [NumCS] Finish up nd quad Janis Hutz 2025-10-30 13:56:32 +01:00
• c9d38f5024 [TI] Diagnolaization section done Janis Hutz 2025-10-30 13:56:15 +01:00
• d0ba13482e [NumCS] Add remark Janis Hutz 2025-10-29 17:25:19 +01:00
• 76fd14e878 [NumCS] Almost catch up Janis Hutz 2025-10-28 16:28:49 +01:00
• 15ce3a1d3b [NumCS] Finish up adaptive quadrature Janis Hutz 2025-10-28 11:29:31 +01:00
• 0a17657d2c [NumCS] Finish clenshaw-curtis Janis Hutz 2025-10-28 11:02:38 +01:00
• 72db277b0a [NumCS] Start clenshaw-curtis Janis Hutz 2025-10-27 17:37:35 +01:00
• 8bebbe584c [Analysis] Notes from exercise session Janis Hutz 2025-10-27 11:22:06 +01:00
• 3a4dfc028d [NumCS] Prepare next sections Janis Hutz 2025-10-27 10:37:32 +01:00
• 629f97f4be [Analysis] Add tricks Janis Hutz 2025-10-27 08:16:11 +01:00
• d98fdef784 [TI] Fix a few typos Janis Hutz 2025-10-26 08:23:52 +01:00
• 905b0335fc [TI] Finish up last parts of non-deterministic EA Janis Hutz 2025-10-24 17:28:32 +02:00
• fab61b45aa [TI] Prepare computability Janis Hutz 2025-10-24 17:20:56 +02:00
• 848f362871 [TI] Finish turing machines section Janis Hutz 2025-10-24 17:20:48 +02:00
• 1df72cc6ed [NumCS] Finish Chapter 5.5.1 Janis Hutz 2025-10-24 16:16:33 +02:00
• f05305b5a7 [Analysis] Better structure Janis Hutz 2025-10-24 11:06:17 +02:00
• 90152a6066 [TI] Format, add start of worked example Janis Hutz 2025-10-23 17:51:02 +02:00
• 28f446e6d7 [TI] Notes from exercise session Janis Hutz 2025-10-23 17:14:16 +02:00
• 3cf40eb216 [TI] Multi-Band TM Janis Hutz 2025-10-22 16:58:08 +02:00
• b6c07f6d28 [TI] Start multi band TM Janis Hutz 2025-10-22 16:22:26 +02:00
• 9bc2b51aca [NumCS] Continue non-equidistant quadrature Janis Hutz 2025-10-22 15:54:31 +02:00
• 2a4f519fde [NumCS] Prepare next sections for quadrature Janis Hutz 2025-10-21 17:05:20 +02:00
• c5de4583fb [Analysis] Basically catch up Janis Hutz 2025-10-21 16:25:19 +02:00
• 1692043d40 [NumCS] Add credits to some files Janis Hutz 2025-10-21 13:49:20 +02:00
• c295719ca4 [Analysis] Finish section 3.2 Janis Hutz 2025-10-19 11:42:41 +02:00
• 6214d2cac9 [Analysis] Summarize up to proposition 3.2.9 Janis Hutz 2025-10-19 08:37:02 +02:00
• 6f0d67aa75 [NumCS] style update (to remove warning from amsmath) Janis Hutz 2025-10-19 08:36:46 +02:00
• fa05216885 [NumCS] Finish up section 5.3 Janis Hutz 2025-10-18 16:49:03 +02:00
• d98ddd1697 [TI] Update to new helpers Janis Hutz 2025-10-18 13:49:33 +02:00
• 1c93c195c1 [Analysis] Update to new helpers Janis Hutz 2025-10-18 13:45:21 +02:00
• 580928bee1 [NumCS] Update to new helpers Janis Hutz 2025-10-18 13:40:39 +02:00
• 8c34f7196d [Analysis] Improve quote Janis Hutz 2025-10-18 09:35:29 +02:00
• e37378d7c7 [NumCS] Integrate numeric quadrature Janis Hutz 2025-10-18 09:09:17 +02:00
• e71350b8f7 [Analysis] Prepare new section Janis Hutz 2025-10-17 11:09:43 +02:00
• 07e55b0066 [TI] Finish section on proofs of nonexistance Janis Hutz 2025-10-17 07:47:08 +02:00
• ac6c7106f2 [TI] Add some notes on Kolmogorov-Complexity argument Janis Hutz 2025-10-17 07:39:15 +02:00
• 60bb87d0fe [NumCS] Start section on quadrature, add quote Janis Hutz 2025-10-16 11:57:34 +02:00
• 2161d4417e [NumCS] Add evaliptrig Janis Hutz 2025-10-16 11:01:11 +02:00
• 5528b6863a [TI] Turing machine intro Janis Hutz 2025-10-15 17:09:03 +02:00
• 2b5e240914 [TI] Prepare section on turing machines Janis Hutz 2025-10-15 16:09:47 +02:00