Theoretical computer science

Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, algorithmic game theory, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor. (Wikipedia).

Computer Science Terminology

Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC

From playlist Computer Science Concepts

COMPUTER SCIENCE TERMINOLOGY

Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------

From playlist Computer Science

Why Study Computer Science? | College Majors | College Degrees | Study Hall

What can you do with a Computer Science major? In Computer Science you can expect to study discrete mathematics, probability and statistics, linear algebra, physics and so much more. Basically, Computer Science is the study of computer systems and how they function. If you want to dig de

From playlist Fast Guides: To Electives and Majors

Conquering Math as a Computer Science Student

Math is one of the most important aspects of your Computer Science Degree. Let's discuss how to get better at math, what math is related to computer science, and a few theoretical and practical examples on how to improve your math skills during college. MIT Math for CS YouTube —- https://

From playlist Computer Science

SketchySVD - Joel Tropp, California Institute of Technology

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

Computer Science Basics: Programming Languages

We use computers every day, but how often do we stop and think, “How do they do what they do?” This video series explains some of the core concepts behind computer science. To view the entire playlist, visit https://www.youtube.com/playlist?list=PLpQQipWcxwt-Q9izCl0mm-QZ4seuBdUtr. We hop

From playlist Computer Science Basics

Computer Science and Homotopy Theory - Vladimir Voevodsky

Vladimir Voevodsky Professor, School of Mathematics April 27, 2011 For more videos, visit http://video.ias.edu

From playlist Mathematics

Unix for Programmers - My Computer Science Degree in the Real World

I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu

From playlist Computer Science

The Abel Prize announcement 2021 - Avi Wigderson and László Lovász

0:49 The Abel Prize announced by Hans Petter Graver, President of The Norwegian Academy of Science and Letters 1:38 Citation by Hans Munthe-Kaas, Chair of the Abel committee 10:22 Popular presentation of the prize winners work by Alex Bellos, British writer, and science communicator 17:43

From playlist The Abel Prize announcements

Theoretical Computer Science and Economics - Tim Roughgarden

Lens of Computation on the Sciences - November 22, 2014 Theoretical Computer Science and Economics - Tim Roughgarden, Stanford University Theoretical computer science offers a number of tools to reason about economic problems in novel ways. For example, complexity theory sheds new light

From playlist Lens of Computation on the Sciences

Abel Prize award ceremony 2021

The ceremony honours both the 2020-winners, Hillel Furstenberg and Gregory Margulis, and the 2021-winners, Avi Wigderson and László́ Lovász. 0:30 Haddy N'jie sings Feeling Good 3:18 Welcome by Master of ceremonies, Haddy N'jie 4:46 On the nomination process and the work of the Abel Prize

From playlist Gregory Margulis

COMPUTER SCIENCE TERMINOLOGY 2

Welcome to part two of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We started with the basics in part one and get a bit more complex in this episode. --------------------------------------------

From playlist Computer Science

THIS 1936 Paper Theorized the FIRST Computer EVER, by Alan Turing

In 1936, Alan Turing wrote a paper that changed the course of history, titled "On Computable Numbers, with an Application to the Entscheidungsproblem", first introducing the Universal Turing Machine and laying the theoretical foundation of modern computing . It revolutionized the field of

From playlist Computer Science History Documentaries

Inaugural and Welcome Remarks - 2/23/2015

Welcome remarks provided by: Thomas F. Rosenbaum, Edward M.Stolper, Hirosi Ooguri, and Walter F. Burke III. Learn more about the Inaugural Celebration and Symposium of the Walter Burke Institute for Theoretical Physics: https://burkeinstitute.caltech.edu/workshops/Inaugural_Symposium Pro

The Algorithmic Lens: How the Computational Perspective by Christos H Papadimitriou

ICTS at Ten ORGANIZERS: Rajesh Gopakumar and Spenta R. Wadia DATE: 04 January 2018 to 06 January 2018 VENUE: International Centre for Theoretical Sciences, Bengaluru This is the tenth year of ICTS-TIFR since it came into existence on 2nd August 2007. ICTS has now grown to have more tha

From playlist ICTS at Ten

Alan Turing: Crash Course Computer Science #15

Today we’re going to take a step back from programming and discuss the person who formulated many of the theoretical concepts that underlie modern computation - the father of computer science himself: Alan Turing. Now normally we try to avoid “Great Man" history in Crash Course because tru

From playlist Computer Science

Avi Wigderson & László Lovász - The Abel Prize interview 2021

00:30 Interview start 01:03 On the place of discrete math and theoretical computer science 08:14 Turing and Hilbert 14:28 P vs NP problem, what is it and why is it important? 25:09 Youth in Haifa, Avi Wigderson 30:09 Youth in Budapest, László Lovász 37:45 Problem solver or theory builde

From playlist László Lovász

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Bob Hearn - How Martin Gardner Inspired an Area of Theoretical Computer Science - CoM Oct 2021

Reconfiguration: How Martin Gardner Inspired an Area of Theoretical Computer Science A popular area in theoretical computer science for the past ten or fifteen years is known as “combinatorial reconfiguration”, or just “reconfiguration”. What is not widely appreciated is the debt this fie

From playlist Celebration of Mind 2021