158 Commits

Include renames

Author	SHA1	Message	Date
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
janishutz	fb235ca706	[PS] Estimators	2026-04-30 09:25:38 +02:00
RobinB27	63fe1b4bf6	[PS] Statistics	2026-04-29 13:44:06 +02:00
RobinB27	34a7c38d13	[PS] Notes	2026-04-29 13:44:06 +02:00
janishutz	1e874e14b0	[PS] Add statistics basics	2026-04-29 11:22:11 +02:00
janishutz	68284b2461	[FMFP] Big and small step semantics, equivalence theorem	2026-04-24 18:01:57 +02:00
janishutz	bf5b0e1407	[FMFP] IMP intro, start of operational semantics	2026-04-24 12:00:28 +02:00
janishutz	81ae2c5ee4	[PS] Limit theorems, law of large numbers complete	2026-04-22 16:39:45 +02:00
RobinB27	7292f4ea9a	[PS] Statistics, 1	2026-04-22 15:57:51 +02:00
janishutz	2a8ba18a27	[PS] Restructure, central limit theorem	2026-04-22 11:16:39 +02:00
janishutz	2bbec492f7	[PS] Fix missing f	2026-04-21 09:06:15 +02:00
RobinB27	27ed2b62a9	[PS] Ex. Notes	2026-04-20 15:10:36 +02:00
janishutz	d1db481fb8	[PS] Joint distributions done, start limit theorems / law of large numbers	2026-04-16 12:00:45 +02:00
janishutz	788a2b26c3	[PS] Joint continuous distribution start	2026-04-15 21:08:31 +02:00
janishutz	b10514d7fa	[PS] Joint discrete distribution mostly complete	2026-04-15 14:15:59 +02:00
RobinB27	ff26a2cd3c	[PS] joint dist.	2026-04-15 11:59:53 +02:00
janishutz	8a66c57a1e	[PS] Start joint distributions	2026-04-15 10:58:05 +02:00
janishutz	5cb65871b7	[PS] Variance and covariance complete	2026-04-02 09:28:53 +02:00
janishutz	307a47a7a7	[PS] Expected value done, Variance start	2026-04-02 07:37:52 +02:00
RobinB27	1bf6b2b491	[PS] variance	2026-04-01 13:25:56 +02:00
janishutz	865c004c75	[PS] Some fixes	2026-03-30 11:54:00 +02:00
janishutz	48d311fb39	[FMFP] Lazy eval done	2026-03-28 11:03:18 +01:00
janishutz	68d2f1c68b	[FMFP] Start lazy evaluation	2026-03-28 10:22:51 +01:00