Logisch! Das Studium der Mathematik

Es ist ein Studium, bei dem "das Gehirn umgekrempelt wird": Mathematik. Im Mittelpunkt steht immer das rein logische Denken, eine Eigenschaft, die im Berufsleben Gold wert ist. Ein neues Video in der Reihe "Studiengänge an der WWU"... Mathematik

Category:

Education

Tags:

• Uni
• Universität
• Münster
• WWU
• Westfälische
• Wilhems-Universität
• Studiengänge
• an
• der
• Prof.
• Dr.
• Siegfried
• Echterhoff
• Christopher
• Deninger
• Christina
• Surulescu
• Mathematik
• Studium
• Studieren

[pjaquet]

Ich bin ein Christopher-Deninger-Fan, seit er in einer Vorlesung einen Zeigestock zersägt hat um die Sonnenblenden herunterzulassen.

[makedonas86]

"Die Wurzeln der Weisheit sind sehr bitter, die Früchte aber sind süß" ----ARISTOTELES

[NoSpeechForTheDumb]

Wenn man vor Ort nur wenig versteht (was in mathematischen Vorlesungen üblich ist) und im Internet ein Skriptum bereitgestellt wird (was ebenfalls üblich ist), kann man sich im Prinzip sogar die Vorlesungen schenken. Ich hab mein Mathe-Diplomstudium sehr gut abgeschlossen, obwohl ich in manchen Veranstaltungen nur zur Prüfung da war. Auch wenn es soziophob klingen mag: Mathematik lernt man am besten zuhause, alleine und in Ruhe.

[hollebKN]

@alf42red

Es gibt gerade in Mathe nichts effektiveres als die "veraltete" Tafelvorlesung. Computershows bringen da wenig, an der Tafel lern ich mehr

[MrSanctuary86]

Hochachtung vor jedem Mathematikprof!

[loottimo]

@alf42red Bin TUMler und hab die ersten Wochen in LinAlg mit ZFC verbracht, natürlich nicht sehr tiefgehend, aber alle wichtigen Axiome besprochen und auch wichtige Folgerungen (z. B. folgt aus dem Aussonderungsaxiom dass die leere Menge existiert falls eine Menge existiert, was durch das Unendlichkeitsaxiom garantiert ist), also meiner Meinung nach für das erste Semester schon gut genug ;-)

[mial1006]

@HeySinus Wenn du eine Alternative zu Mathe suchst, lass dich bloß nicht von dem Namen Wirtschaftsmathe täuschen! Ich selbst studiere WiMa in Bielefeld und besuche zumindest bis zum Bachelor annähernd die selben Mathematikveranstaltungen wie ein Mathematikstudent. Die ersten Unterschiede sind im 4-5 Semester zu finden, allerdings hier auch nicht in den Veranstaltungen selber, sondern in den Auswahlmöglichkeiten.Nähere Informationen findest du immer über die jeweiligen Uniwersitäten

[Tornadotuan]

Ich versteh nur Bahnhof von euren Kommentaren...

Das Video ist ganz in Ordnung, keine Frage...

und Pia ist echt perfekt für Werbung geeignet ;)

Aber die Kommentare hier geben dem Video einen ziemlich herben Beigeschmack.

Ich meine, Ihr wollt doch neue Studenten anwerben, nicht abschrecken, oder?

Bin im ersten Semester Informatik an der TU Ilmenau,

aber SO bekommt ihr bestimmt keine Interessenten geworben...

Jedenfalls bin ich jett froh doch Info gewählt zu haben :)

[NoSpeechForTheDumb]

ZFC ist nicht die Grundlage allen mathematischen Denkens, sondern nur ein Axiomensystem der Logik, tausende Jahre jünger als der Satz des Pythagoras.

Für mathematische Beweise ist die elementare Aussagenlogik völlig ausreichend; warum soll man die Studenten mathematischer Anfängervorlesungen gleich mit so einem theoretischen Riesenapparat wie ZFC erschlagen, welcher - wie wir dank Gödel wissen - genau so unvollständig (oder gar widersprüchlich...?!) ist wie all die anderen Axiomensysteme auch?

[alf42red]

@JeffreyMortenson Jeder Student hat sein eigenes Tempo, die Tafel schreibt ein Einheits-Tempo vor. Die Tafel hat sich noch nie über Fehler in Beweisen beschwert, Theorembeweiser schon. Deshalb finde ich, dass ein Screencast auf einem Tablet-PC (mit Tastatur) zusammen mit Mizar, Isabelle oder Coq viel mehr wert ist als eine Vorlesung. Außerdem muss man den Screencast nicht jedes Jahr neu machen, der Dozent hat dadurch mehr Zeit für Forschung. Wie kann man da die Tafel vorziehen?

[alf42red]

@JeffreyMortenson Da hab ich wohl etwas übertrieben. Ich kannte jemanden, bei dem das anders klang, bin aber selbst nicht an der Uni Münster (sondern TUM). Die message war: Wenn du formale Logik willst, musst du Info studieren und an die richtigen Lehrstühle, dort wo unter dem Decknamen "formale Spezifikationen" Theorembeweiser benutzt werden. Bei wem war das denn und welchen Theorembeweiser habt ihr benutzt? Wie habt ihr induktive Datentypen in ZFC konstruiert? Gibts da ein Skript?

[JeffreyMortenson]

Zudem ist das Medium Tafel total genial, da man nur so das nötige Tempo hat, um einem Beweis überhaupt folgen zu können. Und so können auch, wie man es noch aus der Schule kennt, schnell noch Beispiele etc. angeschrieben werden....