130 Commits

Include renames

Author	SHA1	Message	Date
janishutz	d75e317fd4	[PS] More expected values and variances	2026-07-11 12:31:14 +02:00
janishutz	b8883d7689	[PS] Start adding more expected values / variance defs	2026-07-10 13:30:19 +02:00
janishutz	50d3c5c074	[PS] Some fixes	2026-07-09 09:18:32 +02:00
janishutz	954af69704	[DMDB] Prepare parts; bitmaps, bloom filters, zone maps complete	2026-07-08 16:55:41 +02:00
janishutz	ebc5d0bb5e	[DMDB] Hashing	2026-07-07 16:37:09 +02:00
janishutz	73b5cc7699	[DMDB] B-trees	2026-07-07 12:52:17 +02:00
janishutz	1f2bdb65f5	[PS] Improve Geometric distribution definition	2026-07-06 18:12:31 +02:00
janishutz	2227f8ac63	[FMFP] First rework complete	2026-07-06 15:23:34 +02:00
janishutz	0065a7be05	[FMFP] Start condensed induction proofs summary	2026-07-06 13:17:30 +02:00
janishutz	294363f3c8	[FMFP] Restructure summary	2026-07-06 09:49:27 +02:00
janishutz	67500a14cb	[FMFP] Fix errors	2026-07-05 08:40:54 +02:00
janishutz	970f7c0bba	[DMDB] Memory management	2026-07-03 15:27:42 +02:00
janishutz	c409d74ad4	[DMDB] Query optimization, basics of memory management	2026-07-01 14:05:20 +02:00
janishutz	59e4bcd5e9	[DMDB] Completed normal forms, start query optimization	2026-06-30 16:21:35 +02:00
janishutz	4b4b74fcb6	[DMDB] Basics of first and second normal form	2026-06-24 16:05:38 +02:00
janishutz	3cca730b92	[DMDB] Start normal forms	2026-06-24 15:25:31 +02:00
janishutz	344e63c55e	[DMDB] Functional dependencies	2026-06-23 17:59:36 +02:00
janishutz	6641fb24bd	[DMDB] SQL basics completed	2026-06-23 15:51:58 +02:00
janishutz	4488ccce81	[DMDB] query language intro	2026-06-22 17:47:35 +02:00
janishutz	2b066eab3c	[DMDB] SQL intro (DML, DDL)	2026-06-22 16:45:25 +02:00
janishutz	cf0bdbaff8	[DMDB] relational model, relational algebra, SQL very basics	2026-06-22 15:28:27 +02:00
janishutz	cef70242ce	[DMDB] Intro	2026-06-22 09:58:03 +02:00
janishutz	9806123eb7	[DMDB] Set up glossary	2026-06-22 08:05:19 +02:00
janishutz	8ee4ba0259	[PS] fix: formatting, remarks	2026-06-20 12:13:29 +02:00
janishutz	6fa1f929ad	[PS] fix: add small remark on confidence intervals	2026-06-20 09:56:04 +02:00
janishutz	aa821d3261	[PS] fix: confidence intervals, limit theorem error	2026-06-20 09:04:33 +02:00
RobinB27	b770c29335	[PS] notes	2026-06-19 15:55:59 +02:00
janishutz	816b4b5942	[PS] remove hrule	2026-06-19 08:32:45 +02:00
janishutz	bf86376f27	[PS] example for estimators, fixes	2026-06-18 10:48:32 +02:00
janishutz	4d88cd3366	[PS] First update complete	2026-06-16 12:05:06 +02:00
janishutz	79aaaa687e	[PS] More fixes	2026-06-15 18:13:04 +02:00
janishutz	7ceff8f7b9	[PS] Start notes & remarks update	2026-06-15 13:46:28 +02:00
janishutz	79d846b3c9	[PS] Add tables	2026-06-12 09:24:20 +02:00
janishutz	67b30bc144	[FMFP] Finish basic summary	2026-06-08 15:48:20 +02:00
janishutz	0c5a2dd804	[FMFP] intro to linear temporal logic	2026-06-07 14:41:27 +02:00
janishutz	bd50083741	[FMFP] Modelling	2026-06-07 12:18:14 +02:00
janishutz	83999cc32c	[FMFP] Modelling introduction	2026-06-07 10:15:25 +02:00
janishutz	fccf7b254c	[PS] Finish basic summary	2026-06-07 08:46:20 +02:00
janishutz	4b63402c42	[PS] Completed tests (examples of likelihood functions, p-value)	2026-05-25 16:45:05 +02:00
janishutz	08a0915c5b	[PS] Small fix	2026-05-11 11:29:40 +02:00
RobinB27	83296a2518	[PS] Covariance	2026-05-08 15:23:15 +02:00
RobinB27	7070473dff	[PS] Gausians	2026-05-08 09:41:39 +02:00
janishutz	e067d6c2ca	[PS] Compile updated doc	2026-05-07 11:02:55 +02:00
janishutz	1f6d7db006	[PS] Improve central limit theorem	2026-05-07 11:01:59 +02:00
janishutz	033e3b9e4f	[PS] Basics of constructing tests	2026-05-06 14:07:55 +02:00
janishutz	be34b47151	[PS] Intro to tests	2026-05-06 13:00:00 +02:00
janishutz	3bdc9d401e	[PS] Finish estimators	2026-05-05 16:01:45 +02:00
janishutz	0e4ccf58f4	[FMFP] Axiomatic semantics	2026-05-05 14:39:56 +02:00
janishutz	11fda33771	[FMFP] Add abbreviations for comparision operators	2026-05-04 09:54:31 +02:00
janishutz	1d38412334	[FMFP] Fix small error	2026-05-04 09:18:15 +02:00