Search for tag: "machines"

26 Media

55:12 His 147A Sec. 2: SF since the 1970s, Part 1 His 147A Sec. 2: SF since the 1970s, Part 1	His 147A Sec. 2: SF since the 1970s, Part 1 science fiction 1980s 1960s 1950s kind cyberspace 990s computer space machines 1970s writer idea 1990s stories computers punk 70s lot From Michael Saler on June 1st, 2021 0 likes 24 plays 0
01:19:00 ECS 289A Lecture 8b ECS 289A Lecture 8b	ECS 289A Lecture 8b machine counter probability bit tape turing machines things dna rate kind strand reaction error simulation times base step head computation From David Doty on March 22nd, 2021 0 likes 3 plays 0
06:44 ECS 220 7c:7.5-2 existence of universal machines… ECS 220 7c:7.5-2 existence of universal machines and the Church-Turing thesis	ECS 220 7c:7.5-2 existence of universal machines and the Church-Turing thesis machine turing paper statement model thesis church computation problem net law device machines tapes terrain models functions description computing weights From David Doty on March 21st, 2021 0 likes 8 plays 0
01:48 ECS 220 7c:7.4 λ-calculus ECS 220 7c:7.4 λ-calculus	ECS 220 7c:7.4 λ-calculus programming languages functions language science computer calculus model sort variant scheme lines notation lambda interpreter programs reason ton machines turing From David Doty on March 21st, 2021 0 likes 13 plays 0
09:51 ECS 220 7a:7.6-1 counter machine definition and… ECS 220 7a:7.6-1 counter machine definition and examples	ECS 220 7a:7.6-1 counter machine definition and examples counter loop machine times counters increment words decrement machines input lot definition d. b. function a. increments output shorthand test From David Doty on March 21st, 2021 0 likes 16 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 on March 21st, 2021 0 likes 13 plays 0
06:36 ECS 220 6c:7.2-3 Gödel’s… ECS 220 6c:7.2-3 Gödel’s Incompleteness Theorem (soundness)	ECS 220 6c:7.2-3 Gödel’s Incompleteness Theorem (soundness) statement proof theorem problem statements godel contradiction machines negation systems stuff incompleteness distinction parallel tuple things turing programs language hilbert From David Doty on March 21st, 2021 0 likes 12 plays 0
02:11 ECS 220 5c:7 great unifications in science ECS 220 5c:7 great unifications in science	ECS 220 5c:7 great unifications in science theory computation science chapter models terrain light field magnetism electricity maxwell gravity computer computability theme power machines calculus lambda functions From David Doty on March 21st, 2021 0 likes 15 plays 0
02:14 ECS 220 4c:6.3-4 P vs. NP vs. EXP… ECS 220 4c:6.3-4 P vs. NP vs. EXP nondeterministic time hierarchy theorem	ECS 220 4c:6.3-4 P vs. NP vs. EXP nondeterministic time hierarchy theorem np subset hierarchy problems machines simulation thing theorem linear problem xp complexity sort overhead talk lack end dimension x. exponent From David Doty on March 21st, 2021 0 likes 14 plays 0
07:37 ECS 220 4c:6.3-3 simulation slowdown and the Time… ECS 220 4c:6.3-3 simulation slowdown and the Time Hierarchy Theorem	ECS 220 4c:6.3-3 simulation slowdown and the Time Hierarchy Theorem steps subset problems programming languages machines language simulation catch-22 linear step log interpreter slowdown polynomial exponent end bit amount theorem From David Doty on March 21st, 2021 0 likes 15 plays 0
03:17 ECS 220 3a:3-5.2 recall Witness-Existence ECS 220 3a:3-5.2 recall Witness-Existence	ECS 220 3a:3-5.2 recall Witness-Existence circuit input witness problem existence computation circuits length steps reduction words outputs question size np bit kinds machines insight px From David Doty on March 21st, 2021 0 likes 19 plays 0
09:53 ECS 220 1a:2.1 problems and solutions ECS 220 1a:2.1 problems and solutions	ECS 220 1a:2.1 problems and solutions problem divisor algorithm graph decision mod b. function path gcd string graphs squares machines definition star language strings sense inputs From David Doty on March 21st, 2021 0 likes 45 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
07:44 ECS 120 6c:1 TMs versus code ECS 120 6c:1 TMs versus code	ECS 120 6c:1 TMs versus code string v1 v3 v2 language programming objects machines turing matrix graph lot languages level row adjacency nodes strings assembly machine From David Doty on March 20th, 2021 0 likes 105 plays 0
11:59 ECS 120 6a:4 other variants of TMs ECS 120 6a:4 other variants of TMs	ECS 120 6a:4 other variants of TMs tape machine turing stack memory machines integer model things counter counters power fact end middle stuff idea access bottom array From David Doty on March 20th, 2021 0 likes 81 plays 0
04:39 ECS 120 6a:2 multitape TM transition function ECS 120 6a:2 multitape TM transition function	ECS 120 6a:2 multitape TM transition function tape tapes machine input turing string multi heads symbols gamma element delta function transition head power definition machines left position From David Doty on March 20th, 2021 0 likes 108 plays 0