Formal methods

Algebraic specification

Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980. (Wikipedia).

Video thumbnail

Algebraic Expressions (Basics)

This video is about Algebraic Expressions

From playlist Algebraic Expressions and Properties

Video thumbnail

Algebraic Structures: Groups, Rings, and Fields

This video covers the definitions for some basic algebraic structures, including groups and rings. I give examples of each and discuss how to verify the properties for each type of structure.

From playlist Abstract Algebra

Video thumbnail

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

Video thumbnail

Algebraic geometry 44: Survey of curves

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It gives an informal survey of complex curves of small genus.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Algebraic Expression Vocabulary (L2.2)

This video reviews the definition of term, coefficient, constant term, and factor. Video content created Jenifer Bohart, William Meacham, Judy Sutor, and Donna Guhse from SCC (CC-BY 4.0)

From playlist Algebraic Structures Module

Video thumbnail

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

Video thumbnail

23 Algebraic system isomorphism

Isomorphic algebraic systems are systems in which there is a mapping from one to the other that is a one-to-one correspondence, with all relations and operations preserved in the correspondence.

From playlist Abstract algebra

Video thumbnail

What is... an elliptic curve?

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

Video thumbnail

Evaluating Algebraic Expressions

In this video we discuss the basic principles for evaluating algebraic expressions, including order of operations and the importance of parentheses.

From playlist College Algebra

Video thumbnail

Teacher Certification Exam Math - How to Prepare and Pass

How to pass the math section on your teacher certification exam. For more in-depth math help check out my catalog of courses. Every course includes over 275 videos of easy to follow and understand math instruction, with fully explained practice problems and printable worksheets, review no

From playlist MTEL

Video thumbnail

AGACSE2021 Jaroslav Hrdina - GA in control theory

Geometric algebras in mathematics control theory

From playlist AGACSE2021

Video thumbnail

GAME2020 2. Hugo Hadfield, Eric Wieser. Robots, Ganja & Screw Theory (new audio!)

(* this version has an updated filtered audio track *) Hugo Hadfield and Eric Wieser explore how Conformal Geometric Algebra can be used to simplify robot kinematics. (slides : https://slides.com/hugohadfield/game2020). More information at https://bivector.net Chapters: 0:00 Introduction

From playlist Bivector.net

Video thumbnail

Linear Algebra II: Matrix Operations — Subject 2 of Machine Learning Foundations

Welcome to Subject 2 of Machine Learning Foundations! In this introductory video, I provide an overview of the topics covered in this subject, as well as a quick recap of the essential linear algebra topics we've covered so far -- topics you need to know to make the most of Subject 2. Th

From playlist Linear Algebra for Machine Learning

Video thumbnail

Can’t learn Algebra? 99% of your troubles are likely here…

TabletClass Math: https://tcmathacademy.com/ How to successfully learn algebra if you're failing your course. For more math help to include math lessons, practice problems and math tutorials check out my full math help program at https://tcmathacademy.com/ Math Notes: Pre-Alge

From playlist GED Prep Videos

Video thumbnail

Richard Gustavson, Manhattan College

April 26, Richard Gustavson, Manhattan College Developing an Algebraic Theory of Integral Equations

From playlist Spring 2022 Online Kolchin seminar in Differential Algebra

Video thumbnail

Vector Calculus 9: The 3 Definitions of the Dot Product

https://bit.ly/PavelPatreon https://lem.ma/LA - Linear Algebra on Lemma http://bit.ly/ITCYTNew - Dr. Grinfeld's Tensor Calculus textbook https://lem.ma/prep - Complete SAT Math Prep

From playlist Vector Calculus

Video thumbnail

I USED to be Good in MATH….

TabletClass Math: https://tcmathacademy.com/ A quick discussion about being good at math and going back to school after several years to re-learn math. For more math help to include math lessons, practice problems and math tutorials check out my full math help program at https://tcmath

From playlist GED Prep Videos

Video thumbnail

Anna Duwenig: Non-commutative Poincaré duality of the irrational rotation algebra

Talk by Anna Duwenig in Global Noncommutative Geometry Seminar (Americas) http://www.math.wustl.edu/~xtang/NCG-Seminar.html on September 9, 2020.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

algebraic geometry 14 Dimension

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers the dimension of a topological space, algebraic set, or ring.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Why was Connes' embedding conjecture refuted and there are still no known... -Michael Chapman

Stability and Testability Topic: Why was Connes' embedding conjecture refuted and there are still no known non-hyperlinear groups? Speaker: Michael Chapman Affiliation: Hebrew University Date: March 24, 2021 For more video please visit http://video.ias.edu

From playlist Stability and Testability

Related pages

Formal specification | Data type | Common Algebraic Specification Language | Boolean data type | Negation | Boolean algebra | Logical conjunction | OBJ (programming language)