Welche Videos sollte jeder sehen?

Die Stanford University verfügt nun über einen Youtube-Kanal mit kostenlosem Zugriff auf HD-Videos mit vollständigen Kursen von dynamischen Systemen bis hin zur Quantenverschränkung. Weitere Konferenzen und Workshops zeichnen ihre Vorträge auf Video auf. Welche Online-Videos sollten Ihrer Meinung nach alle kennen?

Ich werde dies mit ein paar Antworten auf Präsentationen belegen, die größtenteils Expositories sind. Ich hoffe jedoch, dass dieses Community-Wiki zu einer Ressource für den Austausch hervorragender Präsentationen neuer Forschungsergebnisse sowie zu einem Ort zum Lernen wird ( oder verstärken) Hintergrund in einem unbekannten Bereich.

Timothy Gowers hat eine Reihe von Videos zu Computational Complexity und Quantum Computation online.

Richard Feynmans Messenger Lectures wurden mit Anmerkungen von Microsofts Tuva Project restauriert. Vollständige Offenlegung: Ich habe bisher nur zwei gesehen. Sie waren fantastisch. (Nicht wirklich TCS, aber ich musste damit anfangen.)

Don Knuths Gedanken sind großartig und beschreiben immer etwas Erstaunliches, das mir vorher unbekannt war.

Stephen Boyd hat seine gesamte Stanford-Klasse über Convex Optimization online.

Einige interessante Kommentare und Nebenbemerkungen decken dasselbe Material ab wie in seinem Buch .

Institute mit Online-Talkvideos:

• The Fields Institute an der Universität von Toronto (Audio + Folien)

• Das Institut für Höhere Studien an der Fakultät für Mathematik und Informatik und Diskrete Mathematik

• Das Institute for Advanced Studies / Princeton Center for Computational Intractability ,
  z. B. Barriers Workshops

• Isaac Newton Institute für Mathematische Wissenschaften

• Simons Institute for Theory of Computing

Theoriegruppen mit Online-Talkvideos:

• Theoriegruppe an der Universität von Chicago

Siehe auch diesen Blog-Beitrag von Lance Fortnow.

Dan Spielmans Nevanlinna-Preisvortrag in Hyderabad 2010. Ich habe diesen Link von einem Blog-Beitrag von Timothy Gowers erhalten. Der Beitrag enthält mehrere weitere Video- und Textlinks zum ICM 2010.

Es ist ein wirklich interessantes Gespräch, gegeben durch Yuri Gurevich, über die Kirche-Turing - These hier .

Der Video-Bereich von IAS ist auch eine großartige Quelle für Online-Kurse. Einer meiner Favoriten ist:
Ketan Mulmuley. Über P vs NP, geometrische Komplexitätstheorie und Riemannsche Hypothese.

FOCS (IEEE-Symposium über Grundlagen der Informatik)

• Die FOCS 2010-Videos sind jetzt online . Glencora Borradille erwähnt ihre Favoriten in diesem Blogbeitrag .

Ich weiß nicht, ob dies eine Videovorlesung ist, die sich jeder ansehen sollte, aber ich habe mich entschieden, diese anzusehen, um etwas algebraische Topologie zu lernen. Scheint mir bisher ziemlich gut zu sein.

Algebraische Topologie-Vorlesungen

BEARBEITEN (später hinzugefügt) . Ein weiterer schöner Satz von Videovorträgen

Hier ist eine weitere wunderbare Reihe von Vorträgen von Erik Demaine. Der Kurs heißt Planar Graph Algorithms and Beyond und wird von Erik Demaine, Shay Mozes, Christian Sommer und Siamak Tazari unterrichtet. Sie verwenden auch einige Abschnitte des Entwurfs von Phil Kliens über ebene Graphen. Ich bin mir sicher, dass es nach den ersten beiden Vorträgen ein großartiges Buch werden wird.

Für Leute, die sich für Quantenberechnung interessieren, stehen die Vorträge von QIP 2010 hier zur Verfügung: http://www.qip2010.ethz.ch/programme

Dies mag den meisten Leuten hier ziemlich einleitend erscheinen, aber ich habe sehr davon profitiert, da ich im Wesentlichen Autodidakt bin. http://aduni.org/courses/theory/index.php?view=cw

Ich schlage die Channel 9-Vorträge vor: http://channel9.msdn.com/Tags/c9+lectures

Ich mag besonders die Vorträge von Erik Meijer über funktionale Programmierung.

Quantiki hat eine schöne Video-Abstract-Site , auf der die Leute ein kurzes Video (3-6 Minuten) veröffentlichen können, in dem ihre letzten Arbeiten / Preprints beschrieben werden. Da es Teil von Quantiki ist, konzentriert es sich hauptsächlich auf Quanteninformation / -berechnung.

Ein total witziges (und auch sehr lehrreiches) Video ist Serres mittlerweile berühmtes Video darüber, wie man Mathematik schlecht schreibt.

Ich habe Scott Aaronsons Vortrag auf der Caltech mit dem Titel "Quantum Computing and the Limits of the Efficiently Computable" genossen . In diesem Vortrag, der zu Ehren von Feynman gehalten wurde, wird das Allgemeinwissen der Benutzer dieser Website auf eine sehr klare und witzige Art und Weise wieder aufbereitet.

STOC (ACM-Symposium zur Theorie des Rechnens)

• Die STOC 2011-Videos sind jetzt auf ACM DL online .

Erik Winfree beschreibt die DNA-Selbstorganisation und die molekulare Programmierung bei einem Plenarvortrag auf der ASPLOS 2008. Dies ist wahrscheinlich die beste konsequente Einführung in die Theorie der Selbstorganisation, die derzeit online verfügbar ist.

Quanteninformation, Berechnung und Komplexität

Erik Demaine hat die Videovorträge von seinem Herbstkurs 2010 über geometrische Faltungsalgorithmen, die dem Lehrbuch folgen, das er zusammen mit Joseph O'Rourke verfasst hat:

http://courses.csail.mit.edu/6.849/fall10/lectures/

Die Vorträge sind großartig, wie Sie es erwarten würden. Was mich jedoch wirklich beeindruckt, sind die Produktionswerte: Auf der Webseite jeder Vorlesung sind Folien und Vorlesungsnotizen eingebettet , die synchron zum Video abgespielt werden. Es verwendet hochauflösendes HTML5-Video mit der gesamten Synchronisation von Folien und Vorlesungsnotizen in JavaScript. Hoffentlich wird dies einen neuen Standard für hervorragende Leistungen setzen.

CCC (IEEE-Konferenz zu Computational Complexity)

• Die CCC 2010 Videos

Der Youtube-Kanal des MIT könnte ebenfalls nützlich sein.

Ich habe gerade die folgenden zwei Websites gefunden. Sie wurden von einigen Leuten empfohlen, aber ich habe sie noch nicht bewertet:

• VideoLectures.net: http://videolectures.net/Top/Computer_Science/
• AacademicEarth.org: http://academicearth.org/subjects/computer-science/

Ich bin zu spät dran, finde aber Cristian Caludes Vortrag über Unvollständigkeit hervorragend.

$\mathsf{P}$$\mathsf{NP}$

Michael Sipser, "Jenseits der Berechnung: Das P vs NP-Problem" , CMI Public Lecture , 2006.

Auch auf youtube verfügbar .

Hierbei handelt es sich um eine Vorlesungsreihe über Quantenberechnung von Professor David Deutsch

http://www.quiprocone.org/Protected/DD_lectures.htm

Eine weitere großartige Serie über Quantum Computation von Michael Nielsen richtet sich an den Durchschnittsmenschen, der etwas über Quantum Computation lernen möchte

https://m.youtube.com/#/playlist?gl=US&hl=de&client=mv-google&list=PL1826E60FD05B44E4

$\pi$

Die folgenden Ressourcen sind sehr hilfreich: http://www.aduni.org/courses/ (Diskrete Mathematik, Algorithmen, Berechnungstheorie und viele andere) und http://erikdemaine.org/classes/ (Die Algorithmen auf planar gefallen mir besonders gut Graphs Lecture und Advanced Data Structure (siehe hier)

TCS + (eine zweiwöchentliche Online-Seminarreihe, in der Google Hangouts als Medium verwendet wird) verfügt über einen YouTube-Kanal sowie eine Liste früherer Vorträge:

https://sites.google.com/site/plustcs/past-talks

(Diese Auflistung enthält auch die Folien der Vorträge).

Die Themen sind sehr vielfältig und sollen alle Bereiche des TCS abdecken.

Allgemeine CS-Videos, einige gute finden Sie hier: http://lecturefox.com/computerscience/

Nicht auf Computing beschränkt, aber trotzdem gut: http://mitworld.mit.edu/