Fix broken link

This commit is contained in:
Niklas Birk 2023-10-31 20:41:33 +01:00
parent bf4bfcdf71
commit 7ed683389b
34 changed files with 5523 additions and 11996 deletions

View File

@ -41,7 +41,7 @@ und eignen sich daher gut dafür sich die Dinge vorzustellen.
Auch deshalb beschränkt man sich häufig auf diese, wenn man einer Person Mathematik nahe bringen möchte.
Auch spielt das Rechnen in unserem Alltag an der Supermarktkasse oder beim Zählen eine große Rolle.
Mathematik zählt wie die [Informatik](/informatik/informatik.md) zu den *Struktur*- bzw. *Formalwissenschaften*.
Mathematik zählt wie die [Informatik](/docs/informatik/) zu den *Struktur*- bzw. *Formalwissenschaften*.
Sie nimmt damit eine Sonderrolle unter den Wissenschaften ein und wird manchmal auch als *__die__ exakte* Wissenschaft betrachtet.
Denn anders, als bei anderen Wissenschaften beruhen die Erkenntnisse auf einem logischen Beweis.
Ein wahrer logischer Beweis ist prinzipbedingt endgültig und allgemeingültig wahr.

View File

@ -287,17 +287,17 @@ Die tatsächliche semantische Äquivalenz lässt sich leicht durch aufstellen ei
:::tip Wichtige semantische Äquivalenzen
1. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \wedge y &\equiv y \wedge x\\
x \vee y &\equiv y \vee x\\
x \leftrightarrow y &\equiv y \leftrightarrow x
\end{aligned}
&&\text{Kommutativität}
\end{align*}
$$
\end{align*}
$$
2. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \wedge (y \wedge z) &\equiv (x \wedge y) \wedge z\\
x \vee (y \vee z) &\equiv (x \vee y) \vee z\\
@ -305,37 +305,37 @@ $$
&\equiv (x \leftrightarrow y) \leftrightarrow z
\end{aligned}
&&\text{Assoziativität}
\end{align*}
$$
\end{align*}
$$
3. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \wedge (y \vee z) &\equiv (x \wedge y) \vee (x \wedge z)\\
x \vee (y \wedge z) &\equiv (x \vee y) \wedge (x \vee z)
\end{aligned}
&&\text{Distributivität}
\end{align*}
$$
\end{align*}
$$
4. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \wedge (x \vee y) &\equiv x\\
x \vee (x \wedge y) &\equiv x
\end{aligned}
&&\text{Absorption}
\end{align*}
$$
\end{align*}
$$
5. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \wedge x &\equiv x\\
x \vee x &\equiv x
\end{aligned}
&&\text{Idempotenz}
\end{align*}
$$
\end{align*}
$$
6. $$
\begin{align*}
\begin{align*}
\begin{aligned}
\neg(\neg x) &\equiv x\\
\neg(x \rightarrow y) &\equiv x \wedge \neg y\\
@ -344,19 +344,19 @@ $$
\equiv x \leftrightarrow \neg y
\end{aligned}
&&\text{Verneinung}
\end{align*}
$$
\end{align*}
$$
7. $$
\begin{align*}
\begin{align*}
\begin{aligned}
\neg(x \wedge y) &\equiv \neg x \vee \neg y\\
\neg(x \vee y) &\equiv \neg x \wedge \neg y
\end{aligned}
&&\text{De Morgan'sche Regeln}
\end{align*}
$$
\end{align*}
$$
8. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \leftrightarrow y &\equiv (x \rightarrow y) \wedge (y \rightarrow x)\\
x \rightarrow y &\equiv \neg x \vee y\\
@ -364,37 +364,37 @@ $$
x \vee y &\equiv \neg(\neg x \wedge \neg y)
\end{aligned}
&&\text{Elimination}
\end{align*}
$$
\end{align*}
$$
9. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \rightarrow y \equiv \neg y \rightarrow \neg x
\end{aligned}
&&\text{Kontraposition}
\end{align*}
$$
\end{align*}
$$
10. $$
\begin{align*}
\begin{align*}
\begin{aligned}
\neg f &\equiv w\\
\neg w &\equiv f
\end{aligned}
&&
\end{align*}
$$
\end{align*}
$$
11. $$
\begin{align*}
\begin{align*}
\begin{aligned}
x \wedge \neg x &\equiv f\\
x \vee \neg x &\equiv w\\
x \leftrightarrow \neg x &\equiv f
\end{aligned}
&&
\end{align*}
$$
\end{align*}
$$
12. $$
\begin{align*}
\begin{align*}
\begin{aligned}
w \wedge x &\equiv x\\
f \wedge x &\equiv f\\
@ -402,10 +402,10 @@ $$
f \vee x &\equiv x
\end{aligned}
&&
\end{align*}
$$
\end{align*}
$$
13. $$
\begin{align*}
\begin{align*}
\begin{aligned}
f \rightarrow x &\equiv w\\
w \rightarrow x &\equiv x\\
@ -413,17 +413,17 @@ $$
x \rightarrow w &\equiv w
\end{aligned}
&&
\end{align*}
$$
\end{align*}
$$
14. $$
\begin{align*}
\begin{align*}
\begin{aligned}
f \leftrightarrow x &\equiv \neg x\\
w \leftrightarrow x &\equiv x
\end{aligned}
&&
\end{align*}
$$
\end{align*}
$$
:::

View File

@ -1,19 +1,19 @@
// @ts-check
// Note: type annotations allow type checking and IDEs autocompletion
const lightCodeTheme = require('prism-react-renderer/themes/github');
const darkCodeTheme = require('prism-react-renderer/themes/dracula');
import remarkMath from 'remark-math';
import rehypeKatex from 'rehype-katex';
const math = require('remark-math');
const katex = require('rehype-katex');
const lightCodeTheme = require('prism-react-renderer').themes.github;
const darkCodeTheme = require('prism-react-renderer').themes.dracula;
/** @type {import('@docusaurus/types').Config} */
const config = {
export default {
title: 'Mathematik, Informatik und Programmierung',
tagline: 'Mathematik und Informatik sind cool',
url: 'https://www.niklas-birk.de',
baseUrl: '/',
onBrokenLinks: 'throw',
onBrokenLinks: 'warn',
onBrokenMarkdownLinks: 'warn',
favicon: 'img/niklas-birk-icon.ico',
@ -38,8 +38,8 @@ const config = {
// docs: false,
docs: {
sidebarPath: require.resolve('./sidebars.js'),
remarkPlugins: [math],
rehypePlugins: [katex],
remarkPlugins: [remarkMath],
rehypePlugins: [rehypeKatex],
// // Please change this to your repo.
// // Remove this to remove the "edit this page" links.
// // editUrl:
@ -171,5 +171,3 @@ const config = {
},
],
};
module.exports = config;

17170
package-lock.json generated

File diff suppressed because it is too large Load Diff

View File

@ -1,6 +1,6 @@
{
"name": "niklas-birk-blog",
"version": "0.1.0",
"version": "0.1.1",
"private": true,
"scripts": {
"docusaurus": "docusaurus",
@ -14,19 +14,20 @@
"write-heading-ids": "docusaurus write-heading-ids"
},
"dependencies": {
"@docusaurus/core": "^2.4.1",
"@docusaurus/preset-classic": "^2.4.1",
"@mdx-js/react": "^1.6.22",
"@docusaurus/core": "^3.0.0",
"@docusaurus/preset-classic": "^3.0.0",
"@mdx-js/react": "^3.0.0",
"clsx": "^1.2.1",
"hast-util-is-element": "^1.1.0",
"prism-react-renderer": "^1.3.5",
"react": "^17.0.2",
"react-dom": "^17.0.2",
"rehype-katex": "^5.0.0",
"remark-math": "^3.0.1"
"hast-util-is-element": "^3.0.0",
"prism-react-renderer": "^2.1.0",
"react": "^18.2.0",
"react-dom": "^18.2.0",
"rehype-katex": "^7.0.0",
"remark-math": "^6.0.0"
},
"devDependencies": {
"@docusaurus/module-type-aliases": "^2.1.0"
"@docusaurus/module-type-aliases": "^3.0.0",
"@docusaurus/types": "3.0.0"
},
"browserslist": {
"production": [
@ -41,6 +42,6 @@
]
},
"engines": {
"node": ">=16.14"
"node": ">=18.0"
}
}