Posts

By default Firefox had pretty bad touch support for me. E.g. no scrolling or zooming. But this was easy to change. Go to about:conifg in Firefox and set dom.w3c_touch_events.enabled=1. Then test this by running the following: env MOZ_USE_XINPUT2=1 firefox Change this as the default when starting Firefox. sudo sed -i "s|Exec=|Exec=env MOZ_USE_XINPUT2=1 |g" /usr/share/applications/firefox.desktop

The online learning platform ilias is used at a number of universities including the KIT. Oftentimes assignments for lectures are distributed to the students by uploading them into a specific folder in the illias course. At least I think it is quite annoying to regularly check for new assignments: Logging in, navigating to the course and check if something has changed. I solved this problem by discovering the rss feed of ilias.

Lösungen für Höhere Mathematik Klausuren am KIT, für die keine offizielle Lösung existiert. Gerne können weitere Lösungen als LaTeX Snippets gesendet werden. Frühjahr 2012 #HM1 #Aufgabe 2 #a) (i) Sandwichkriterium $$|\lim_{x\to \infty}(\sqrt{3x-2}-\sqrt{3x+1})|\leq \lim_{x\to \infty}(\sqrt{3x}-\sqrt{3x}) = 0 \Rightarrow \lim_{x\to \infty}(\sqrt{3x-2}-\sqrt{3x+1}) = 0$$ (ii) Mit l’Hospital und $$\lim_{x\to \infty}\frac{e^{-x}}{x}=0$$ folgt: $$\lim_{x\to \infty} \frac{\log{1+\frac1{x}}}{\frac1{x}+e^{-x}}=\lim_{x\to \infty} -\frac1{x^2+x}\cdot\frac1{-\frac1{x^2}+e^{-x}}=\lim_{x\to \infty} -\frac1{-1-\frac1{x}+x^2e^{-x}+xe^{-x}}=1$$ b) (i) $$KR=1$$, da $$\limsup_{n\to\infty} \frac1{\sqrt[n]{\sqrt{n}}}=1$$, weiter ist für $$\sum_{n=1}^\infty \frac{(-1)^n}{\sqrt{n}}$$ die alternierende harmonische Reihe eine Majorante und da $$\vert\frac1{2}\vert< 1$$ ist $$\sum_{n=1}^\infty \frac1{\sqrt{n}}$$ divergent.

Übersicht der Themen aus der letzten Übung: Außerdem kann ich dieses Video und seinen zweiten Teil vom MIT empfehlen. Es wird ein guter Überblick gegeben und die zahlreichen in LA I und II behandelten Themen in ihren Zusammenhang gesetzt.

Die Abteilung Technische Infrastruktur (ATIS) gehört zur Fakultät für Informatik am KIT und ist unter Informatikstudenten hauptsächlich für das kostenlose Drucken beliebt. Anders als im SCC (da muss man lange warten und zahlen) hat man in der ATIS 200 Freidrucke pro Semester auf den direkt zugänglichen Druckern. Außerdem gibt es dort Rechner mit Linux und Windows mit denen man bei Bedarf arbeiten kann. Sobald man sich einen ATIS Account beantragt hat, bekommt man einen Zugang mit denen man sich an den Rechnern des ATIS-Rechnerpools einloggen kann – von dort aus kann man dann auch drucken.

My Ubuntu 19.04 Laptop had the annoying property to wake up about 1 sec after being suspended (e.g the lid was closed). It took me some wasted battery charges to fix this problem. So for everyone who has similar problems (and for future me) here is how I fixed it. Open /proc/acpi/wakeup in your favorite editor. sudo vim /proc/acpi/wakeup Which looked like this: Device S-state Status Sysfs node LANC S5 *enabled pci:0000:00:19.

hilfreichen Materialien (als ich die VL gehöhrt habe) # Ausführliche Zusammenfassung und Beispiele zu den SWT1 Themen: SWT1 Revision by example Hier ist eine gute Zusammenfassung von Lukas Bach Meine Anki Karten, Was ist Anki?! (Passwortgeschützt, da Folien nicht unter freier Lizenz) mein Tutorium im SS20 # Meine LaTeX-Folien: Gitlab Aus diesem Git Repo nehme ich einige meiner Beispiele zum Thema Design Pattern: Design patterns implemented in Java Später habe ich auch noch sourcecodeexamples.

Im ersten Semester des Informatikstudiums am KIT besucht man üblicherweise die Vorlesung Programmieren. Diese soll gundlegende Konzepte der Programmierung am Beispiel von Java einführen. Hier ein paar Tipps von mir: Benutzt git Schreibt viele Tests. Zum Beispiel durch Erweitern der Terminalklasse, sodass diese Textdateien einliest in denen Eingaben und erwartete Ausgaben stehen. Außerdem gibt es: Eine Onlinetestumgebung in der mehrere User Testfälle beitragen können. An vielen Stellen ist sinnvoll reguläre Ausdrücke zu verwenden.

GBI ist ein netter Rundumschlag der theoretischen Informatik (mit ein klein wenig Rechnerorganisation): Sprachen, Graphen, Automaten, Bits, Bytes, Turingmaschinen, Huffman-Codierungen, … In GBI hat es mir immer Spaß gemacht die Aufgaben nicht nur auf dem Papier zu lösen, sondern auch kleine Skripte zu schreiben. Viele der Aufgaben lassen sich wunderbar in wenigen Zeilen Haskell Code ausdrücken. Kleines Beispiel: iletter "" = "" iletter w = iterate tail (reverse w) !! ((length w) - 1) Im Rückblick kann man sicher viele schöne Tools benutzen, um sich Dinge zu veranschaulichen.

Meine Anki Karten für wichtige Begriffe der Linearen Algebra 1: Falls jemandem Fehler auffallen oder ein zentraler Begriff vergessen wurde, schreibt mir eine Nachricht (z.B per Mail siehe About Page). Die Folienscreenshots stammen aus dem Foliensatz von Prof. Roman Sauer und stehen unter CC-BY-Lizenz. Anki Karten Außerdem weiter, hoffentlich hilfreiche Ressourcen: Die Lineare Algebra behandelt mathematische Objekte für die es in den allermeisten Fällen keine gute Veranschaulicht gibt, deshalb ist es wichtig den Stoff formal mathematisch anwenden zu können.