A combinatorial approach to the determinant using permutations.
From playlist Linear Algebra
Linear Algebra: Ch 2 - Determinants (1 of 48) What is a Determinant? (Part 1)
Visit http://ilectureonline.com for more math and science lectures! In this video I will give a general definition of “What is a Determinant?” (Part 1) Next video in this series can be seen at: https://youtu.be/vIHnlNjRnGU
From playlist LINEAR ALGEBRA 2: DETERMINANTS
Group automorphisms in abstract algebra
Group automorphisms are bijective mappings of a group onto itself. In this tutorial I define group automorphisms and introduce the fact that a set of such automorphisms can exist. This set is proven to be a subgroup of the symmetric group. You can learn more about Mathematica on my Udem
From playlist Abstract algebra
Diego Figueira: Semistructured data, Logic, and Automata – lecture 1
Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this
From playlist Logic and Foundations
Equaivalent statements about the determinant. Evaluating elementary matrices.
From playlist Linear Algebra
History of Science and Technology Q&A (November 30, 2022)
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 thi
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
4. Pushdown Automata, Conversion of CFG to PDA and Reverse Conversion
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Defined context free grammars (CFGs) a
From playlist MIT 18.404J Theory of Computation, Fall 2020
Cellular Automata Rule-Generating Polynomials
Cellular Automata rules are represented by integers where we encode the output of the function without knowing the details on how it might be implemented. The CellularAutomaton function in Mathematica only requires these integers, along with the values of r and k, to evolve rules for a giv
From playlist Wolfram Technology Conference 2022
Pierre-Alain Reynier : Transductions - Partie 2
Résumé : Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie : - caractérisation, décision et mi
From playlist Logic and Foundations
Emmanuel Filiot : Transductions - Partie 1
Résumé : Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie : - caractérisation, décision et mi
From playlist Logic and Foundations
Émilie Charlier: Logic, decidability and numeration systems - Lecture 1
Abstract: The theorem of Büchi-Bruyère states that a subset of Nd is b-recognizable if and only if it is b-definable. As a corollary, the first-order theory of (N,+,Vb) is decidable (where Vb(n) is the largest power of the base b dividing n). This classical result is a powerful tool in ord
From playlist Mathematical Aspects of Computer Science
Diego Figueira: Semistructured data, Logic, and Automata – lecture 2
Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this
From playlist Logic and Foundations
A more in depth discussion on the determinant of a square matrix.
From playlist Linear Algebra
Transforming an NFA into a DFA
Any non-deterministic finite state automaton (NFA) can be transformed into an equivalent deterministic finite state automaton (DFA). In this video we'll see how to make the transformation by systematically exploring an NFA.
From playlist Discrete Structures