|
|
4ca40084c2
|
Fix typos
|
2024-12-23 18:13:53 +01:00 |
|
|
|
e0a0047882
|
Update packages;
|
2024-12-23 18:13:45 +01:00 |
|
|
|
64c521d85c
|
Adjust links to other platforms
|
2024-06-09 12:53:22 +02:00 |
|
|
|
6fd9d79e94
|
Correct minor issue in mengenlehre.mdx
|
2024-06-02 23:36:39 +02:00 |
|
|
|
6e16beff1a
|
Update docusaurus to 3.4.0
|
2024-06-02 23:36:25 +02:00 |
|
|
|
e62d69d16b
|
Update Corporate Identity
|
2024-03-26 17:03:45 +01:00 |
|
|
|
765029b385
|
Merge remote-tracking branch 'origin/master'
|
2023-10-31 20:50:51 +01:00 |
|
|
|
7ed683389b
|
Fix broken link
|
2023-10-31 20:50:43 +01:00 |
|
|
|
773013102a
|
Upgrade to Docusaurus 3.0
|
2023-10-31 20:41:33 +01:00 |
|
|
|
bf4bfcdf71
|
Minor changes
|
2023-08-17 22:36:57 +02:00 |
|
|
|
1ec72c355b
|
Update docusaurus from 2.2.0 to 2.4.0
|
2023-03-28 13:18:49 +02:00 |
|
|
|
eb3271b0d9
|
Change blog version from 0.0.0 to 0.1.0
|
2023-01-10 23:37:26 +01:00 |
|
|
|
437c2a234e
|
Update to docusaurus from 2.1.0 to 2.2.0
|
2023-01-10 23:33:07 +01:00 |
|
|
|
fa643b0a12
|
Change mastodon link and remove survey link
|
2022-11-15 16:26:40 +01:00 |
|
|
|
1eaf3a6e72
|
Add additional introduction text to analysis.md
|
2022-10-10 15:40:48 +02:00 |
|
|
|
8f7e290b00
|
Add introduction to analysis.md
|
2022-10-10 14:30:26 +02:00 |
|
|
|
4e56252096
|
restructure wip analysis structure
|
2022-10-10 14:02:01 +02:00 |
|
|
|
cd8f9ffa89
|
add initial wip analysis structure
|
2022-10-10 13:52:46 +02:00 |
|
|
|
109fa6dea3
|
Add sections algebra and analysis with initial intro files
|
2022-10-09 13:15:31 +02:00 |
|
|
|
ac784e3191
|
Add missing $ for katex
|
2022-10-08 14:38:19 +02:00 |
|
|
|
6153d43b16
|
Add blank line after admonition to 1_kartesisches_produkt_relationen.md
|
2022-10-08 14:30:00 +02:00 |
|
|
|
1b84562d4d
|
Add "operations" to 2_abbildungen.md;
Add more labels to 2_abbildungen.md
|
2022-10-08 14:29:34 +02:00 |
|
|
|
ead4e8b479
|
Fix missing $ on end of latex
|
2022-10-05 16:56:50 +02:00 |
|
|
|
2d037730e0
|
Add more content to 2_abbildungen.md
- examples for functions
- surjection, injection and bijection
|
2022-10-03 15:50:30 +02:00 |
|
|
|
66b0e917ba
|
Add additional common spelling of relations
|
2022-10-03 14:35:09 +02:00 |
|
|
|
53c9776dd6
|
Add content to 2_abbildungen.md
|
2022-09-25 20:06:35 +02:00 |
|
|
|
73b3e55ca4
|
Add missing word
|
2022-09-25 20:06:24 +02:00 |
|
|
|
02e3047b2c
|
Add "cartesian power" to 1_kartesisches_produkt_relationen.md
|
2022-09-25 19:11:30 +02:00 |
|
|
|
a6108ce064
|
Rearrange planned content
|
2022-09-23 17:12:06 +02:00 |
|
|
|
2cb5c1cf88
|
Add content to 1_kartesisches_produkt_relationen.md
|
2022-09-23 17:11:38 +02:00 |
|
|
|
980c9ae69a
|
Fix old link
|
2022-09-22 18:56:14 +02:00 |
|
|
|
fe0aeebc45
|
Rename file
|
2022-09-22 18:54:43 +02:00 |
|
|
|
9045308105
|
Add latex tikz file for relation figure
|
2022-09-22 18:54:35 +02:00 |
|
|
|
dbb71a8d18
|
Add content to 1_kartesisches_produkt.md
|
2022-09-22 18:52:39 +02:00 |
|
|
|
dae87427e1
|
Restructure relationen chapter
|
2022-09-22 16:46:01 +02:00 |
|
|
|
e7310ef26a
|
Add content to relationen.md
|
2022-09-22 16:45:40 +02:00 |
|
|
|
36ab7aaacd
|
Minor changes in 2_mengen.md
|
2022-09-22 16:30:18 +02:00 |
|
|
|
743c768df9
|
Fix warnings in mengenoperationen.tex
|
2022-09-21 15:47:14 +02:00 |
|
|
|
8e69c83d43
|
Move mengenoperationen.tex to assets folder to not be served as static content
|
2022-09-21 15:46:20 +02:00 |
|
|
|
35b673a402
|
Add content how to operate with sets.
|
2022-09-21 15:44:56 +02:00 |
|
|
|
40c4a12453
|
Add content "creation of sets"
|
2022-09-17 18:28:27 +02:00 |
|
|
|
ad3739b5ef
|
Add first-order-logic content
|
2022-09-12 18:26:18 +02:00 |
|
|
|
154b106f52
|
Fix grammar issue "dass / das"
Change some headline to be more consistent
|
2022-09-12 18:25:49 +02:00 |
|
|
|
c75b493354
|
Change explaining sentence of tautology "Tertium non datur"
|
2022-09-11 15:14:53 +02:00 |
|
|
|
9c0a5473a1
|
Remove unnecessary line numbering in truth tables
|
2022-09-11 15:14:03 +02:00 |
|
|
|
481317d627
|
Add welcome text to intro.md
|
2022-09-11 15:07:19 +02:00 |
|
|
|
d7ab701195
|
Minor changes to clarify and correct correlation between meta- and objectlanguage
|
2022-09-10 14:10:05 +02:00 |
|
|
|
19288086d4
|
Add content to 1_logik.md
|
2022-09-07 23:30:01 +02:00 |
|
|
|
3677fb15d0
|
Update docusaurus from 2.0.1 to 2.1.0
|
2022-09-07 23:29:40 +02:00 |
|
|
|
39db9531b8
|
Add content to 1_logik.md
|
2022-08-26 23:04:27 +02:00 |
|
