1:30:18AIT 6 – Computability theory, Turing machines, mathematizing the mathematicianCharles Alexandre Bédard241 viewsView & Download
20:21Results in Computable Model Theory of Continuous Logic - Caleb CamrudAssociation for Symbolic Logic405 viewsView & Download
33:20Lec 7: Functions - Computing 1 MOOC Richard Buckland UNSWRichard Buckland4.6K viewsView & Download
1:11:49Lecture 7: Generating Functions for Catalan NumbersMIT OpenCourseWare3.6K viewsView & Download
4:12:01Next-Generation Adaptable Computing for Omics @ FCCM 2026Onur Mutlu Lectures640 viewsView & Download
1:09:00From Computable Numbers to Curing Cancer : Supercomputing and the Frontiers of Human DiscoveryUniversité Versailles Saint-Quentin-en-Yvelines (UVSQ)174 viewsView & Download