🔥 Assertions & WP: Wie dein Code NICHT ins Meer fährt! 🚫🌊 | TUM-Student erklärt’s easy | Part 1
👋 Hey, ich bin Linus – 2. Semester an der TUM, wo man lernt, dass Code-Fehler richtig wehtun können 😅.
In diesem Video erklär ich dir von Grund auf, wie du beweist, dass dein Code tut, was er soll – ohne Magie, nur mit Logik!
Was wir heute machen:
✅ Was sind Assertions? – Der Türsteher deines Codes! 🚪🚫
✅ MiniJava – Warum wir’s einfach halten (nur int, if, while). 🧩
✅ Schwächste Vorbedingung für x ➡️ 0 – Schritt für Schritt wie Kuchen backen! 🎂🔍
Für dich perfekt, wenn du:
In Funktionaler Programmierung gerade abhaust 🤯,
Checken willst, wie man Code mathematisch verifiziert 🧮,
Oder einfach keine Lust auf unverständliche Skripte hast 🚫📚.
Beispiel aus dem Video:
java
// Damit nachher x ➡️ 0 gilt, muss vorher y + z ➡️ 0 sein!
x = y + z;
👉 Abonnier für mehr Erklärungen – nächste Woche: Schleifen-Invarianten! 🌀
💡 „Wer Assertions ignoriert, fährt Code ins Meer. Don’t be that guy.“ 🌊🚫
#Programmierung #TUM #Verifikation
Видео 🔥 Assertions & WP: Wie dein Code NICHT ins Meer fährt! 🚫🌊 | TUM-Student erklärt’s easy | Part 1 канала beatingTUM
In diesem Video erklär ich dir von Grund auf, wie du beweist, dass dein Code tut, was er soll – ohne Magie, nur mit Logik!
Was wir heute machen:
✅ Was sind Assertions? – Der Türsteher deines Codes! 🚪🚫
✅ MiniJava – Warum wir’s einfach halten (nur int, if, while). 🧩
✅ Schwächste Vorbedingung für x ➡️ 0 – Schritt für Schritt wie Kuchen backen! 🎂🔍
Für dich perfekt, wenn du:
In Funktionaler Programmierung gerade abhaust 🤯,
Checken willst, wie man Code mathematisch verifiziert 🧮,
Oder einfach keine Lust auf unverständliche Skripte hast 🚫📚.
Beispiel aus dem Video:
java
// Damit nachher x ➡️ 0 gilt, muss vorher y + z ➡️ 0 sein!
x = y + z;
👉 Abonnier für mehr Erklärungen – nächste Woche: Schleifen-Invarianten! 🌀
💡 „Wer Assertions ignoriert, fährt Code ins Meer. Don’t be that guy.“ 🌊🚫
#Programmierung #TUM #Verifikation
Видео 🔥 Assertions & WP: Wie dein Code NICHT ins Meer fährt! 🚫🌊 | TUM-Student erklärt’s easy | Part 1 канала beatingTUM
Programmverifikation Assertions erklären Schwächste Vorbedingung MiniJava TUM Informatik Code korrekt beweisen Theoretische Informatik Programmierung für Anfänger Code-Fehler vermeiden Verifikation Tutorial WP berechnen Uni Survival Tipps Informatik Studium Code-Verifikation Logische Korrektheit TUM Survival Guide Programmieren lernen Code-Türsteher Pizza-Roboter Beispiel
Комментарии отсутствуют
Информация о видео
20 мая 2025 г. 20:47:00
00:04:35
Другие видео канала
