Mathematical logic | Ordered algebraic structures | Lattice theory | Fuzzy logic
In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x ≤ y and a monoid x•y which admits operations x\z and z/y, loosely analogous to division or implication, when x•y is viewed as multiplication or conjunction, respectively. Called respectively right and left residuals, these operations coincide when the monoid is commutative. The general concept was introduced by Morgan Ward and Robert P. Dilworth in 1939. Examples, some of which existed prior to the general concept, include Boolean algebras, Heyting algebras, residuated Boolean algebras, relation algebras, and MV-algebras. Residuated semilattices omit the meet operation ∧, for example Kleene algebras and action algebras. (Wikipedia).
Lattice Structures in Ionic Solids
We've learned a lot about covalent compounds, but we haven't talked quite as much about ionic compounds in their solid state. These will adopt a highly ordered and repeating lattice structure, but the geometry of the lattice depends entirely on the types of ions and their ratio in the chem
From playlist General Chemistry
From playlist Exploratory Data Analysis
Recursively Defined Sets - An Intro
Recursively defined sets are an important concept in mathematics, computer science, and other fields because they provide a framework for defining complex objects or structures in a simple, iterative way. By starting with a few basic objects and applying a set of rules repeatedly, we can g
From playlist All Things Recursive - with Math and CS Perspective
Not-So-Close Packed Crystal Structures
A description of two crystal structures that are created from not-so-close packed structures.
From playlist Atomic Structures and Bonding
Close Packing Crystal Structures
A description of the two types of crystal structures created from close-packed planes.
From playlist Atomic Structures and Bonding
Here we show a quick way to set up a face in desmos using domain and range restrictions along with sliders. @shaunteaches
From playlist desmos
Lattice relations + Hermite normal form|Abstract Algebra Math Foundations 224 | NJ Wildberger
We introduce lattices and integral linear spans of vexels. These are remarkably flexible, common and useful algebraic objects, and they are the direct integral analogs of vector spaces. To understand the structure of a given lattice, the algorithm to compute a Hermite normal form basis is
From playlist Math Foundations
2 Construction of a Matrix-YouTube sharing.mov
This video shows you how a matrix is constructed from a set of linear equations. It helps you understand where the various elements in a matrix comes from.
From playlist Linear Algebra
Mod-01 Lec-05 Introduction to Nanomaterials
Nanostructures and Nanomaterials: Characterization and Properties by Characterization and Properties by Dr. Kantesh Balani & Dr. Anandh Subramaniam,Department of Nanotechnology,IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in.
From playlist IIT Kanpur: Nanostructures and Nanomaterials | CosmoLearning.org
All crystalline materials have 3D, long range, periodic order. Therefore, they have a lattice which is a grid of repeating atomic positions. We can pick a small repeating area in this grid and it becomes a unit cell. The primitive unit cell should be the smallest repeatable unit cell.
From playlist Materials Sciences 101 - Introduction to Materials Science & Engineering 2020
Number theory Full Course [A to Z]
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure #mathematics devoted primarily to the study of the integers and integer-valued functions. Number theorists study prime numbers as well as the properties of objects made out of integers (for example, ratio
From playlist Number Theory
Complex analysis: Classification of elliptic functions
This lecture is part of an online undergraduate course on complex analysis. We give 3 description of elliptic functions: as rational functions of P and its derivative, or in terms of their zeros and poles, or in terms of their singularities. We end by giving a brief description of the a
From playlist Complex analysis
Nucleation in protein folding by Jayant Udgaonkar
Conference and School on Nucleation Aggregation and Growth URL: https://www.icts.res.in/program/NAG2010 DATES: Monday 26 July, 2010 - Friday 06 Aug, 2010 VENUE : Jawaharlal Nehru Centre for Advanced Scientific Research, Bengaluru DESCRIPTION: Venue: Jawaharlal Nehru Centre for Advance
From playlist Conference and School on Nucleation Aggregation and Growth
Number Theory | Quadratic Reciprocity
We prove the quadratic reciprocity theorem. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Number Theory
Grothendieck Pairs and Profinite Rigidity - Martin Bridson
Arithmetic Groups Topic: Grothendieck Pairs and Profinite Rigidity Speaker: Martin Bridson Affiliation: Oxford University Date: January 26, 2022 If a monomorphism of abstract groups H↪G induces an isomorphism of profinite completions, then (G,H) is called a Grothendieck pair, recalling t
From playlist Mathematics
Mod-01 Lec-01 Introduction to Nanomaterials
Nanostructures and Nanomaterials: Characterization and Properties by Characterization and Properties by Dr. Kantesh Balani & Dr. Anandh Subramaniam,Department of Nanotechnology,IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in.
From playlist IIT Kanpur: Nanostructures and Nanomaterials | CosmoLearning.org
Specialization of difference equations ... - H. Hrushovski - Workshop 2 - CEB T1 2018
Michael Temkin (Hebrew University) / 06.03.2018 Specialization of difference equations in positive characteristic. A difference equation over an increasing transformal valued field is known to beanalyzable over the residue field. This leads to a dynamical theory of equivalence of finite
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
Alessio Corti: Mirror symmetry for orbifold del Pezzo surfaces
I will state some interconnected conjectures on (a) the algebraic geometry and moduli spaces, and (b) mirror symmetry, for orbifolds del Pezzo surfaces. I will present some of the evidence. This is joint work in progress with many people and students of the PRAGMATIC school held last Summe
From playlist HIM Lectures: Junior Trimester Program "Algebraic Geometry"
Simon Santschi: Time warps, from algebra to algorithms
HYBRID EVENT Recorded during the meeting "19th International Conference on Relational and Algebraic Methods in Computer Science" the November 3, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other t
From playlist Logic and Foundations
Introduction To Concrete Structures | Reinforced Concrete Design
http://goo.gl/TtaYKV for more FREE video tutorials covering Concrete Structural Design This video gives an introductory overview on concrete vs. steel, nature of tension and compression in concrete; subsequently explains the need for reinforced concrete. First part of the video vividly il
From playlist SpoonFeedMe: Concrete Structures