Search for tag: "integer"

ECS 120 5b:4 a non-regular unary language

From  David Doty 0 likes 38 plays 0  

ECS 120 5b:2 proof of non-regularity using closure properties

From  David Doty 0 likes 41 plays 0  

ECS 153, Spring 2021; Lecture #3; April 2, 2021

ECS 153, Spring 2021. Computer Security. This begins some sessions on robust programming. The lecture starts at 5:31 into the video.

From  Matt Bishop 0 likes 107 plays 0  

ECS 289A Lecture 7a

From  David Doty 0 likes 9 plays 0  

ECS 220 8a:8.1-1 space versus time, and read-only, write-only, and read-write memory

From  David Doty 0 likes 20 plays 0  

ECS 220 7b:7.3-4 a universal partial recursive function

From  David Doty 0 likes 17 plays 0  

ECS 220 7a:7.6-2 Turing universality of 3-counter machines

From  David Doty 0 likes 15 plays 0  

ECS 220 3c:5.4 Diophantine equations and computationally complex integrals

From  David Doty 0 likes 15 plays 0  

ECS 220 2b:4.3-3 problems not obviously in NP

From  David Doty 0 likes 23 plays 0  

ECS 220 2a:4.2-3 Integer-Partitioning and Subset-Sum

From  David Doty 0 likes 25 plays 0  

ECS 220 1b:2.5 tractability and mathematical insight

From  David Doty 0 likes 31 plays 0  

ECS 120 7b:5 polynomial-time verifier for Composites

From  David Doty 1 likes 122 plays 0  

ECS 120 6a:4 other variants of TMs

From  David Doty 1 likes 130 plays 0  

ECS 120 3a:3 DFA union (product construction) example

From  David Doty 1 likes 228 plays 0  

ECS 120 1c:2 example DFA deciding binary number congruence

From  David Doty 1 likes 170 plays 0  

ECS 120 1a:1 introduction to course

From  David Doty 1 likes 166 plays 0