Proofs from THE BOOK (SS 2011)

Ähnliche Dokumente
Seminar Visualisierung von Graphen

Fachbereichsinformation

Theoretische Grundlagen der Informatik

Was gehört zu einer erfolgreichen Seminarteilnahme?

Deductive Software Verification The KeY Book Haupt- und Proseminar in SoSe 2017

Proseminar Perlen der Theoretischen Informatik

Theoretische Grundlagen der Informatik

Grundbegriffe der Informatik Tutorium 2

Entwicklung eines Frameworks für Graphenspiele Praxis der Software-Entwicklung. Tamara PeterMchedlidze Dorothea Wagner ITI Sanders.

Das Seminar Handlungsplanen Eine Einführung

Implementierung des Rubik-Würfels für Java-fähige Mobile Geräte

Proseminar ETiT Fachgebiet Hochspannungstechnik

O-Phase WS 17/18 Studienplan Geographie Stand: 10. Oktober 2017

Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen

Asymmetrische Verschlüsselungsverfahren

Proseminar Die P = N P-Vermutung

Präsentation

Algorithmen für NP-schwere Probleme

Grundbegriffe der Informatik Tutorium 12

Geometrische Algorithmen für Anwendungen in der Geovisualisierug

Mathematische Grundlagen

Hidden Champions: Angebot Wintersemester 2014/15

Mathe-Kids und Mathe-Profis am KIT: Projektgruppen für die Klassenstufen 7/8 bzw. 9/10 im Schülerlabor Mathematik

Masterseminar Marketing & Vertrieb Wintersemester 2015/16

Grundbegriffe der Informatik Tutorium 33

Vorbereitung der Schülerinnen und Schüler auf die Fächerübergreifende Kompetenzprüfung

Anorganisch-chemischen Praktikum Teil I (5048/5049) für CIW WS 2017/18 ( )

Übung 5 Algorithmen II

Anorganisch-chemischen Praktikum Teil I (5048/5049) für CIW WS 2016/17 ( )

Grundbegriffe der Informatik Tutorium 2

Hinweise zum Seminarvortrag und Korreferat

Algorithmische Methoden zur Netzwerkanalyse Vorlesung für den Bereich Master Informatik

PSE: Analysesoftware für Logistiknetzwerke

Seminar: Techniken der Computerspiele. Alexander Weggerle

Digitale Signaturen. Einführung Gunnar Hartung, Björn Kaidel. FAKULTÄT FÜR INFORMATIK, INSTITUT FÜR THEORETISCHE INFORMATIK

Grundlagen der Bilderzeugung und Bildanalyse - Mustererkennung

Algorithmische Methoden zur Netzwerkanalyse

Grundbegriffe der Informatik Tutorium 10

Informationsveranstaltung zur Organisation der Speziellen Schulpraktischen Studien und der Fachpraktika LbS

8. Übung Algorithmen I

Digitale Signaturen. Einführung Björn Kaidel. FAKULTÄT FÜR INFORMATIK, INSTITUT FÜR THEORETISCHE INFORMATIK

Bildverarbeitung. Albert-Ludwigs-Universität Freiburg

Seminar zum Praktikum Physikalische Chemie I WS 2015/2016

Grundbegriffe der Informatik Tutorium 11

Asymmetrische Verschlüsselungsverfahren

Studieren in Frankreich mit einem Doppelabschluss

Mathematik: Ausbildung im ersten Semester

Grundbegriffe der Informatik Tutorium 5

Algorithmische Methoden zur Netzwerkanalyse

PSE: Analysesoftware für Logistiknetzwerke

Theoretische Grundlagen der Informatik

Rechnerstrukturen. Vorlesung (V4 + Ü2) im Sommersemester Prof. Dr. Felix C. Freiling. Martin Mink, Ralf Wienzek

Informatik I. 0. Organisation. Jan-Georg Smaus. Albert-Ludwigs-Universität Freiburg. 19. Oktober 2010

Theoretische Grundlagen der Informatik

Grundbegriffe der Informatik Tutorium 8

PSE: Analysesoftware für soziale Netzwerke

Seminar im SS 2015 Aktuelle Fragen des Rechnungswesens und der Finanzwirtschaft

Seminar Informationssysteme. Prof. Roberto V. Zicari

Kernveranstaltungen der Wirtschaftsinformatik. Prof. Dr. Stefan Voß. Universität Hamburg Institut für Wirtschaftsinformatik

Software Engineering zur Vermeidung softwarebasierter Unfälle

Seminar: Grafikprogrammierung

PI.TGS.TS: Technische Grundlagen und Systemsoftware

Algorithmen & Datenstrukturen

Erstsemesterbegrüßung Ergänzungsbereich Medientheorie und -praxis

Vorlesung: Einführung in die Industriesoziologie

Algorithmen für Planare Graphen Übung am

KoSI Praxis- & Abschlussmodul (KoSI 7)

TGI-Übung 2. Dirk Achenbach. European Institute of System Security Institute of Cryptography and Security

Einführung zur Vorlesung LEN Organisatorisches (gekürzte Fassung)

Hochschuldidaktik-Seminar: Motivation (Augsburg, ) Ablauf Medien/Materialien Personen

Theoretische Grundlagen der Informatik

Seminar im WS 2014/15 Aktuelle Fragen des Rechnungswesens und der Finanzwirtschaft

Transkript:

G. Veit Batz, Dennis Schieferdecker {batz,schieferdecker}@kit.edu http://algo2.iti.kit.edu/proofs_from_the_book_ss11.php - 0 KIT Batz, Universität Schieferdecker: des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu

Vorbesprechung Seminarablauf Termine Kontaktdaten Teilnehmereinteilung 1 Batz, Schieferdecker:

Seminarablauf Aufgabe: Präsentation von Beweisen aus Proofs from THE BOOK Vorträge an der Tafel ggf. wenige Folien zur Unterstützung Drei Vorträge pro Woche, basierend auf ein oder zwei Kapiteln Themen werden zwei Wochen vorher bekannt gegeben 2 Batz, Schieferdecker:

Seminarablauf Ablauf: Es besteht Anwesenheitspflicht! Die Vortragenden werden ausgelost regelmäßige Vorbereitung nötig! Teilnehmer werden in zwei Gruppen aufgeteilt......die abwechselnd dran sind. Wichtig: Jeder Teilnehmer muss mindestens zweimal vorrechnen Schlecht vorbereitete Vorträge zählen als nicht gehalten 3 Batz, Schieferdecker:

Seminarablauf Was gehört zu einem gut vorbereiteten Vortrag? Dauer: 20 Minuten Erklären an der Tafel Erklären mit eigenen Worten Nachvollziehen alleine reicht nicht Vorher gut überlegen wie man etwas darstellt Wenige zusätzliche Folien können sinnvoll sein... wenn es viele Zwischenergebnisse gibt für zentrale Definitionen oder Sätze sowohl Laptop als auch Overhead erlaubt 4 Batz, Schieferdecker:

Seminarablauf Was gehört zu einem gut vorbereiteten Vortrag? Gedankenschritte im Buch oft etwas groß ( weil... gilt, man sieht, dass..., offensichtlich ) in vielen Fällen sollte so etwas erklärt/bewiesen werden... zumindest auf Nachfrage... Erklärungen für Leute, die das Buch nicht gelesen haben Absolut nicht erlaubt: Vorrechnen aus dem Buch! Eigene Aufzeichnungen vorbereiten und nutzen 5 Batz, Schieferdecker:

Seminarablauf Jeder hat einen Joker, um an einem Termin keinen Vortrag halten zu müssen bzw. abwesend zu sein Aber: Nur nach vorheriger Ankündigung! 6 Batz, Schieferdecker:

Seminarablauf Falls es Fragen gibt, kommt vorbei und fragt! Für jeden Termin ist ein Mitarbeiter zuständig Es gibt eine feste Sprechstunde, oder macht einen Termin per email aus 7 Batz, Schieferdecker:

Termine wöchentliche Veranstaltung: Dienstags, 11:30-13:00 Gebäude 50.34, Raum 131 Erste reguläre Veranstaltung Dienstag, 26. April nächste Woche kein Seminar! Insgesamt: 12 Termine 6 aktive Termine pro Gruppe 8 Batz, Schieferdecker:

Kontaktdaten G. Veit Batz batz@kit.edu Gebäude 50.34, Raum 222 Sprechstunde: Donnerstags, 10:30 Uhr oder nach Vereinbarung Dennis Schieferdecker schieferdecker@kit.edu Gebäude 50.34, Raum 220 Sprechstunde: Donnerstags, 10:00 Uhr oder nach Vereinbarung 9 Batz, Schieferdecker:

Sonstiges Homepage http://algo2.iti.kit.edu/proofs_from_the_book_ss11.php Mailingliste proofs_ss2011@lists.kit.edu https://www.lists.kit.edu/sympa/info/proofs_ss2011 Proofs from THE BOOK verfügbar in KIT- und Informatik Bibliothek digital in KIT-Bibliothek als PDF 10 Batz, Schieferdecker:

Teilnehmereinteilung 11 Batz, Schieferdecker:

Termin: 26.4.2011 Gruppe A Sechs Beweise für die Unendlichkeit der Primzahlen (Kapitel 1) Einzelvorträge: Beweis 2 und 3 Beweis 5 Beweis 6 Betreuer: Veit Batz 12 Batz, Schieferdecker:

Das wars für heute! Noch Fragen? 13 Batz, Schieferdecker: