Home
Search results “Foundations of algebra”

01:18:14

01:54
Introductory video to algebra
Views: 286 Blanco Tutes

13:55
Georgia High School Graduation Test Content: http://www.stephenwelchtutoring.com/GHSGT.html

01:34
ethan explains math for hsiehzam.com
Views: 67 sargeant45two

10:07

02:02:53
Index: Module 1 (17:00) Module 2 (54:45) Module 3 (1:13:05) Module 4 (1:26:00) Module 5 (1:38:18) Secondary Index (by manipulative): Intro to Manipulatives/What’s In the Kit 12:26 Base Ten Blocks/Factor Track 17:06 Fraction Towers/Fraction Number Lines 25:45 Place Value Chips 50:50 Area Model of Multiplication (Base Ten and Algeblocks) 55:00 Cuisenaire Rods 1:13:22 XY Coordinate Board with Slope 1:20:21 AngLegs 1:22:38 Algeblocks (Expressions/Equations) 1:26:10 XY Coordinate Board (Coordinate Plane/4 Quadrants ) 1:33:30 XY Coordinate Board (Functions) 1:38:18 Teaching Foundations of Algebra? Find FREE resources on www.hand2mind.com! Review our recorded webinar that breaks down each Module and shows how to use manipulatives to help build concrete understanding of mathematical concepts. Currently only the preliminary version is available for viewing, but check back soon for the edited searchable webinar! For more Foundations of Algebra resources, including Small Group Manipulative Kits, contact Carolyn Cutts at [email protected]
Views: 943 hand2mind

47:55
Keynote lecture at the Fifty Years of Functorial Semantics conference, Union College, October 2013. http://www.math.union.edu/~niefiels/13conference/Web/ Transcript: http://www.math.union.edu/~niefiels/13conference/Web/Slides/Fifty_Years_of_Functorial_Semantics.pdf Abstract From observation of, and participation in, the ongoing actual practice of Mathematics, Decisive Abstract General Relations (DAGRs) can be extracted; when they are made explicit, these DAGRs become a guide to further rational practice of mathematics. The worry that these DAGRs may turn out to be as numerous as the specific mathematical facts themselves is overcome by viewing the ensemble of DAGRs as a ’Foundation’, expressed as a single algebraic system whose current description can be finitely-presented. The category of categories (as a cartesian closed category with an object of small discrete categories) aims to serve as such a Foundation. One basic DAGR is the contrast between space and quantity, and especially the relation between the two that is expressed by the role of spaces as domains of variation for intensively and extensively variable quantity; in that way, the foundational aspects of cohesive space and variable quantity inherently includes also the conceptual basis for analysis, both for functional analysis and for the transformation from continuous cohesion to combinatorial semi-discreteness via abstract homotopy theory. Function spaces embody a pervasive DAGR. The year 1960 was a turning point. Kan, Isbell, Grothendieck and Yoneda had further developed the Eilenberg-Mac Lane Theory of Naturality. Their work implicitly pointed towards such a Foundation as a foreseeable goal. Although the work of those four great mathematicians was still unknown to me, I had independently traversed a sufficient fragment of a similar path to encourage me to become a student of Professor Eilenberg. As I slowly became aware of the importance of those earlier developments, I attempted to participate in the realization of a Foundation in the sense described above, first through concentration on the particular docrine known as Universal Algebra, making explicit the fibered category whose base consists of abstract generals (called theories) and whose fibers are concrete generals (known as algebraic categories). The term ’Functorial Semantics’ simply refers to the fact that in such a fibered category, any interpretation T 0 → T of theories induces a map in the opposite direction between the two categories of concrete meanings; this is a direct generalization of the previously observed cases of linear algebra, where the abstract generals are rings and the fibers consist of modules, and of group theory where the dialectic between abstract groups and their actions had long been fundamental in practice. This kind of fibration is special, because the objects T in the base are themselves categories, as I had noticed after first rediscovering the notion of clone, but then rejecting the latter on the basis of the principle that, to compare two things, one must first make sure that they are in the same category; when the two are (a) a theory and (b) a background category in which it is to be interpreted, comparisons being models., the category of categories with products serves. Left adjoints to the re-interpretation functors between fibers exist in this particular doctrine of general concepts, unifying a large number of classical and new constructions of algebra. Isbell conjugacy can provide a first approximation to the general space vs quantity pseudo-duality, because recent developments (KIGY) had shown that also spaces themselves are determined by categories (of figures and incidence relations inside them). My 1963 thesis clearly explains that presentations (having a signature consisting of names for generators and another signature consisting of names for equational axioms) constitute one important source of theories. This syntactical left adjoint directly generalizes the presentations known from elimination theory in linear algebra and from word problems in group theory. No one would confuse rings and groups themselves with their various syntactical presentations, but previous foundations of algebra had underemphasized the existence of another important method for constructing examples, namely the Algebraic Structure functor. Being a left adjoint , it can be calculated as a colimit over finite graphs. Fundamental examples, like cohomology operations as studied by the heroes of the 50’s, show that typically an abstract general (such as an isometry group) arises by naturality; to find a syntactical presentation for it may then be an important question. This extraction, by naturality from a particular family of cases, provides much finer invariants, and as a process bears a profound resemblance to the basic extraction of abstract generals from experience.
Views: 3346 Matt Earnshaw

23:17

25:38
How do we set up abstract algebra? In other words, how do we define basic algebraic objects such as groups, rings, fields, vector spaces, algebras, lattices, modules, Lie algebras, hypergroups etc etc?? This is a hugely important question, and not an easy one to answer. In this video we start by giving a bird's eye view of some basic examples, namely the first four kinds of objects on this list. We will not attempt complete definitions, but just rather provide intuitive example based descriptions, using the standard thinking current in mathematics these days. In some videos, we will be looking to reorganize our understanding of all of these topics by being much more precise and careful, and utilizing our knowledge of data structures.
Views: 13449 njwildberger

28:27
Here we give restatements of the Fundamental theorems of Algebra (I) and (II) that we critiqued in our last video, so that they are now at least meaningful and correct statements, at least to the best of our knowledge. The key is to abstain from any prior assumptions about our understanding of continuity and "real " or "complex" numbers, and state everything in terms of rational numbers. For this we briefly first review some rational complex arithmetic, crucially the concept of quadrance of a complex number which ought to be a core definition in undergraduate courses. These restatements were first proposed some years ago in my AlgTop series of videos. It should be emphasized that we do NOT currently have proofs for these "theorems", so there is a huge opportunity here for people to make a significant contribution to mathematics. But new and deeper understanding is required, at least I believe so, and hopefully we can aspire to computationally oriented proofs, that actually tell us how to go about finding approximate zeroes to a prescribed level of accuracy. Working this out satisfactorily will be as significant an accomplishment as any 20th century mathematical achievement.
Views: 9064 njwildberger

15:14

16:14
Views: 4 Rachel Jackson

07:02
Views: 3242 Argo Brothers

04:24

15:50
We introduce transistors and how they combine to create logic gates. These include prominently the gates called NOT, AND, OR, XOR, NAND, NOR and XNOR which input a pair of signals A and B and output a single signal. So these gates act as connectives, or even operations, on pairs of numbers {0,1}. Transistors were introduced by Bardeen, Brattain and Shockley in 1947, although a patent in a similar direction goes back to J. E Lilienfeld in 1925. They rely on remarkable properties of the semiconductor silicon. By putting together transistors in clever ways, we can create logic gates, which are then the building blocks for more elaborate circuits, these days involving possibly millions of transistors. The question of how to mathematically model what is happening with logic gates--in other words how to analyse them, is a separate question from how to construct them physically. We will be pursuing the idea that the original Algebra of Boole is in fact superior for the majority of applications involving logic gates over the classical Boolean algebra. This is quite a novel position, but there are strong arguments for it. It has major ramifications for the education of electrical engineers around the world!
Views: 504 njwildberger

06:42
Description
Views: 995 The Hunt Institute

06:03
This project was created with Explain Everything™ Interactive Whiteboard for iPad.
Views: 23 Justin Walls

25:25

27:19
This video reveals the unfortunate truth about the "Fundamental Theorem of Algebra": namely that it is not actually correct. This is meant to be a core result in undergrad mathematics, but curiously undergrads don't see much in the way of proof. Why? Because none of the many current arguments are actually convincing once one stops and looks carefully at them. Modern mathematics students: prepare for some disruption to your thinking! Modern mathematicians: is it not time to admit the harsh reality? This entire topic is intimately connected with what I consider the fundamental problem in mathematics, which I discuss in the Famous Math Problems 19 lectures. And so we need some seriously new thinking. We need to peel back the layers of conformity, imprecise thinking and wishful dreaming that characterize so much of modern pure mathematics. Help support this channel by becoming a patron, at https://www.patreon.com/njwildberger. Even just \$1 per video will let you share the excitement of building up a new and better mathematics for the coming millennium. And happy new year!
Views: 7072 njwildberger

19:49
There is a very big jump in going from finite algebraic objects to "infinite algebraic objects". For example, there is a huge difference, if one is interested in very precise definitions, between the concept of a finite group and the concept of an "infinite group". We illustrate this important distinction in this video by looking at a rich and interesting example: SL(2) with just 0,1 entries mod 2, which is a lovely and special finite group, and SL(2) with arbitrary integer entries, which is also an interesting and important mathematical object, but which ought to be defined and treated differently. Of course one of the advantages in the modern sloppy approach to the definition of a "set" is that it does not distinguish at all between a collection that can be explicitly listed and one that cannot be. So this meaningful distinction can be left under the carpet.
Views: 3213 njwildberger

16:51

05:03
Views: 11 Sarah Cook

12:36
Views: 25 kosherfan

12:07
This video gives an overview of Algebra and introduces the concepts of unknown values and variables. It also explains that multiplication is implicit in Algebra. The first video in the Algebra Basics Series: https://www.youtube.com/watch?v=NybHckSEQBI&list=PLUPEBWbAHUszT_GebJK23JHdd_Bss1N-G Learn More at mathantics.com Visit http://www.mathantics.com for more Free math videos and additional subscription based content!
Views: 1845487 mathantics

03:03
U1F2 Day 1- Foundations of Algebra
Views: 190 Beast Algebra

19:34
Views: 21 A. Owens

37:43
We begin to introduce the Algebra of Boole, starting with the bifield of two elements, namely {0,1}, and using that to build the algebra of n-tuples, which is a linear space over the bifield with an additional multiplicative structure. This important abstract development played a key role in the application of logic to circuit and logic gate analysis. Surprisingly it is not quite the same as Boolean algebra, which is closer to the arithmetic of sets. We will move towards understanding the critical difference between these two mathematical approaches to logic. However in both cases, the situation is that mathematics was introduced to make logic more precise and rigorous---- not the other way around! This understanding has major ramifications for an appreciation of why 20th century mathematics got things so fundamentally wrong!
Views: 4321 njwildberger

49:26
Modern data often consists of feature vectors with a large number of features. High-dimensional geometry and Linear Algebra (Singular Value Decomposition) are two of the crucial areas which form the mathematical foundations of Data Science. This mini-course covers these areas, providing intuition and rigorous proofs. Connections between Geometry and Probability will be brought out. Text Book: Foundations of Data Science. See more on this video at https://www.microsoft.com/en-us/research/video/foundations-of-data-science-lecture-1/
Views: 9308 Microsoft Research

34:24
Solutions of Sample Questions for Algebra and Number from BC Ministry of Education Foundations of Mathematics and Pre-Calculus 10 Provincial
Views: 5645 mathjohnson

15:01
Recorded with http://screencast-o-matic.com
Views: 71 Candace Loudermilk

04:32
Views: 23 Sarah Cook

30:04
We investigate further the Algebra of Boole, consisting of vectors of 0 and 1 of a given size, with operations pointwise mod 2. The idempotent law x^2=x of Boole is distinguished. To illustrate the geometry, we look at a 5 dimensional example and the span of three vectors, along with the algebra generated by them, giving both a 3 dimensional cube and a 4 dimensional hypercube. Then we introduce the square of opposition going back to medieval philosophers, now in algebraic form by re-interpreting Aristotle's propositions using Boole's algebraic reformulation. Then armed with this mathematical framework, we begin the fun task of proving Aristotle's syllogistic rules using just mathematics! Including Barbara, Celarent, Cesare and others.
Views: 2371 njwildberger

04:22
Views: 16 Sarah Cook

27:38

28:07
After George Boole's introduction of an algebraic approach to logic, the subject morphed towards a more set theoretic formulation, with so called Boolean algebra initiated by John Venn and Charles Peirce. Venn diagrams (originally going back to Euler), give us a visual way of representing relations between subsets of a universal set. The operations of meet and join, or intersection and union, together with taking complements become replacements for the product and sum of the Algebra of Boole. In this set theoretic context, de Morgan's laws clarify how to compute complements of unions and intersections, and the two distributive laws involve 3 sets, and either a union of an intersection, or the intersection of a union. We illustrate how to verify these laws from, first of all a truth table perspective, and then with computations using the Algebra of Boole. There is a heretical message here: professors teaching circuit analysis to engineers might want to start thinking about revamping their subject, and replacing Boolean algebra with the original, more powerful and simpler Algebra of Boole!
Views: 1614 njwildberger

20:36

15:28

15:11

09:32
One important use of letters in algebra is to describe patterns in a quantitative and general way. We look at the `sequences' of square numbers and triangular numbers, and derive formulas for the nth terms. A table of differences shed light on these and other number patterns. This video belongs to Wildberger's MathFoundations series, which sets out a coherent and logical framework for modern mathematics. Screenshot PDFs for my videos are available at the website http://wildegg.com. These give you a concise overview of the contents of each lecture. Great for review, study and summary. A screenshot PDF which includes MathFoundations46 to 79 can be found at my WildEgg website here: http://www.wildegg.com/store/p101/product-Math-Foundations-screenshot-pdf
Views: 10262 njwildberger

24:14
The simplest and most common examples of abstract algebraic objects are probably linear spaces. They occur in many areas of mathematics, and are pillars of linear algebra, where they are often called vector spaces. Our approach will be to generalize simple aspects of Nat, Int and Rat from a data structure orientation, prominently using multisets, or msets. In this lecture we start with the idea of generalizing Nat with addition, to form spans of msets.
Views: 3723 njwildberger

07:57

41:58
While abstract algebra is not as problematic logically as modern analysis, it still suffers from very serious difficulties. In this video we begin laying out some of these logical reefs that we will have to steer clear from. And we look at the first one: which is distinguishing between descriptions, definitions and specifications of abstract algebraic objects. For example, how do we officially define a group? It turns out that there are distinctly different approaches to answering this, and notably the theory of groups that we build up is highly dependent on which definition we choose.
Views: 5607 njwildberger

04:00

01:32:15
This Fort Bend Tutoring [fbt] Live Stream is part 1 of 2 final exam review videos for the developmental mathematics college course foundations of mathematics (Developmental Mathematics II). Math concepts, from the course MATH 0308/MATH 0409/MATH 0309, covered are solving linear equations, factoring quadratic equations and graphing linear equations. Feel free to participate, ask questions and donate using the Super Chat feature on a laptop or desktop or the link below. Instruction by Larry "Mr. Whitt" Whittington. Subscribe to Fort Bend Tutoring [fbt] here: https://goo.gl/JuczKk Purchase our Simply Math Workbook #2 for more examples and over 200 practice problems! http://shop.tutormemath.net/product/simply-math-workbook-2 Purchase our Simply Math Workbook #4 to help you master solving linear equations with over 200 practice problems! http://shop.tutormemath.net/product/simply-math-workbook-4 Check out our Fort Bend Tutoring Amazon Affiliate Store for recommendations on products and textbooks to help you in your academic endeavors! https://www.amazon.com/shop/fortbendtutoring http://shop.TutorMeMath.net http://FortBendTutoring.Spreadshirt.com Donate here: https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick&hosted_button_id=P5DTKAQFCF7NQ
Views: 4555 Fort Bend Tutoring

23:05
We introduce some deceptively simple but important notation to deal with multisets/msets from n, for some natural number n. In particular we augment addition of msets with multiples of an mset, and use that to give a list-theoretic description of the multiplicity of various elements that appear in a given mset. In particular this suggests the possibility of extending multiplicities to have negative, or even rational number values. Both of these ideas will have major consequences as we use data structures to help us structure parts of modern algebra. Please consider supporting this Channel bringing you high quality mathematics lectures by becoming a Patron at https://www.patreon.com/njwildberger? Screenshot pdf's for the lectures are available at http://www.wildegg.com/divineproportions-rationaltrig.html My research papers can be found at my Research Gate page, at https://www.researchgate.net/profile/ A screenshot PDF which includes MathFoundations150 to 183 can be found at my WildEgg website here: http://www.wildegg.com/store/p104/product-Math-Foundations-C-screenshot-pdf
Views: 3976 njwildberger

10:02
Views: 10 Beth Nichols

20:30
Maxel algebra is a large scale extension of matrix algebra. To see ordinary matrix algebras inside as subalgebras, it is useful to focus on particular diagonal maxels determined by sets J of natural numbers. These are idempotent elements in the maxel world, and we will see how they project maxels onto the rows and columns of J, and restrict a maxel to J x J. This gives us a way of seeing the entire nested family or matrix algebras M(nxn) imbedded one inside another. Screenshot PDFs for my videos are available at the website http://wildegg.com. These give you a concise overview of the contents of each lecture. Great for review, study and summary. Please consider supporting this Channel bringing you high quality mathematics lectures by becoming a Patron at https://www.patreon.com/njwildberger? Screenshot pdf's for the lectures are available at http://www.wildegg.com/divineproportions-rationaltrig.html My research papers can be found at my Research Gate page, at https://www.researchgate.net/profile/ A screenshot PDF which includes MathFoundations150 to 183 can be found at my WildEgg website here: http://www.wildegg.com/store/p104/product-Math-Foundations-C-screenshot-pdf
Views: 1676 njwildberger

01:16:21