In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic. Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator. (Wikipedia).
Algebraic Expressions (Basics)
This video is about Algebraic Expressions
From playlist Algebraic Expressions and Properties
The Fundamental Theorem of Calculus | Algebraic Calculus One | Wild Egg
In this video we lay out the Fundamental Theorem of Calculus --from the point of view of the Algebraic Calculus. This key result, presented here for the very first time (!), shows how to generalize the Fundamental Formula of the Calculus which we presented a few videos ago, incorporating t
From playlist Algebraic Calculus One
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
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
How to write an algebraic proof
👉 Learn how to write an algebraic proof. Algebraic proofs are used to help students understand how to write formal proofs where we have a statement and a reason. In the case of an algebraic proof the statement will be the operations used to solve an algebraic equation and the reason will
From playlist Parallel Lines and a Transversal
Learn how to evaluate an algebraic expression for two variables, x^2 -x+2xy-3; x= -3; y=4
👉 Learn how to evaluate mathematics expressions. A mathematics expression is a finite combination of numbers and symbols formed following a set of operations or rules. To evaluate a mathematics expression means to obtain the solution to the expression given the value(s) of the variable(s)
From playlist Simplify Expressions Using Order of Operations
Algebraic Calculus One - Now under way!
This is an initial preview of the upcoming openlearning course called Algebraic Calculus One which is actually rolling out in beta version in 2018. In this video we map out some aspects of this coming course, and have a broader discussion of the History of Calculus and important textbooks
From playlist Algebraic Calculus One Info
Learning to write an algebraic proof
👉 Learn how to write an algebraic proof. Algebraic proofs are used to help students understand how to write formal proofs where we have a statement and a reason. In the case of an algebraic proof the statement will be the operations used to solve an algebraic equation and the reason will
From playlist Parallel Lines and a Transversal
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
mod-25 lec-26 Introduction to Fluid Logic
Fundamentals of Industrial Oil Hydraulics and Pneumatics by Prof. R.N. Maiti,Department of Mechanical Engineering,IIT Kharagpur.For more details on NPTEL visit http://nptel.ac.in
From playlist IIT Kharagpur: Fundamentals of Industrial Oil Hydraulics and Pneumatics (CosmoLearning Mechanical Engineering)
Squashing theories into Heyting algebras
This is the first of two videos on Heyting algebra, Tarski-Lindenbaum and negation: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555 Followup video: https://youtu.be/ws6vCT7ExTY
From playlist Logic
algebraic geometry 30 The Ax Grothendieck theorem
This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers the Ax-Grothendieck theorem, which states that an injective regular map between varieties is surjective. The proof uses a strange technique: first prove the resu
From playlist Algebraic geometry I: Varieties
A Quick Overview of BOOLEAN ALGEBRA (symbols, truth tables, and laws)
Error in Video (9:32, 11:30): When talking about the last laws in the columns for equivalences, I say "DeMorgan's Law" when I mean to say "Distributive Law". In this video on #Logic, we learn the basics of #BooleanAlgebra and compare the notation for propositional logic with it. We cover
From playlist Logic in Philosophy and Mathematics
This is a follow up to https://youtu.be/lDhKE2SKF08. In this video we zoom in on Negation and also discuss models such as the 3-valued one for intuitionistic propositional logic. The script I'm using you can find here: https://gist.github.com/Nikolaj-K/1478e66ccc9b7ac2ea565e743c904555
From playlist Logic
Thomas Colcombet : Algebra vs Logic over (generalised) words
CONFERENCE Recording during the thematic meeting : « Discrete mathematics and logic: between mathematics and the computer science » the January 17, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks give
From playlist Logic and Foundations
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
Boolean Algebra 1 – The Laws of Boolean Algebra
This computer science video is about the laws of Boolean algebra. It briefly considers why these laws are needed, that is to simplify complex Boolean expressions, and then demonstrates how the laws can be derived by examining simple logic circuits and their truth tables. It also shows ho
From playlist Boolean Algebra
Ingo BLECHSCHMIDT - Using the internal language of toposes in algebraic geometry
We describe how the internal language of certain toposes, the associated petit and gros Zariski toposes of a scheme, can be used to give simpler denitions and more conceptual proofs of the basic notions and observations in algebraic geometry. The starting point is that, from the internal p
From playlist Topos à l'IHES
Citus Architecture Extending Postgres to Build
Citus is a distributed database that scales out Postgres. By using the extension APIs, Citus distributes your tables across a cluster of machines and parallelizes SQL queires. This talk describes the Citus architecture by focusing on our learnings in distributed systems. http://www.pgconf
From playlist 2016
Introduction to Signed Area | Algebraic Calculus One | Wild Egg
This is a lecture in the Algebraic Calculus One course, which will present an exciting new approach to calculus, sticking with rational numbers and high school algebra, and avoiding all "infinite processes", "real numbers" and other modern fantasies. The course will be carefully framed on
From playlist Algebraic Calculus One from Wild Egg