Mathematik I - Diskrete Strukturen und Logik (WS 2015/16) - tele-TASK

Follow Mathematik I - Diskrete Strukturen und Logik (WS 2015/16) - tele-TASK
Share on
Copy link to clipboard

In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt: Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen…

Prof. Dr. Christoph Meinel


    • Feb 2, 2016 LATEST EPISODE
    • infrequent NEW EPISODES
    • 1h 14m AVG DURATION
    • 28 EPISODES


    More podcasts from Prof. Dr. Christoph Meinel

    Mathematik I - Diskrete Strukturen und Logik (WS 2019/20) - tele-TASK
    Mathematik I - Diskrete Strukturen und Logik (WS 2019/20) - tele-TASK

    infrequent

    Internet- und WWW-Technologien (SS 2020) - tele-TASK
    Internet- und WWW-Technologien (SS 2020) - tele-TASK

    infrequent

    Internet Security (WT 2018/19) - tele-TASK
    Internet Security (WT 2018/19) - tele-TASK

    infrequent

    Internet Security - Weaknesses and Targets (WT 2015/16) - tele-TASK
    Internet Security - Weaknesses and Targets (WT 2015/16) - tele-TASK

    infrequent

    Internet Security - Weaknesses and Targets (WT 2016/17) - tele-TASK
    Internet Security - Weaknesses and Targets (WT 2016/17) - tele-TASK

    infrequent

    Internet Security - Weaknesses and Targets (WT 2017/18) - tele-TASK
    Internet Security - Weaknesses and Targets (WT 2017/18) - tele-TASK

    infrequent

    Internet- und WWW-Technologien (SS 2014) - tele-TASK
    Internet- und WWW-Technologien (SS 2014) - tele-TASK

    infrequent

    Internet- und WWW-Technologien (SS 2015) - tele-TASK
    Internet- und WWW-Technologien (SS 2015) - tele-TASK

    infrequent

    Internet- und WWW-Technologien (SS 2016) - tele-TASK
    Internet- und WWW-Technologien (SS 2016) - tele-TASK

    infrequent

    Search for episodes from Mathematik I - Diskrete Strukturen und Logik (WS 2015/16) - tele-TASK with a specific topic:

    Latest episodes from Mathematik I - Diskrete Strukturen und Logik (WS 2015/16) - tele-TASK

    Beweis aussagenlogischer Formeln vermittels vollständiger Induktion

    Play Episode Listen Later Jan 19, 2016 71:15


    technology germany computer science beweis potsdam vollst hpi formeln induktion tele-task
    Kombinatorische Beweise und Beweise vermittels Induktion

    Play Episode Listen Later Jan 12, 2016 74:16


    technology germany computer science potsdam beweise hpi induktion tele-task
    Beweisen vermittels Widerspruch, Quantoren und Kombinatorik

    Play Episode Listen Later Jan 6, 2016 91:22


    technology germany computer science potsdam widerspruch hpi beweisen tele-task kombinatorik

    Claim Mathematik I - Diskrete Strukturen und Logik (WS 2015/16) - tele-TASK

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel