Complexity classes | Theory of computation | Outlines of mathematics and logic

List of computability and complexity topics

This is a list of computability and complexity topics, by Wikipedia page. Computability theory is the part of the theory of computation that deals with what can be computed, in principle. Computational complexity theory deals with how hard computations are, in quantitative terms, both with upper bounds (algorithms whose complexity in the worst cases, as use of computing resources, can be estimated), and from below (proofs that no procedure to carry out some task can be very fast). For more abstract foundational matters, see the list of mathematical logic topics. See also list of algorithms, list of algorithm general topics. (Wikipedia).

Video thumbnail

A Theory of Cryptographic Complexity - Manoj M. Prabhakaran

Manoj M. Prabhakaran University of Illinois at Urbana-Champaign March 1, 2010 In this talk, I shall describe an ongoing project to develop a complexity theory for cryptographic (multi-party computations. Different kinds of cryptographic computations involve different constraints on how in

From playlist Mathematics

Video thumbnail

Results and open problems in theory of quantum complexity - Anindya De

Andris Ambainis University of Latvia; Member, School of Mathematics April 22, 2014 I will survey recent results and open problems in several areas of quantum complexity theory, with emphasis on open problems which can be phrased in terms of classical complexity theory or mathematics but ha

From playlist Mathematics

Video thumbnail

COMPUTER SCIENCE TERMINOLOGY

Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------

From playlist Computer Science

Video thumbnail

SketchySVD - Joel Tropp, California Institute of Technology

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Video thumbnail

Variety of...

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Computers

Video thumbnail

Programming with Math (Exploring Type Theory)

As programs are getting more complex, it's time to go back to basics, to the old well tested approach to complexity called mathematics. Let compilers deal with the intricacies of Turing machines. Our strength is abstract thinking. Let's use it! EVENT: Øredev 2018 SPEAKER: Bartosz Milew

From playlist Software Development

Video thumbnail

Intro to Number Theory and The Divisibility Relation

This video introduces the divisibility relation and provided several examples. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

An Introduction to Data Structures

Hello everyone and welcome to an Introduction to Data Structures. In this lecture-style course, I’ll be taking through the topic of Data Structures in relation to Computer Science. We’ll go over what Data Structures are, how we measure a Data Structures efficiency, and then hop into talkin

From playlist Software Development

Video thumbnail

Lec 8 | MIT 6.00SC Introduction to Computer Science and Programming, Spring 2011

Lecture 8: Efficiency and Order of Growth Instructor: John Guttag View the complete course: http://ocw.mit.edu/6-00SCS11 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.00SC Introduction to Computer Science and Programming

Video thumbnail

Complexity and hyperoperations | Data Structures Math Foundations 174

We introduce the idea of the complexity of a natural number: a measure of how hard it is to actually write down an arithmetical expression that evaluates to that number. This notion does depend on a prior choice of arithmetical symbols that we decide upon, but the general features are surp

From playlist Math Foundations

Video thumbnail

Lecture 1A: Overview and Introduction to Lisp

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman View the complete course: https://ocw.mit.edu/6-001S05 YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090 Overview and Introductio

From playlist MIT 6.001 Structure and Interpretation, 1986

Video thumbnail

Big O: How Code Slows as Data Grows

Big O notation is a computer science technique for analyzing how code performs as data gets larger. It's a very handy tool for the working programmer, but it's often shrouded in off-putting mathematics. In this talk, I'll teach you what you need to know about Big-O, and how to use it to

From playlist Talks

Video thumbnail

Free CISSP Training Videos | CISSP Tutorial Online Part 3

🔥Advanced Executive Program In Cybersecurity: https://www.simplilearn.com/pgp-advanced-executive-program-in-cyber-security?utm_campaign=CISSP-4u04FcVYD2c&utm_medium=Descriptionff&utm_source=youtube 🔥Caltech Cybersecurity Bootcamp(US Only): https://www.simplilearn.com/cybersecurity-bootcamp

From playlist CISSP Training Videos [2022 Updated]

Video thumbnail

Topic Modeling with SVD & NMF (NLP video 2)

In order to organize posts (from the newsgroups data set) by topic, we learn about 2 different matrix decompositions: singular value decomposition (SVD) and non-negative matrix factorization (NMF). Along the way, we learn about stop words, stemming, & lemmatization. Jupyter notebook: htt

From playlist fast.ai Code-First Intro to Natural Language Processing

Video thumbnail

Homological Algebra(Homo Alg 1) by Graham Ellis

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

1A. Intro 1: Computational Side of Computational Biology. Statistics; Perl, Mathematica

MIT HST.508 Genomics and Computational Biology, Fall 2002 Instructor: George Church View the complete course: https://ocw.mit.edu/courses/hst-508-genomics-and-computational-biology-fall-2002/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61gaHWysmlYNeGsuUI8y5GV First

From playlist HST.508 Genomics and Computational Biology, Fall 2002

Video thumbnail

Results and open problems in theory of quantum complexity - Andris Ambainis

Andris Ambainis University of Latvia; Member, School of Mathematics April 22, 2014 I will survey recent results and open problems in several areas of quantum complexity theory, with emphasis on open problems which can be phrased in terms of classical complexity theory or mathematics but ha

From playlist Mathematics

Video thumbnail

RailsConf 2022 - Computer science you might (not) want to know by Andy Andrea

One common recommendation for aspiring software developers is to pursue a degree in Computer Science (CS). While CS curricula do often cover practical software development skills, many departments heavily prioritize more academic and theoretical topics. This begs the question: how relevant

From playlist RailsConf 2022

Video thumbnail

Computer Science Basics: Programming Languages

We use computers every day, but how often do we stop and think, “How do they do what they do?” This video series explains some of the core concepts behind computer science. To view the entire playlist, visit https://www.youtube.com/playlist?list=PLpQQipWcxwt-Q9izCl0mm-QZ4seuBdUtr. We hop

From playlist Computer Science Basics

Video thumbnail

Mathematica and Scientific Visualization

Wolfram Language developers demonstrate the latest calculus functionality and algebraic computation and show our built-in support for easily visualizing complex-valued data and functions, stunning maps with new classes of geo visualizations and new molecular structure visualization. This i

From playlist New in Wolfram Language 12 Webinar Series

Related pages

Computable analysis | Busy beaver | 3SUM | Hamiltonian path problem | Tree automaton | Nondeterministic finite automaton | Büchi automaton | Lambda calculus | Circuit complexity | Simulated annealing | Langton's ant | Regular expression | Polynomial hierarchy | Boolean satisfiability problem | Constructible function | Turing machine | Computational complexity theory | Knuth–Bendix completion algorithm | Prefix grammar | Integer factorization | Penrose tiling | List of algorithm general topics | Deterministic finite automaton | Context-free grammar | Star height | Las Vegas algorithm | Rewriting | Pushdown automaton | Conway's Game of Life | Function problem | Linear speedup theorem | Entscheidungsproblem | Correctness (computer science) | Advice (complexity) | Star height problem | Approximation algorithm | List of algorithms | Wang tile | Cellular automaton | Petri net | Amortized analysis | Markov algorithm | Edge of chaos | Regular grammar | Recursion (computer science) | Generalized game | Randomized algorithm | Decision problem | Time hierarchy theorem | List of mathematical logic topics | Mealy machine | Algorithmic information theory | Natural proof | Clique problem | Presburger arithmetic | Knapsack problem | Alternating Turing machine | Context-sensitive grammar | Generalized nondeterministic finite automaton | Turing tarpit | Calculation | Exponential hierarchy | Addition chain | Hypercomputation | List of complexity classes | L-system | Multiplication algorithm | Stack machine | Arithmetic circuit complexity | Chomsky hierarchy | Interactive proof system | 2-satisfiability | Recursively enumerable language | Savitch's theorem | Space hierarchy theorem | Combinatory logic | Word problem for groups | Interactive computation | Game semantics | Algorithmic probability | Oracle machine | Regular language | Scholz conjecture | Exponential time | Weihrauch reducibility | Real computation | Moore machine | Set cover problem | Division by two | Context-sensitive language | Post–Turing machine | Computability theory | Computable number | Mathematical table | Arthur–Merlin protocol | Halting problem | Post correspondence problem | Multiplication table | Computation | Register machine | Subset sum problem | Algorithm | Parameterized complexity | State diagram | Recursion