Search for tag: "python"

21 Media

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 on March 21st, 2021 0 likes 13 plays 0
09:01 ECS 220 7b:7.3-3 μ-recursive and partial… ECS 220 7b:7.3-3 μ-recursive and partial recursive functions	ECS 220 7b:7.3-3 μ-recursive and partial recursive functions functions function language input programs inputs recursion programming loop bloop python algorithm mu diagonalization air thing sense terminology middle answer From David Doty on March 21st, 2021 0 likes 10 plays 0
15:57 ECS 120 9a:3 no-input halting problem is… ECS 120 9a:3 no-input halting problem is undecidable	ECS 120 9a:3 no-input halting problem is undecidable input epsilon algorithm halts problem function string machine w. contradiction turing point thing inputs python paltz sense behavior constants answer From David Doty on March 20th, 2021 0 likes 69 plays 0
08:41 ECS 120 9a:1 halting problem definition and… ECS 120 9a:1 halting problem definition and Turing-recognizability	ECS 120 9a:1 halting problem definition and Turing-recognizability algorithm input function halts string recognizer python w. language answer problem chapter symbols instance algorithms count a. occurrences candidate lecture From David Doty on March 20th, 2021 0 likes 73 plays 0
09:28 ECS 120 8a:4 implementation in Python and the… ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem	ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem formula problem assignment bit formulas phi thing variables string lot problems cook fact verifier np satisfiability words python algorithm sat From David Doty on March 20th, 2021 0 likes 76 plays 0
09:55 ECS 120 7c:4 example problem in NP - SubsetSum ECS 120 7c:4 example problem in NP - SubsetSum	ECS 120 7c:4 example problem in NP - SubsetSum collection subset sum clique proof integers problem np graph size numbers element times problems c. addition s. python witness thing From David Doty on March 20th, 2021 0 likes 66 plays 0
07:02 ECS 120 7c:3 example problem in NP - Clique ECS 120 7c:3 example problem in NP - Clique	ECS 120 7c:3 example problem in NP - Clique clique size nodes graph verifier pairs problem input words pair problems iteration iterations loop g. threshold linear execution ways python From David Doty on March 20th, 2021 0 likes 90 plays 0
03:18 ECS 120 7a:3 P is the same for most encodings and… ECS 120 7a:3 P is the same for most encodings and programming languages	ECS 120 7a:3 P is the same for most encodings and programming languages differences algorithm programming python sort theory machines turing algorithms languages language intuition fact observation answers meaning notion problem elegance reading From David Doty on March 20th, 2021 0 likes 84 plays 0
01:01:43 MHI 289I, Fall 2020, Lecture #17 MHI 289I, Fall 2020, Lecture #17	MHI 289I, Fall 2020, Lecture #17 This is a recording of the seventeenth lecture, recorded by Zoom character match pattern webpage string thing function python things characters x. star end couple dot url backslash beginning error scope From Matt Bishop on December 2nd, 2020 0 likes 21 plays 0
58:33 MHI 289I, Fall 2020, Lecture #15 MHI 289I, Fall 2020, Lecture #15	MHI 289I, Fall 2020, Lecture #15 This is a recording of the fifteenth lecture, recorded by Zoom cards error function exception numbers card thing msg dice times end python things die algorithm questions hand cat sequence random From Matt Bishop on November 29th, 2020 0 likes 6 plays 0
01:00:34 MHI 289I, Fall 2020, Lecture #14 MHI 289I, Fall 2020, Lecture #14	MHI 289I, Fall 2020, Lecture #14 This is a recording of the fourteenth lecture, recorded by Zoom digit digits character string thing end exception error sequence things python faults problem loop numbers ways bit integer indigents characters From Matt Bishop on November 18th, 2020 0 likes 10 plays 0
01:16:09 MHI 289I, Fall 2020, Lecture #9 MHI 289I, Fall 2020, Lecture #9	MHI 289I, Fall 2020, Lecture #9 This is a recording of the ninth lecture, made by Zoom. element string elements things strings month thing copy lists bit problem error notice input python couple 29th words output questions From Matt Bishop on November 1st, 2020 0 likes 10 plays 0
01:11:32 MHI 289I, Fall 2020, Lecture #7 MHI 289I, Fall 2020, Lecture #7	MHI 289I, Fall 2020, Lecture #7 This is a recording of the seventh lecture, made by Zoom. character string end characters strings things thing python sequence vowels beginning reason palindrome operator notice questions word error print bit From Matt Bishop on October 22nd, 2020 0 likes 18 plays 0
01:02:50 MHI 289I, Fall 2020, Lecture #5 MHI 289I, Fall 2020, Lecture #5	MHI 289I, Fall 2020, Lecture #5 This is a recording of the fifth lecture, made by Zoom. loop python numbers thing things fib sum remainder integer fibonacci problem sequence squares break square statement questions bit integers error From Matt Bishop on October 19th, 2020 0 likes 14 plays 0
57:54 MHI 289I, Fall 2020, Lecture #4 MHI 289I, Fall 2020, Lecture #4	MHI 289I, Fall 2020, Lecture #4 This is a recording of the fourth lecture, made by Zoom. python programming loop condition things thing box times numbers bit indentation statement notice questions indent end lowercase comparison lot range strings From Matt Bishop on October 13th, 2020 0 likes 24 plays 0
01:00:03 MHI 289I, Fall 2020, Lecture #3 MHI 289I, Fall 2020, Lecture #3	MHI 289I, Fall 2020, Lecture #3 This is a recording of the third lecture, made by Zoom. python programming From Matt Bishop on October 11th, 2020 0 likes 24 plays 0