Informatique théorique

Thema UYA

185 tuit · page 4/5

Sciences formelles & physiques Informatique & Cybersécurité

Course Introduction and Overview: Graduate Complexity Lecture 1 at CMU

Ryan O'Donnell

18 septembre 2017 80 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleThéorie De La ComplexitéCours Magistral

Sciences formelles & physiques Informatique & Cybersécurité

Circuits: Graduate Complexity Lecture 4 at CMU

Ryan O'Donnell

18 septembre 2017 79 min

★ ★ ★ ★ ★ 5/5

Circuits BooléensComplexité ComputationnelleP/Poly

Sciences formelles & physiques Informatique & Cybersécurité

Ryan O'Donnell tutorial on Hardess of Approximation - Part 3

Ryan O'Donnell

7 septembre 2017 63 min

★ ★ ★ ★ ☆ 4/5

ComplexitéInapproximabilitéUnique Games Conjecture

Sciences formelles & physiques Informatique & Cybersécurité

Ryan O'Donnell tutorial on Hardess of Approximation - Part 2

Ryan O'Donnell

7 septembre 2017 63 min

★ ★ ★ ★ ☆ 4/5

ComplexitéInapproximabilitéLabel Cover

Sciences formelles & physiques Informatique & Cybersécurité

Ryan O'Donnell tutorial on Hardess of Approximation - Part 1

Ryan O'Donnell

7 septembre 2017 58 min

★ ★ ★ ★ ☆ 4/5

ComplexitéInapproximabilitéNP-Dureté

Sciences formelles & physiques Informatique & Cybersécurité

Spring 2013 Lecture 07 Time Complexity default dade9f9e

Ryan O'Donnell

15 juillet 2017 71 min

★ ★ ★ ★ ☆ 4/5

Complexité AlgorithmiqueTemps D'exécutionDéfinitions

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Turing's Legacy (Spring 2015)

Ryan O'Donnell

15 juillet 2017 69 min

★ ★ ★ ★ ★ 5/5

Machine De TuringCalculabilitéAlgorithmes

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Randomized Algorithms (Spring 2016)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Algorithmes RandomisésInformatique ThéoriqueProbabilités

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Random Walks and Markov Chains (Spring 2016)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Marche AléatoireChaîne De MarkovInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Probability 2 (Spring 2015)

Ryan O'Donnell

15 juillet 2017 80 min

★ ★ ★ ★ ★ 5/5

ProbabilitésVariables AléatoiresEspérance

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Probability 1 (Spring 2013)

Ryan O'Donnell

15 juillet 2017 65 min

★ ★ ★ ★ ☆ 4/5

ProbabilitésInformatique ThéoriqueAlgorithmes Randomisés

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Polynomials (Spring 2015)

Ryan O'Donnell

15 juillet 2017 74 min

★ ★ ★ ★ ☆ 4/5

PolynômesCorps FinisInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: On Proofs (Spring 2016)

Ryan O'Donnell

15 juillet 2017 63 min

★ ★ ★ ★ ☆ 4/5

PreuvesInformatique ThéoriqueLogique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Logic (Spring 2013)

Ryan O'Donnell

15 juillet 2017 71 min

★ ★ ★ ★ ☆ 4/5

LogiquePropositional LogicFirst-Order Logic

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Linear Algebra (Spring 2016)

Ryan O'Donnell

15 juillet 2017 76 min

★ ★ ★ ★ ☆ 4/5

Algèbre LinéaireInformatique ThéoriqueFibonacci

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Graphs: The Basics (Spring 2015)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

GraphesThéorie Des GraphesInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Finite Automata (Spring 2015)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Automates FinisInformatique ThéoriqueLangages Réguliers

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Epilogue: Why Max-Cut is My Favorite (Spring 2015)

Ryan O'Donnell

15 juillet 2017 61 min

★ ★ ★ ★ ☆ 4/5

Max-CutAlgorithmes D'approximationProgrammation Semi-Définie

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)

Ryan O'Donnell

15 juillet 2017 81 min

★ ★ ★ ★ ☆ 4/5

Systèmes DéductifsLogique PropositionnellePreuves

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)

Ryan O'Donnell

15 juillet 2017 73 min

★ ★ ★ ★ ★ 5/5

CardinalitéDénombrabilitéDiagonalisation

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Computability (Spring 2013)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ★ 5/5

CalculabilitéMachine De TuringDécidabilité

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 23: Open problems

Ryan O'Donnell

8 juillet 2017 76 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesProblèmes Ouverts

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 19: Invariance theorems

Ryan O'Donnell

8 juillet 2017 77 min

★ ★ ★ ★ ★ 5/5

Théorème D'invarianceThéorème Central LimiteAnalyse De Fourier

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 17: UG-hardness results from dictator tests

John Wright

8 juillet 2017 84 min

★ ★ ★ ★ ☆ 4/5

Unique Games ConjectureDictator TestingHardness of Approximation

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 16: Håstad's hardness theorems

Ryan O'Donnell

8 juillet 2017 78 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesThéorèmes De Håstad

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 15: Constraint satisfacation problems

Ryan O'Donnell

8 juillet 2017 75 min

★ ★ ★ ★ ★ 5/5

CSPAnalyse De FourierThéorie De La Complexité

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 14: Probabilistically checkable proofs of proximity

Ryan O'Donnell

8 juillet 2017 76 min

★ ★ ★ ★ ★ 5/5

PCPPreuves Vérifiables ProbabilistiquementFonctions Booléennes

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 13: Dictator Testing and the FKN Theorem

Ryan O'Donnell

8 juillet 2017 77 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierTest De PropriétésThéorème FKN

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 11: Level-1 inequality and the 2/pi Theorem

Ryan O'Donnell

8 juillet 2017 79 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesInégalité De Niveau 1

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 28: Why is P vs. NP Difficult?

Ryan O'Donnell

7 juillet 2017 80 min

★ ★ ★ ★ ★ 5/5

P vs NPComplexité ComputationnelleThéorème De Baker-Gill-Solovay

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 27: Hardness within P

Ryan O'Donnell

7 juillet 2017 82 min

★ ★ ★ ★ ☆ 4/5

ComplexitéPSETH

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 26: Beyond Worst-Case Analysis

Ryan O'Donnell

7 juillet 2017 80 min

★ ★ ★ ★ ☆ 4/5

Complexité ComputationnelleAnalyse Au-Delà Du Pire CasThéorème PCP

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 25: Interactive Proofs: IP=PSPACE

Ryan O'Donnell

7 juillet 2017 83 min

★ ★ ★ ★ ★ 5/5

Preuves InteractivesIP=PSPACEComplexité Computationnelle

Sciences formelles & physiques Informatique & Cybersécurité

Undergrad Complexity at CMU - Lecture 24: Oracle Turing Machines and P^NP

Ryan O'Donnell

7 juillet 2017 82 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleMachines De Turing Avec OracleP^NP

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 9: Majority, LTFs, and the CLT

Ryan O'Donnell

7 juillet 2017 77 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesThéorème Central Limite

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 8: Linial--Mansour--Nisan Theorems

Ryan O'Donnell

7 juillet 2017 74 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierCircuits BooléensComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 7: DNF formulas

Ryan O'Donnell

7 juillet 2017 75 min

★ ★ ★ ★ ★ 5/5

Fonctions BooléennesFormules DNFAnalyse De Fourier

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 6: Restrictions and the Goldreich--Levin Theorem

Ryan O'Donnell

7 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesThéorie De L'apprentissage

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 5: Spectral concentration and learning

Ryan O'Donnell

7 juillet 2017 80 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesThéorie De L'apprentissage

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 4: Noise stability and Arrow's Theorem

Ryan O'Donnell

7 juillet 2017 81 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesStabilité Au Bruit