David Evans - Channel

Home +Playlist

David Evans

203 videos

Sort by views Sort by oldest Sorted by newest Sort by newest - no shorts

Inference Risks for Machine Learning (ICLR Workshop on Distributed and Private Machine Learning)

847 views
4 years ago

Main Themes of Course

739 views
5 years ago

836 views
5 years ago

History of the Cook-Levin Theorem

1.1K views
5 years ago

Cook-Levin Theorem

2.6K views
5 years ago

The P=NP Question

1.5K views
5 years ago

Proving a Problem is in NP

9.9K views
5 years ago

Power of Nondeterministic Turing Machines

1K views
5 years ago

Complexity Class NP

599 views
5 years ago

502 views
5 years ago

Questions about P and EXP

438 views
5 years ago

Tractable and Intractable Problems

1.5K views
5 years ago

1K views
5 years ago

Shortest and Longest Paths

1.4K views
5 years ago

1.9K views
5 years ago

"Difficulty" of Functions

985 views
5 years ago

Proving Uncomputability (Busy Boas and Busier Beavers)

846 views
5 years ago

The Natural Numbers are Computable

658 views
5 years ago

Proving Computability and Noncomputability

4.6K views
5 years ago

1.8K views
5 years ago

Prints3 and IsMalware are Undecidable

674 views
5 years ago

Finite is Undecidable

1.6K views
5 years ago

HALTS is Undecidable

880 views
5 years ago

Proof by Reduction

3.4K views
5 years ago

Decidable, Recognizable, Computable

1.6K views
5 years ago

An Undecidable Problem

1.6K views
5 years ago

Computability in Theory and Practice

1.4K views
5 years ago

ACCEPTS is Uncomputable (Part 2)

424 views
5 years ago

ACCEPTS is Uncomputable (Part 1)

536 views
5 years ago

Universal Machines

886 views
5 years ago

Self-Rejection (An Uncomputable Function)

776 views
5 years ago

Church-Turing Thesis

5.5K views
5 years ago

On Uncomputable Numbers

12K views
5 years ago

1.9K views
5 years ago

Turing Machine Variations

450 views
5 years ago

Turing Machine Execution

590 views
5 years ago

What was Turing’s Model Modeling?

654 views
5 years ago

Turing Machine Examples

1.9K views
5 years ago

Turing Machines

981 views
5 years ago

Limitations of Finite State Automata

1.8K views
5 years ago

729 views
5 years ago

Proving FSAs are as Powerful as Regular Expressions (Part 4: Kleene Star)

970 views
5 years ago

Proving FSAs are as Powerful as Regular Expressions (Part 3: Concatenation)

693 views
5 years ago

Equivalence of NFAs and DFAs

1.4K views
5 years ago

848 views
5 years ago

1K views
5 years ago

Proving FSAs are as Powerful as Regular Expressions (Part 2: Bases, Union)

734 views
5 years ago

Proving FSAs are as Powerful as Regular Expressions

612 views
5 years ago

Equivalence of Regular Expressions and Finite State Automata

1.9K views
5 years ago

Warm-Up: Complementing the XOR Language

748 views
5 years ago

Regular Expressions

954 views
5 years ago

Power of Deterministic Finite Automata

736 views
5 years ago

Formalizing Finite State Automata

799 views
5 years ago

Finite Automaton for XOR

1.4K views
5 years ago

Beyond Finite Functions

673 views
5 years ago

Functions and Languages

753 views
5 years ago

Warm-up: Questions about Strings

711 views
5 years ago

Cost of Computing

570 views
5 years ago

Some Functions are Expensive

548 views
5 years ago

Common Misuses of Asymptotic Notation

594 views
5 years ago

362 views
5 years ago

Understanding the Asymptotic Operators

397 views
5 years ago

Using Big-O (Theorem 5.2)

597 views
5 years ago

Asymptotic Operators

724 views
5 years ago

First Complexity Proof

517 views
5 years ago

Complexity Classes: SIZE

423 views
5 years ago

Introducing Complexity

650 views
5 years ago

860 views
5 years ago

Representing Programs

765 views
5 years ago

Introducing EVAL

683 views
5 years ago

How Many Gates?

748 views
5 years ago

September 11 and Distributed Hashing

193 views
5 years ago

Making Zero and One

708 views
5 years ago

Computing Any Finite Function

1.1K views
5 years ago

1.4K views
5 years ago

Lengthening LOOKUP

1.4K views
5 years ago

Constructing Conditionals

1.2K views
5 years ago

De-Sugaring Procedures

1K views
5 years ago

Computing Models and Syntactic Sugar

1.1K views
5 years ago

Good Circuits Evaluate

383 views
5 years ago

Boolean Circuit Execution

505 views
5 years ago

Defining a Computing Model for Boolean Circuits

775 views
5 years ago

Boolean Circuits

1.6K views
5 years ago

Equivalence of Two Computing Models: NAND and AON

1.1K views
5 years ago

Programming with AND, OR, NOT

1K views
5 years ago

1K views
5 years ago

Modeling Computers

1.1K views
5 years ago

What is a Computer?

597 views
5 years ago

Counting the Binary Strings

1.1K views
5 years ago

Cantor's Shocking Proof

1.1K views
5 years ago

Are there Sets Bigger than the Natural Numbers?

540 views
5 years ago

Do Infinite Sets Exist?

860 views
5 years ago

Binary Relations

6.9K views
5 years ago

Python vs. Mathematics

916 views
5 years ago

708 views
5 years ago

Defining Set Cadinality

519 views
5 years ago

Defining the Binary Strings

880 views
5 years ago

Using the Induction Principle

565 views
5 years ago

Principle of Induction

660 views
5 years ago

Defining Addition

799 views
5 years ago