76 Commits

Author	SHA1	Message	Date
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
RobinB27	f189359801	[PS] restructure	2026-03-27 13:26:02 +01:00
janishutz	e7f688c1b7	[FMFP] Interpreters	2026-03-26 17:19:27 +01:00
RobinB27	f71cb9841f	[PS] Expected Value	2026-03-26 13:02:25 +01:00
janishutz	ea57bd5269	[PS] Expected Value: Continuous random variables	2026-03-26 11:16:15 +01:00
janishutz	7535a12860	[PS] Some progress	2026-03-25 16:25:38 +01:00
janishutz	1a0aedeca5	[PS] Start expected value	2026-03-25 13:56:58 +01:00
janishutz	c68d5c2cb8	[PS] Notes	2026-03-23 13:12:53 +01:00
janishutz	bc979fc838	[PS] Correct mistake	2026-03-23 12:00:42 +01:00
janishutz	aba18d086d	[PS] Notes	2026-03-23 11:52:13 +01:00
janishutz	fd07db20d3	[PS] Some fixes	2026-03-23 11:11:13 +01:00
RobinB27	110c1b7207	[PS] fixes	2026-03-22 14:38:47 +01:00
RobinB27	f2224fcba5	[PS] Distributions, cont.	2026-03-19 13:04:59 +01:00
janishutz	404ea2cb6b	[PS] Finish continuous distributions	2026-03-19 09:19:47 +01:00
janishutz	8a95d4a831	[PS] Start continuous distributions	2026-03-18 20:30:22 +01:00
janishutz	2e5262f915	[PS] Finish discrete distributions	2026-03-18 11:48:17 +01:00
janishutz	f3e52702b2	[DMDB] Notes, compile	2026-03-17 17:40:32 +01:00
janishutz	28d0696091	[FMFP] algebraic data types	2026-03-16 17:43:49 +01:00
janishutz	181753782d	[PS] Small fixes	2026-03-16 16:16:15 +01:00
janishutz	904c3027a4	[FMFP] Fix error	2026-03-12 11:38:59 +01:00
janishutz	59d0df0093	[PS] Catch up	2026-03-11 14:13:12 +01:00
RobinB27	5280872e22	[PS] distributions	2026-03-11 11:47:35 +01:00
janishutz	70505e0080	[PS] Small fixes	2026-03-11 11:34:14 +01:00
janishutz	9f5d5b19c4	[PS] Continue discrete random variables	2026-03-11 08:15:49 +01:00
janishutz	7ea45cbf31	[PS] Prepare next section and start	2026-03-10 14:52:43 +01:00
janishutz	abcb96511e	[PS] Some small tweaks	2026-03-09 14:22:54 +01:00
janishutz	8da8d3de0e	[DMDB] Notes for this week	2026-03-07 11:37:16 +01:00
janishutz	20c1d2ccc2	[FMFP] Typing	2026-03-05 17:26:52 +01:00
janishutz	43352a0b10	[FMFP] Typing introduction	2026-03-05 14:12:06 +01:00
janishutz	e83c64315a	[FMFP] Start typing summary	2026-03-04 08:14:51 +01:00
janishutz	3f18e92896	[PS] Probably summarized all of tomorrow's content	2026-03-03 17:00:01 +01:00
janishutz	93dffbedea	[PS] Random variables	2026-03-03 16:04:04 +01:00
janishutz	79fe498f26	[FMFP] Summarize induction for lists	2026-03-03 13:38:07 +01:00