Jakie filmy wszyscy powinni oglądać?

Uniwersytet Stanforda ma teraz kanał na Youtube , z bezpłatnym dostępem do filmów HD z pełnymi kursami na wszystko, od systemów dynamicznych po splątanie kwantowe. Więcej konferencji i warsztatów nagrywa swoje rozmowy wideo. Jakie są filmy online, o których Twoim zdaniem każdy powinien wiedzieć?

Posadzę to kilkoma odpowiedziami na prezentacje, które w większości są ekspozycjami, ale mam nadzieję, że może się zdarzyć, że ta społeczność wiki mogłaby stać się zasobem do dzielenia się doskonałymi prezentacjami nowych badań, a także miejscem do nauki ( lub wzmocnij) tło w nieznanym obszarze.

Timothy Gowers ma zestaw filmów o złożoności obliczeniowej i obliczeniach kwantowych online.

Wykłady posła Richarda Feynmana przywrócone z adnotacjami przez Tuva Project Microsoftu. Pełne ujawnienie: do tej pory oglądałem tylko dwa; były niesamowite. (Nie do końca TCS, ale musiałem zacząć od nich.)

Rozważania Dona Knutha są świetne, zawsze opisują coś niesamowitego, nieznanego mi wcześniej.

Stephen Boyd ma całą swoją klasę Stanforda w Convex Optimization online.

Kilka ciekawych komentarzy i poza tym, obejmuje ten sam materiał, co w jego książce .

Instytuty z wideo rozmowami online:

• The Fields Institute na University of Toronto (audio + slajdy)

• Instytut Zaawansowanych Studiów w Szkole Matematyki i Informatyki i Matematyki Dyskretnej

• Institute for Advanced Studies / Princeton's Center for Computational Intractability ,
  np. Barriers Workshop

• Isaac Newton Institute for Mathematical Sciences

• Simons Institute for Theory of Computing

Grupy teorii z filmami do dyskusji online:

• Theory Group w University of Chicago

Zobacz także ten post na blogu autorstwa Lance Fortnow.

Wykład Dana Spielmana w konkursie Nevanlinna na Hyderabad 2010. Ten link otrzymałem z postu na blogu autorstwa Timothy Gowers; post zawiera jeszcze kilka linków wideo i tekstowych do ICM 2010.

Jest to naprawdę interesująca rozmowa, podane przez Yuri Gurevich na Hipoteza Churcha-Turinga tutaj .

Sekcja wideo IAS jest również doskonałym źródłem kursów online. Jednym z moich ulubionych jest:
Ketan Mulmuley. O P vs NP, teorii złożoności geometrycznej i hipotezie Riemanna.

FOCS (Sympozjum IEEE na temat podstaw informatyki)

• Filmy z FOCS 2010 są teraz online . Glencora Borradille wspomina o swoich ulubionych w tym poście na blogu .

Nie wiem, czy jest to wykład wideo, który każdy powinien obejrzeć, ale postanowiłem je obejrzeć, aby poznać Topologię Algebraiczną. Jak dotąd wydaje mi się całkiem dobry.

Wykłady z topologii algebraicznej

EDYCJA (dodano później) . Kolejny fajny zestaw wykładów wideo

Oto kolejny wspaniały zestaw wykładów Erika Demaine'a. Kurs nazywa się Algorytmy wykresów planarnych i nie tylko. Prowadzą go Erik Demaine, Shay Mozes, Christian Sommer i Siamak Tazari. Korzystają również z niektórych części szkicu Phila Kliens na Planarnych wykresach. Jestem pewien, że po pierwszych dwóch wykładach będzie to świetna książka.

Dla osób zainteresowanych obliczeniami kwantowymi rozmowy z QIP 2010 są dostępne tutaj: http://www.qip2010.ethz.ch/programme

Może się to wydawać dość wstępne dla większości ludzi tutaj, ale bardzo skorzystałem z nich, ponieważ jestem samoukiem. http://aduni.org/courses/theory/index.php?view=cw

Sugeruję wykłady na kanale 9: http://channel9.msdn.com/Tags/c9+lectures

Szczególnie podoba mi się wykład Erika Meijera na temat programowania funkcjonalnego.

Quantiki ma fajne stronę z abstrakcyjnymi filmami , na której ludzie mogą opublikować krótki film (3-6 minut) opisujący ich ostatnie artykuły / . Ponieważ jest częścią Quantiki, w dużej mierze koncentruje się na informacjach kwantowych / obliczeniach.

Całkowicie przezabawnym filmem (a także bardzo edukacyjnym) jest teraz słynny film Serre o tym, jak źle pisać matematykę.

Podobał mi się wykład Scotta Aaronsona w Caltech zatytułowany „Obliczenia kwantowe i granice wydajnego obliczania”. Wykład, który odbył się na cześć Feynmana, w bardzo przejrzysty i zabawny sposób przypomina, co jest powszechnie znane użytkownikom tej strony.

STOC (ACM Symposium on Theory of Computing)

• Filmy STOC 2011 są teraz dostępne online na ACM DL.

Erik Winfree opisuje samoorganizację DNA i programowanie molekularne podczas dyskusji plenarnej na ASPLOS 2008. Prawdopodobnie najlepsze rygorystyczne wprowadzenie do teorii samoorganizacji obecnie dostępne w Internecie.

Informacje kwantowe, obliczenia i złożoność

Erik Demaine ma wykłady wideo z kursu Fall 2010 na temat algorytmów składania geometrycznego, który jest zgodny z podręcznikiem, którego współautorem był Joseph O'Rourke:

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

Wykłady są świetne, jak można się spodziewać. Ale tym, co naprawdę mnie wyróżnia, są wartości produkcyjne: strona internetowa każdego wykładu zawiera osadzone slajdy i notatki z wykładu, które są odtwarzane synchronicznie z wideo. Wykorzystuje wideo w wysokiej rozdzielczości HTML5 z całą synchronizacją slajdów i notatek z wykładów wykonanych w JavaScript. Mamy nadzieję, że wyznaczy to nowy standard doskonałości.

CCC (konferencja IEEE na temat złożoności obliczeniowej)

• Filmy z CCC 2010

Przydatny może być również kanał YouTube MIT .

Właśnie znalazłem następujące dwie strony internetowe. Polecili je niektórzy ludzie, ale jeszcze ich nie oceniłem:

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

Spóźniłem się z odpowiedzią, ale uważam, że wykład Cristiana Calude'a o niekompletności jest doskonały.

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

Michael Sipser, „Beyond Computation: The P vs. NP Problem” , CMI Public Lecture , 2006.

Dostępne również na youtube .

To seria wykładów na temat obliczeń kwantowych autorstwa profesora Davida Deutscha

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

Kolejna świetna seria Michaela Nielsena na temat obliczeń kwantowych skierowana do przeciętnego Joe, który chce dowiedzieć się o obliczeniach kwantowych

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

Jeśli interesuje Cię teoria współbieżności, języki programowania lub interaktywne dowodzenie twierdzeń, gorąco polecam filmy z ostatniego sympozjum Milnera . Na przykład przemowa J. Parrowa$\pi$

Bardzo pomocne są następujące zasoby: http://www.aduni.org/courses/ (Discrete Math, Algorytmy, teoria obliczeń i wiele innych) oraz http://erikdemaine.org/classes/ (Szczególnie podoba mi się algorytm na płaszczyźnie wykład wykresy i zaawansowana struktura danych lec tutaj)

TCS + (seria dwutygodniowych seminariów online, wykorzystująca Google Hangouts jako medium), ma kanał na YouTube , a także listę poprzednich wykładów:

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

(Ta lista zawiera także slajdy z rozmów).

Tematy są dość zróżnicowane i mają obejmować wszystkie obszary TCS.

Ogólne filmy CS, znalazłem kilka dobrych tutaj: http://lecturefox.com/computerscience/

Nie ogranicza się do informatyki, ale mimo to dobrze: http://mitworld.mit.edu/