Sciences formelles & physiques Informatique & CybersécuritéFRRyan O'Donnell tutorial on Hardess of Approximation - Part 1Ryan O'Donnell7 septembre 2017 58 min★ ★ ★ ★ ☆ 4/5ComplexitéInapproximabilitéNP-Dureté
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Quantum Computing (Spring 2016)Ryan O'Donnell24 juillet 2017 78 min★ ★ ★ ★ ☆ 4/5Informatique QuantiqueAlgorithme De ShorAlgorithme De Grover
Sciences formelles & physiques Informatique & CybersécuritéFRSpring 2015 Lecture 25 Quantum Computation defaultRyan O'Donnell15 juillet 2017 82 min★ ★ ★ ★ ☆ 4/5Calcul QuantiqueCircuits QuantiquesPortes Réversibles
Sciences formelles & physiques Informatique & CybersécuritéFRSpring 2013 Lecture 19 Quantum Computation default b4aea100Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ☆ 4/5Calcul QuantiqueCircuits BooléensPortes Réversibles
Sciences formelles & physiques Informatique & CybersécuritéFRSpring 2013 Lecture 15 Approximation Algorithms defaultRyan O'Donnell15 juillet 2017 73 min★ ★ ★ ★ ☆ 4/5Algorithmes D'approximationVertex CoverNP-Difficulté
Sciences formelles & physiques Informatique & CybersécuritéFRSpring 2013 Lecture 07 Time Complexity default dade9f9eRyan O'Donnell15 juillet 2017 71 min★ ★ ★ ★ ☆ 4/5Complexité AlgorithmiqueTemps D'exécutionDéfinitions
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Turing's Legacy (Spring 2015)Ryan O'Donnell15 juillet 2017 69 min★ ★ ★ ★ ★ 5/5Machine De TuringCalculabilitéAlgorithmes
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Randomized Algorithms (Spring 2016)Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ☆ 4/5Algorithmes RandomisésInformatique ThéoriqueProbabilités
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Random Walks and Markov Chains (Spring 2016)Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ☆ 4/5Marche AléatoireChaîne De MarkovInformatique Théorique
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Quantum Computing (Spring 2016)Ryan O'Donnell15 juillet 2017 77 min★ ★ ★ ★ ☆ 4/5Informatique QuantiqueQubitsAlgorithme De Shor
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Probability 2 (Spring 2015)Ryan O'Donnell15 juillet 2017 80 min★ ★ ★ ★ ★ 5/5ProbabilitésVariables AléatoiresEspérance
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Probability 1 (Spring 2013)Ryan O'Donnell15 juillet 2017 65 min★ ★ ★ ★ ☆ 4/5ProbabilitésInformatique ThéoriqueAlgorithmes Randomisés
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Polynomials (Spring 2015)Ryan O'Donnell15 juillet 2017 74 min★ ★ ★ ★ ☆ 4/5PolynômesCorps FinisInformatique Théorique
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: On Proofs (Spring 2016)Ryan O'Donnell15 juillet 2017 63 min★ ★ ★ ★ ☆ 4/5PreuvesInformatique ThéoriqueLogique
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Logic (Spring 2013)Ryan O'Donnell15 juillet 2017 71 min★ ★ ★ ★ ☆ 4/5LogiquePropositional LogicFirst-Order Logic
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Linear Algebra (Spring 2016)Ryan O'Donnell15 juillet 2017 76 min★ ★ ★ ★ ☆ 4/5Algèbre LinéaireInformatique ThéoriqueFibonacci
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Group Theory (Spring 2016)Ryan O'Donnell15 juillet 2017 80 min★ ★ ★ ★ ☆ 4/5Théorie Des GroupesInformatique ThéoriqueCours Magistral
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Graphs: The Basics (Spring 2015)Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ☆ 4/5GraphesThéorie Des GraphesInformatique Théorique
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Graph Algorithms (Spring 2015)Ryan O'Donnell15 juillet 2017 70 min★ ★ ★ ★ ★ 5/5Algorithmes De GraphesBFSDFS
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Finite Automata (Spring 2015)Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ☆ 4/5Automates FinisInformatique ThéoriqueLangages Réguliers
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Fast Integer Multiplication (Spring 2016)Ryan O'Donnell15 juillet 2017 74 min★ ★ ★ ★ ☆ 4/5Multiplication D'entiersAlgorithmeComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Epilogue: Why Max-Cut is My Favorite (Spring 2015)Ryan O'Donnell15 juillet 2017 61 min★ ★ ★ ★ ☆ 4/5Max-CutAlgorithmes D'approximationProgrammation Semi-Définie
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)Ryan O'Donnell15 juillet 2017 81 min★ ★ ★ ★ ☆ 4/5Systèmes DéductifsLogique PropositionnellePreuves
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)Ryan O'Donnell15 juillet 2017 73 min★ ★ ★ ★ ★ 5/5CardinalitéDénombrabilitéDiagonalisation
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Computability (Spring 2013)Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ★ 5/5CalculabilitéMachine De TuringDécidabilité
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Approximation Algorithms (Spring 2016)Ryan O'Donnell15 juillet 2017 79 min★ ★ ★ ★ ☆ 4/5Algorithmes D'approximationComplexitéNP-Difficile
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 23: Open problemsRyan O'Donnell8 juillet 2017 76 min★ ★ ★ ★ ★ 5/5Analyse De FourierFonctions BooléennesProblèmes Ouverts
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 19: Invariance theoremsRyan O'Donnell8 juillet 2017 77 min★ ★ ★ ★ ★ 5/5Théorème D'invarianceThéorème Central LimiteAnalyse De Fourier
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 17: UG-hardness results from dictator testsJohn Wright8 juillet 2017 84 min★ ★ ★ ★ ☆ 4/5Unique Games ConjectureDictator TestingHardness of Approximation
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 16: Håstad's hardness theoremsRyan O'Donnell8 juillet 2017 78 min★ ★ ★ ★ ★ 5/5Analyse De FourierFonctions BooléennesThéorèmes De Håstad
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 15: Constraint satisfacation problemsRyan O'Donnell8 juillet 2017 75 min★ ★ ★ ★ ★ 5/5CSPAnalyse De FourierThéorie De La Complexité
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 14: Probabilistically checkable proofs of proximityRyan O'Donnell8 juillet 2017 76 min★ ★ ★ ★ ★ 5/5PCPPreuves Vérifiables ProbabilistiquementFonctions Booléennes
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 13: Dictator Testing and the FKN TheoremRyan O'Donnell8 juillet 2017 77 min★ ★ ★ ★ ★ 5/5Analyse De FourierTest De PropriétésThéorème FKN
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 11: Level-1 inequality and the 2/pi TheoremRyan O'Donnell8 juillet 2017 79 min★ ★ ★ ★ ★ 5/5Analyse De FourierFonctions BooléennesInégalité De Niveau 1
Sciences formelles & physiques Informatique & CybersécuritéFRUndergrad Complexity at CMU - Lecture 28: Why is P vs. NP Difficult?Ryan O'Donnell7 juillet 2017 80 min★ ★ ★ ★ ★ 5/5P vs NPComplexité ComputationnelleThéorème De Baker-Gill-Solovay
Sciences formelles & physiques Informatique & CybersécuritéFRUndergrad Complexity at CMU - Lecture 27: Hardness within PRyan O'Donnell7 juillet 2017 82 min★ ★ ★ ★ ☆ 4/5ComplexitéPSETH
Sciences formelles & physiques Informatique & CybersécuritéFRUndergrad Complexity at CMU - Lecture 26: Beyond Worst-Case AnalysisRyan O'Donnell7 juillet 2017 80 min★ ★ ★ ★ ☆ 4/5Complexité ComputationnelleAnalyse Au-Delà Du Pire CasThéorème PCP
Sciences formelles & physiques Informatique & CybersécuritéFRUndergrad Complexity at CMU - Lecture 25: Interactive Proofs: IP=PSPACERyan O'Donnell7 juillet 2017 83 min★ ★ ★ ★ ★ 5/5Preuves InteractivesIP=PSPACEComplexité Computationnelle
Sciences formelles & physiques Informatique & CybersécuritéFRUndergrad Complexity at CMU - Lecture 24: Oracle Turing Machines and P^NPRyan O'Donnell7 juillet 2017 82 min★ ★ ★ ★ ★ 5/5Complexité ComputationnelleMachines De Turing Avec OracleP^NP
Sciences formelles & physiques Informatique & CybersécuritéFRAnalysis of Boolean Functions at CMU - Lecture 9: Majority, LTFs, and the CLTRyan O'Donnell7 juillet 2017 77 min★ ★ ★ ★ ★ 5/5Analyse De FourierFonctions BooléennesThéorème Central Limite
