Search for tag: "integers"

26 Media

01:24:59 ECS20 - W22 - Lecture 10 (5R): Relations and… ECS20 - W22 - Lecture 10 (5R): Relations and Functions 2	ECS20 - W22 - Lecture 10 (5R): Relations and Functions 2 Injective, surjective, and bijective functions. Examples. Two methods to shuffle cards. Countably infinite sets. function domain cards numbers strings points permutation sets card integers bits codomain table image range From Phil Rogaway 0 likes 103 plays 0
01:25:00 ECS20 - W22 - Lecture 9 (5T): Relations and… ECS20 - W22 - Lecture 9 (5T): Relations and Functions 1	ECS20 - W22 - Lecture 9 (5T): Relations and Functions 1 ECS-020 Lecture 2022-02-01. Reviewing definitions. Equivalence relations and the idea that they induce partitions. Three ways of conceptualizing integers mod n. Functions. Computing functions that… relation strings function block equivalence blocks point integers length kind mod thing things functions characters string elements numbers integer From Phil Rogaway 0 likes 132 plays 0
01:20:53 ECS20 - W22 - Lecture 8 (4R): Sets 3 ECS20 - W22 - Lecture 8 (4R): Sets 3	ECS20 - W22 - Lecture 8 (4R): Sets 3 Review of strings and languages. Closing a set of languages using some operators. Regular languages. Examples. BYTE, WORD32, and WORD64 as languages computers "like", and how we… strings languages union concatenation star kleene closure bytes words unsigned integers floating point numbers float32 float64 ieee 754 ieee floating point standard relations string language numbers sets relation representation From Phil Rogaway 0 likes 85 plays 0
01:00:02 ECS 235B Winter Quarter 2022, Lecture 7 ECS 235B Winter Quarter 2022, Lecture 7	ECS 235B Winter Quarter 2022, Lecture 7 Lecture 7, on January 19, 2022 of ECS 235B, Foundations of Computer and Information Security level label object model directory secret relation clearance lattice category integers models sensitivity access elements bit bound objects things star From Matt Bishop 0 likes 22 plays 0
01:20:16 ECS20 - W22 - Lecture 2 (1R): Logic 1 ECS20 - W22 - Lecture 2 (1R): Logic 1	ECS20 - W22 - Lecture 2 (1R): Logic 1 Familiar sets and operators on them. The boolean domain and basic operators on booleans (AND, OR, NOT). Representing numbers in binary, and in other bases. Can you represent anything you care about… boolean logic operators logical operators values truth numbers operator table function thing integers notation symbol representation things base negation word digits variables kind formula From Phil Rogaway 0 likes 145 plays 0
04:39 ECS 120 5b:2 proof of non-regularity using… ECS 120 5b:2 proof of non-regularity using closure properties	ECS 120 5b:2 proof of non-regularity using closure properties integer language zeros star closure proof bunch strings integers fact properties technique string c. languages addition x. numbers component analogy From David Doty 0 likes 98 plays 0
01:26:51 ECS 289A Lecture 6b ECS 289A Lecture 6b	ECS 289A Lecture 6b sequence element vectors elements delta thing proof integers configuration species lemma configurations things reactions vector graph point stuff union output From David Doty 0 likes 12 plays 0
07:03 ECS 220 7b:7.3-4 a universal partial recursive… ECS 220 7b:7.3-4 a universal partial recursive function	ECS 220 7b:7.3-4 a universal partial recursive function function integer functions input representation integers times bar description numbers interpreter thing p3 recursion cases base theorem godel 1930s python From David Doty 0 likes 21 plays 0
08:05 ECS 220 7a:7.6-3 Turing universality of 2-counter… ECS 220 7a:7.6-3 Turing universality of 2-counter machines	ECS 220 7a:7.6-3 Turing universality of 2-counter machines counter machine machines kind encoding times counters wall function thing numbers plane problem fact computation input x. integers idea minsky From David Doty 0 likes 22 plays 0
13:20 ECS 220 6a:7.2-2 countability and diagonalization ECS 220 6a:7.2-2 countability and diagonalization	ECS 220 6a:7.2-2 countability and diagonalization numbers function input subset size power sets programs sequence elements diagonalization diagonal rows output inputs words zeros integers definition fact From David Doty 0 likes 40 plays 0
09:25 ECS 220 3c:5.4 Diophantine equations and… ECS 220 3c:5.4 Diophantine equations and computationally complex integrals	ECS 220 3c:5.4 Diophantine equations and computationally complex integrals sum pi integer equation term integers formula numbers subsets exponent cosine thing integrals problem bit words times subset form function From David Doty 0 likes 23 plays 0
05:48 ECS 220 2c:5.3-4 Tiling and Boolean circuits ECS 220 2c:5.3-4 Tiling and Boolean circuits	ECS 220 2c:5.3-4 Tiling and Boolean circuits tile squares formula square inputs circuit orange region unit fan gates rectangle integers gate edges tiles question tiling model lot From David Doty 0 likes 30 plays 0
04:10 ECS 220 2b:4.3-3 problems not obviously in NP ECS 220 2b:4.3-3 problems not obviously in NP	ECS 220 2b:4.3-3 problems not obviously in NP np problem integers size solution integer equation proof inequalities circuit function graph path variables equations linear witnesses bits answer question From David Doty 0 likes 30 plays 0
08:46 ECS 220 2a:4.2-3 Integer-Partitioning and… ECS 220 2a:4.2-3 Integer-Partitioning and Subset-Sum	ECS 220 2a:4.2-3 Integer-Partitioning and Subset-Sum sum integers numbers subset algorithm problem integer half target recursion base words programming constraint sums total side bits binary running From David Doty 0 likes 37 plays 0
11:40 ECS 120 10b:1 diagonalization to show a set is… ECS 120 10b:1 diagonalization to show a set is smaller than its power set	ECS 120 10b:1 diagonalization to show a set is smaller than its power set elements function element table subset numbers sets sequence x. power kth diagonalization diagonal range d. f. definition row output integers From David Doty 0 likes 86 plays 0
02:14 ECS 120 9c:4 N vs. Q ECS 120 9c:4 N vs. Q	ECS 120 9c:4 N vs. Q rationals equals function 3d naturals enumeration g3 g2 g1 integers trick g. numbers bit lot From David Doty 0 likes 86 plays 0