diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb index aab89e196aa6e2d560dc23672623df08298977c2..0ad8be7b980379b3d16a0a3adbf92f7acf3229d8 100644 --- a/info4/kapitel-0/Mengentheorie.ipynb +++ b/info4/kapitel-0/Mengentheorie.ipynb @@ -560,7 +560,7 @@ "Für alle Mengen $x$, $y$, $z$ gilt:\n", "* $x \\cup (y \\cap z) = (x\\cup y) \\cap (x\\cup z)$\n", "\n", - "<img src=\"./img/Venn.pdf\" width=\"300\">" + "<img src=\"./img/Venn.svg\" width=\"300\">" ] }, { diff --git a/info4/kapitel-0/img/Venn.svg b/info4/kapitel-0/img/Venn.svg new file mode 100644 index 0000000000000000000000000000000000000000..3d533c6bdee8851e00207af46923e6b364f427e1 --- /dev/null +++ b/info4/kapitel-0/img/Venn.svg @@ -0,0 +1,42 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> +<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xl="http://www.w3.org/1999/xlink" viewBox="194 -63 614 597" width="614" height="597"> + <defs> + <font-face font-family="Helvetica Neue" font-size="20" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400"> + <font-face-src> + <font-face-name name="HelveticaNeue"/> + </font-face-src> + </font-face> + </defs> + <metadata> Produced by OmniGraffle 7.15 + <dc:date>2017-03-16 10:54:24 +0000</dc:date> + </metadata> + <g id="Canvas_1" stroke-dasharray="none" fill="none" fill-opacity="1" stroke-opacity="1" stroke="none"> + <title>Canvas 1</title> + <rect fill="white" x="194" y="-63" width="614" height="597"/> + <g id="Canvas_1: Layer 1"> + <title>Layer 1</title> + <g id="Graphic_3"> + <circle cx="389" cy="335" r="194.000309992968" fill="#c0ffc0"/> + <circle cx="389" cy="335" r="194.000309992968" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> + <text transform="translate(238.8 323.22)" fill="black"> + <tspan font-family="Helvetica Neue" font-size="20" font-weight="400" fill="black" x="145.2" y="19">y</tspan> + </text> + </g> + <g id="Graphic_4"> + <circle cx="613" cy="339" r="194.000309992968" fill="#f3f33d" fill-opacity=".11643836"/> + <circle cx="613" cy="339" r="194.000309992968" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> + <text transform="translate(462.8 327.22)" fill="black"> + <tspan font-family="Helvetica Neue" font-size="20" font-weight="400" fill="black" x="145.4" y="19">z</tspan> + </text> + </g> + <g id="Graphic_5"> + <circle cx="504" cy="132" r="194.000309992968" fill="#ffc0c0" fill-opacity=".17465753"/> + <circle cx="504" cy="132" r="194.000309992968" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> + <text transform="translate(353.8 120.22)" fill="black"> + <tspan font-family="Helvetica Neue" font-size="20" font-weight="400" fill="black" x="145.02" y="19">x</tspan> + </text> + </g> + </g> + </g> +</svg>