Logic in computer science | Formal methods | Programming language semantics | Formal specification languages
In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal manner. (Wikipedia).
Algebraic Expressions (Basics)
This video is about Algebraic Expressions
From playlist Algebraic Expressions and Properties
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
AlgTopReview: An informal introduction to abstract algebra
This is a review lecture on some aspects of abstract algebra useful for algebraic topology. It provides some background on fields, rings and vector spaces for those of you who have not studied these objects before, and perhaps gives an overview for those of you who have. Our treatment is
From playlist Algebraic Topology
Functions, operators, and linearity: the language of abstract math (#SoME1)
Mathematicians and physicists often use abstract notation and terminology to reason about and describe problems at a level above the explicit details of the problem, but often take for granted that everyone already understands what they're doing and why. This video gives a short explanati
From playlist Summer of Math Exposition Youtube Videos
In this talk, we will define elliptic curves and, more importantly, we will try to motivate why they are central to modern number theory. Elliptic curves are ubiquitous not only in number theory, but also in algebraic geometry, complex analysis, cryptography, physics, and beyond. They were
From playlist An Introduction to the Arithmetic of Elliptic Curves
Algebraic Calculus One ... and Two! | Algebraic Calculus Info | N J Wildberger
The online course Algebraic Calculus One at openlearning.com has had its first beta run at openlearning.com over the last two years. Overall it has been a very pleasant success. In this video we recount the main innovative aspects of this purely algebraic approach to a classical subject. T
From playlist Algebraic Calculus One Info
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
Physics vs. "Motion" in Mathematics (2 of 2: What's different?)
More resources available at www.misterwootube.com
From playlist Applications of Calculus to Mechanics
Proof synthesis and differential linear logic
Linear logic is a refinement of intuitionistic logic which, viewed as a functional programming language in the sense of the Curry-Howard correspondence, has an explicit mechanism for copying and discarding information. It turns out that, due to these mechanisms, linear logic is naturally r
From playlist Talks
A conversation between Jonathan Gorard and Stephen Wolfram at the Wolfram Summer School 2022
Stephen Wolfram plays the role of Salonnière in an on-going series of intellectual explorations with special guests. In this episode, Jonathan Gorard joins Stephen at the 20th annual Wolfram Summer School. Watch all of the conversations here: https://wolfr.am/youtube-sw-conversations Foll
From playlist Conversations with Special Guests
History of Science and Technology Q&A (January 11, 2023)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Simplified Machine Learning Workflows with Anton Antonov, Session #6: Semantic Analysis (Part 1)
Anton Antonov, a senior mathematical programmer with a PhD in applied mathematics, live-demos key Wolfram Language features that are very useful in machine learning. In this session, he discusses the Latent Semantic Analysis Workflows. Notebook materials are available at: https://wolfr.am
From playlist Simplified Machine Learning Workflows with Anton Antonov
Introduction to Continuous Combinatorics II: semantic limits - Leonardo Coregliano
Computer Science/Discrete Mathematics Seminar II Topic: Introduction to Continuous Combinatorics II: semantic limits Speaker: Leonardo Coregliano Affiliation: Member, School of Mathematics Date: November 09, 2021 The field of continuous combinatorics studies large (dense) combinatorial s
From playlist Mathematics
Summation and Sums of Powers | Algebraic Calculus One | Wild Egg
In this lecture, we introduce summation notation and the question of evaluating sums of powers. Summing series is an important aspect of calculus, and in particular we look at arithmetic and geometric series and the important formulas for their summation. This is a lecture in the Algebrai
From playlist Algebraic Calculus One from Wild Egg
Nicolas Behr - Towards Executable Applied Category Theory in Coq
This talk will present the ”coreact.wiki” initiative, which aims to develop a novel form of wiki engine that will couple a database of human-readable mathematical knowledge with a database containing machine-readable and -executable representations of this knowledge in proof assistants suc
From playlist Combinatorics and Arithmetic for Physics: special days
Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai This lecture covers logic-based models: propositional logic, first order logic Applications: theorem proving, verification, reasoning, think in terms of logical f
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021
Stanford Seminar - Computing with High-Dimensional Vectors
EE380: Computer Systems Colloquium Seminar Computing with High-Dimensional Vectors Speaker: Pentti Kanerva, Stanford CSLI & UC Berkeley Redwood Center for Theoretical Neuroscience Computing with high-dimensional vectors complements traditional computing and occupies the gap between symbo
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series