Vorlesung Analysis 1, 2. Stunde

Loose, Frank , 14.10.2014

Table of Contents:

00:00:00 zweistellige Junktoren
00:00:00 Äquivalenz
00:01:23 Äquivalenz, verschiedene Sprechweisen
00:02:20 "entweder-oder-Junktor" ist Negation der Äquivalenz, Bemerkung
00:03:18 aussagenlogische Formel
00:04:18 Tautologie
00:06:13 Tautologie, Beispiel (doppelte Negation)
00:10:24 doppelte Negation ist äquivalent zur ursprünglichen Aussage, Beweis
00:12:47 Tautologie, (A -> B und B -> A) ist äquivalent zu (A <-> B)
00:13:50 Junktoren lassen sich durch andere darstellen, im Prinzip durch zwei
00:19:39 Tautologie, (A -> B und B -> A) ist äquivalent zu (A <-> B) (Beweis)
00:23:24 Beweisprinzip der Kontraposition, (A -> B) ist äquivalent zu (non-B -> non-A) (Satz)
00:25:24 Beweisprinzip der Kontraposition, Beweis
Autoplay
Quality
Playbackrate
 Settings
     Settings
      timms player
      •  embed
      •  legal
      •  about
      based on Video JS 6.6.0

      Embedded timms Player
      Mode Size Settings
      iframe
      100%
      427 x 240
      640 x 360
      854 x 480
      autoplay
      mute
      start 0:00:00
      Sorry, video window to small to embed...

      Rechtliches und Haftungsausschluss
       

      Die Web-Anwendung timms player ist Bestandteil des Webauftritts der Universität Tübingen.

      Es gilt das Impressum der Universität Tübingen

      Im Besonderen gelten die Regelungen zu:

      • Externen Links
      • Haftungsauschluss
      • Urheberrecht

      Es ist gestattet, den timms player über die Funktion embed als iframe in eigene Webseiten zu intergrieren.

      Es ist untersagt, die über den Streamingdienst timms angebotenen Inhalte ohne ausdrückliche schriftliche Genehmigung der Autorinnen und Autoren zu kopieren, zu modifizieren, zu verwerten oder zu veröffentlichen.

      Für die Richtigkeit und Vollständigkeit der Inhalte wird keine Garantie übernommen (siehe Impressum). Die Verfügbarkeit des Dienstes wird nicht garantiert. Der Dienst kann jederzeit ohne Angabe von Gründen verändert oder eingestellt werden.

       

      Tübinger Internet Multimedia System
       

      Online seit November 1999

      Mehr als 6000 Medienobjekte aus Lehre, Forschung und Universität.

      Über 100.000 Begriffe auf der timeline recherchierbar.

      Komfortable Zitatfunktion, für wissenschaftlich korrektes Zitieren.

      Teilbar als Link, mit Email oder auf twitter.

      Embeddable Player.