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

#Computability

Showing: 12 courses
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
Simons Institute

Veridical Data Science and Alignment in Medical AI - Building Trust and Interpretability in Healthcare

0 rewiews
Explore how AI algorithms in healthcare progress from transparent to opaque, examining trust-building principles and alignment challenges through real medical case studies and data science frameworks.
Add to list
1 Lesons
50 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
Insights into Mathematics

Sets, Logic and Computability - Math History - NJ Wildberger

0 rewiews
Overview of set theory, logic, and computability in late 19th/early 20th century math, covering Cantor's work, Dedekind's constructions, paradoxes, and philosophical schools addressing foundational issues.
Add to list
10 Lesons
53 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
Hausdorff Center for Mathematics

Proof Mining in Bounded Arithmetic

0 rewiews
Explore proof mining in bounded arithmetic, focusing on computational content, complexity classes, and applications in mathematical logic and theoretical computer science.
Add to list
11 Lesons
44 minutes
On-Demand
Free-Video
Association for Computing Machinery (ACM)

On the Computability of Continuous Maximum Entropy Distributions with Applications

0 rewiews
Explore computability of continuous maximum entropy distributions, their applications in quantum entropy and interior point methods, and implications for SDP rounding algorithms.
Add to list
11 Lesons
24 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
Joint Mathematics Meetings

Computable Structure Theory with Noncomputable Structures

0 rewiews
Explore computable structure theory, categoricity, and noncomputable structures in mathematics, focusing on fields and isomorphism types of subfields.
Add to list
18 Lesons
56 minutes
On-Demand
Free-Video
Joint Mathematics Meetings

Different Problems, Common Threads - Computing the Difficulty of Mathematical Problems

0 rewiews
Explore mathematical problem complexity, computability, and reverse mathematics with Karen Lange's insightful analysis of theorems, algorithms, and foundational concepts.
Add to list
21 Lesons
56 minutes
On-Demand
Free-Video
Devoxx

Keynote - Six Impossible Things

0 rewiews
Explore software development limits, from integer representation to task estimation, and learn to create solutions within these constraints for more effective development.
Add to list
16 Lesons
1 hour 1 minute
On-Demand
Free-Video
NCCR SwissMAP

Where the Cosmos is Chaotic or Indeterministic

0 rewiews
Explore cosmic chaos, determinism, and indeterminism through galaxies, cosmology, and black holes. Gain insights into the universe's fundamental nature and its implications.
Add to list
18 Lesons
1 hour 7 minutes
On-Demand
Free-Video