Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Turing Machines

Showing: 48 courses
NPTEL

Theory of Computation

4 rewiews
Explore finite automata, regular languages, context-free grammars, and Turing machines. Learn about computational models, their properties, and fundamental concepts in theoretical computer science.
Add to list
42 Lesons
1 day 15 hours
On-Demand
Free-Video
NPTEL

Theory of Automata, Formal Languages and Computation

1 rewiews
Explore automata theory, formal languages, and computation through grammars, finite state automata, pushdown automata, Turing machines, and advanced topics in theoretical computer science.
Add to list
42 Lesons
1 day 15 hours
On-Demand
Free-Video
Stanford University

Introduction to the Theory of Computing - Stanford

0 rewiews
Explore fundamental concepts of theoretical computer science, including automata, computability, and complexity theory, with practical applications and algorithmic fairness.
Add to list
41 Lesons
20 hours
On-Demand
Free-Video
Massachusetts Institute of Technology

Theory of Computation, Fall 2020

0 rewiews
Explore computability and complexity theory with MIT's in-depth course. Covers automata, Turing machines, undecidability, NP-completeness, and advanced topics in computational theory.
Add to list
25 Lesons
1 day 8 hours
On-Demand
Free-Video
Santa Fe Institute

Tutorial on Stochastic Thermodynamics - David Wolpert

0 rewiews
Explore stochastic thermodynamics with David Wolpert, covering Landauer's principle, approximate computing, performance constraints, and thermodynamic complexity in computational systems.
Add to list
17 Lesons
1 hour 14 minutes
On-Demand
Free-Video
Santa Fe Institute

The Dynamics of Computation and the Computational Power of Dynamics

0 rewiews
Explore the intersection of computation and dynamics, examining computational models, physical systems, and mathematical concepts to understand the nature of computation and its manifestation in various forms.
Add to list
20 Lesons
1 hour 29 minutes
On-Demand
Free-Video
Institute for Advanced Study

Reading Alan Turing - Exploring Turing's Influential Ideas in Theoretical Computer Science

0 rewiews
Explore Turing's influential papers and their impact on theoretical computer science with Avi Wigderson. Gain insights into Turing's visionary ideas and their modern relevance.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video

Theory of Computation

0 rewiews
Comprehensive exploration of Theory of Computation, covering automata, languages, grammars, and Turing machines. Ideal for GATE and UGC NET exam preparation.
Add to list
64 Lesons
10 hours
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 17

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 27 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 16

0 rewiews
Explore computação, lógica e teoria dos conjuntos em nível de mestrado. Aprofunde-se em linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 50 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 15

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
56 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 14

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
2 hours 2 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 08

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.
Add to list
1 Lesons
1 hour 31 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 07

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 57 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 06

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 50 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 19

0 rewiews
Explore advanced topics in computation, logic, and set theory, including formal languages, register machines, decidability, algorithmic complexity, first-order logic, and ZFC set theory.
Add to list
1 Lesons
2 hours 2 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Computação, Lógica e Teoria dos Conjuntos - Aula 18

0 rewiews
Explore tópicos avançados em computação, lógica e teoria dos conjuntos, incluindo linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
2 hours 4 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 11

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 43 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 10

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
2 hours 2 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 09

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.
Add to list
1 Lesons
1 hour 39 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 13

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture series.
Add to list
1 Lesons
1 hour 56 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 12

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
2 hours 1 minute
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 02

0 rewiews
Explore formal languages, register machines, decidability, algorithmic complexity, first-order logic, and set theory in this advanced mathematics lecture.
Add to list
1 Lesons
1 hour 41 minutes
On-Demand
Free-Video
Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01

0 rewiews
Explore fundamentos de computação, lógica e teoria dos conjuntos em aula de mestrado. Aborde linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.
Add to list
1 Lesons
1 hour 48 minutes
On-Demand
Free-Video
World Science Festival

Coding Consciousness - An Algorithm for Awareness?

0 rewiews
Explore theories of consciousness with computer scientists Lenore and Manuel Blum as they discuss the potential for coding self-awareness into algorithms, moderated by Brian Greene.
Add to list
7 Lesons
42 minutes
On-Demand
Free-Video
Models of Consciousness Conferences

No Substitute for Functionalism

0 rewiews
Explores types of variations in consciousness models, proving broad functionalist theories immune to substitution arguments. Discusses implications for consciousness science and functionalism.
Add to list
8 Lesons
16 minutes
On-Demand
Free-Video
Simons Institute

A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras

0 rewiews
Explore the convergence of computational complexity, quantum information, and operator algebras in solving long-standing problems, including Connes' Embedding Problem, in this accessible lecture for a general scientific audience.
Add to list
22 Lesons
55 minutes
On-Demand
Free-Video

Numbers - From Merely Big to Unimaginable - Lecture 9

0 rewiews
Explore the fascinating world of enormous numbers, from prime distribution to complex functions, and delve into advanced mathematical concepts like Ackerman operators and Ramsey Theory.
Add to list
13 Lesons
28 minutes
On-Demand
Free-Video
Insights into Mathematics

Computability and Problems with Set Theory - Math History

0 rewiews
Explores historical controversies in set theory, Gödel's incompleteness theorems, Zermelo-Fraenkel axioms, and Turing's computability concepts, challenging traditional views on infinite sets in mathematics.
Add to list
7 Lesons
47 minutes
On-Demand
Free-Video
Conference GSI

From Alan Turing to Contact Geometry: Towards a Fluid Computer

0 rewiews
Explore the intersection of hydrodynamics, computation, and contact geometry. Discover how fluid dynamics can simulate universal Turing machines and its implications for undecidable fluid paths and celestial mechanics.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
CNCF [Cloud Native Computing Foundation]

Distributed Random Access Merkledags - Exploring Registry Capabilities

0 rewiews
Explore innovative uses of OCI registries, drawing parallels with computer architecture concepts to redefine distributed systems and introduce Distributed Random Access Merkledags.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Simons Institute

MIP Equals RE - Putting Everything Together

0 rewiews
Explore quantum protocols, testing, and quantum PCPs with a focus on distance measures, entanglement, compression, and the integration of key concepts in quantum computing.
Add to list
12 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Ben Eater

Making a Computer Turing Complete

0 rewiews
Explore Turing completeness, Turing machines, and Lambda calculus, and learn how to make an 8-bit breadboard computer capable of solving any computable problem.
Add to list
5 Lesons
18 minutes
On-Demand
Free-Video
Ryan O'Donnell

Undergrad Complexity at CMU - Turing Machines

0 rewiews
Explore Turing Machines in computational complexity theory, covering formalization, the Turing Thesis, examples, and mathematical definitions for a comprehensive understanding.
Add to list
8 Lesons
1 hour 20 minutes
On-Demand
Free-Video
Ryan O'Donnell

Computational Models - Turing Machines - CMU - CS Theory Toolkit

0 rewiews
Explore Turing Machines as a computational model, covering historical advantages, multitape variations, and key concepts like memory, time, and space bounds in theoretical computer science.
Add to list
12 Lesons
26 minutes
On-Demand
Free-Video
Ryan O'Donnell

Hierarchy Theorems - Time, Space, and Nondeterministic: Graduate Complexity Lecture at CMU

0 rewiews
Explore hierarchy theorems in computational complexity, covering time, space, and nondeterministic aspects. Gain insights into encoding schemes, Turing machines, and nondeterministic certificates.
Add to list
13 Lesons
1 hour 21 minutes
On-Demand
Free-Video
Ryan O'Donnell

Great Ideas in Theoretical Computer Science - Turing's Legacy

0 rewiews
Explore Turing Machines, their definition, and programming techniques in this theoretical computer science lecture, covering interpreters, formal definitions, and practical TM subroutines.
Add to list
9 Lesons
1 hour 10 minutes
On-Demand
Free-Video
Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Computability

0 rewiews
Explore computability theory, Turing machines, and undecidable problems in this theoretical computer science lecture, focusing on fundamental concepts and their implications.
Add to list
14 Lesons
1 hour 19 minutes
On-Demand
Free-Video
Yannic Kilcher

Machine Learning News: Devin AI Exposed and NeurIPS High School Track

0 rewiews
Explore AI news: Devin AI debunked, NeurIPS high school track, Opus as Turing machine, AI propaganda, outsourced AI labor, and ChatGPT's impact on academic writing.
Add to list
7 Lesons
18 minutes
On-Demand
Free-Video
Wolfram

Mathematical Games - Turing Machines and Turmites - Episode 19

0 rewiews
Explore mathematical games and puzzles involving Turing machines and turmites with Ed Pegg Jr. Discover fascinating concepts in computational theory and cellular automata.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Center for Language & Speech Processing(CLSP), JHU

Conjectures, Results, and Myths in Interactive Computation - 2005 Lecture

0 rewiews
Explore interactive computation paradigms, challenging traditional algorithmic models. Gain insights into Persistent Turing Machines and their implications for computational expressiveness and software engineering.
Add to list
21 Lesons
1 hour 10 minutes
On-Demand
Free-Video
Strange Loop Conference

A Relational Exploration of the Chomsky Hierarchy

0 rewiews
Explore encoding automata and Turing Machines in miniKanren for relational programming. Learn to generate strings and associated data structures, gaining insights into the Chomsky Hierarchy and automata workings.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
TheIACR

Indistinguishability Obfuscation for Turing Machines - Constant Overhead and Amortization

0 rewiews
Explore advanced cryptographic techniques for Turing machines, focusing on indistinguishability obfuscation with constant overhead and amortization methods.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
NDC Conferences

Turing's Toy - The Story of a Mathematical Idea That Changed the World

0 rewiews
Explore Turing's revolutionary 'universal machine' concept, its historical context, and far-reaching impact on computer science and technology in this engaging talk.
Add to list
24 Lesons
50 minutes
On-Demand
Free-Video
Simons Institute

The Conscious Turing Machine as a Model for Artificial General Intelligence

0 rewiews
Explore the Conscious Turing Machine model and its implications for AGI development through Manuel Blum's insightful analysis of computational consciousness and intelligence.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
Models of Consciousness Conferences

How rCTM Answers Questions About Consciousness - A Robot with CTM Brain Model

0 rewiews
Explore how the Conscious Turing Machine Robot (rCTM) model addresses fundamental questions about consciousness through a theoretical framework and formal machine modeling approach.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
Kyoto-U OCW - Unofficial

計算量理論入門 - 問題と機械 - 第1回

0 rewiews
Dive into computational complexity theory through fundamental concepts of finite state machines, Turing machines, and the Church-Turing thesis, exploring how to measure and understand mathematical complexity.
Add to list
7 Lesons
58 minutes
On-Demand
Free-Video
Code Sync

Uncomputable Functions - Exploring the Limits of Computation

0 rewiews
Explore the fascinating world of uncomputable functions, their implications for lambda calculus, and the limits of computation in this thought-provoking presentation.
Add to list
1 Lesons
41 minutes
On-Demand
Free-Video