Logic programming | Modal logic
The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic. (Wikipedia).
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
Determine if the Binary Operation Defined by the Table is Commutative and Associative
In this video we determine whether or not a binary operation is commutative and associative. The binary operation is actually defined by a table in this example. I hope this video helps someone.
From playlist Abstract Algebra
This video defines a logarithms and provides examples of how to convert between exponential equations and logarithmic equations. http://mathispower4u.wordpress.com/
From playlist Exponential and Logarithmic Expressions and Equations
Systems of linear equations -- Elementary Linear Algebra
This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.
From playlist Elementary Linear Algebra
7.1: Cellular Automata - The Nature of Code
This video introduces the concepts and algorithms behind Cellular Automata. (If I reference a link or project and it's not included in this description, please let me know!) Read along: http://natureofcode.com/book/chapter-7-cellular-automata/ http://en.wikipedia.org/wiki/Cellular_autom
From playlist The Nature of Code: Simulating Natural Systems
Isomorphisms in abstract algebra
In this video I take a look at an example of a homomorphism that is both onto and one-to-one, i.e both surjective and injection, which makes it a bijection. Such a homomorphism is termed an isomorphism. Through the example, I review the construction of Cayley's tables for integers mod 4
From playlist Abstract algebra
The Autonomic Nervous System: Sympathetic and Parasympathetic Divisions
We've learned quite a bit about the peripheral nervous system, which has a sensory division and a motor division. The latter is the one that tells the body what to do, and this is divided into the somatic nervous system, which involves voluntary motion, and the autonomic nervous system, wh
From playlist Anatomy & Physiology
Linear Algebra: Systems of Linear Equations
Learn the basics of Linear Algebra with this series from the Worldwide Center of Mathematics. Find more math tutoring and lecture videos on our channel or at http://centerofmath.org/
From playlist Basics: Linear Algebra
Systems of linear equations seek a common solution for the unknowns across more than one equation. It can be very simple to calculate a solution using simple algebra. Alternatively you can use elementary row operations or even lines and planes in two- and three-dimensional space. At th
From playlist Introducing linear algebra
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai This lecture covers logic-based models: propositional logic, first order logic Applications: theorem proving, verification, reasoning, think in terms of logical f
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021
Excel Statistical Analysis 17: AND, OR, and NOT Logical Tests for COUNTIFS & FILTER Functions
Download Excel File: https://excelisfun.net/files/Ch04-ESA.xlsm pdf notes: https://excelisfun.net/files/Ch04-ESA.pdf Learn about the basics of Logical Tests: AND, OR and NOT. Lean how to count based on logical tests using COUNTIFS, FILTER and ROWS functions. Topics: 1. (00:00) Introduction
From playlist Excel Statistical Analysis for Business Class Playlist of Videos from excelisfun
Inference: A Logical-Philosophical Perspective - Moderated Conversation w/ A.C. Paseau and Gila Sher
Inference: A Logical-Philosophical Perspective. Moderated Conversation with Gila Sher, Department of Philosophy, University of California, San Diego on the talk by Alexander Paseau, Faculty of Philosophy, University of Oxford. The Franke Program in Science and the Humanities Understandi
From playlist Franke Program in Science and the Humanities
What are Non-Classical logics?
Some of the general classes of non-classical logics I touch in this videos are linear logic, relevant logic, modal logic, many-valued logics, minimal logic, paraconsistent logics and so on and so forth. Let me know if I should dive deeping into a certain scene? https://en.wikipedia.org/wi
From playlist Programming
Logic Gates from Transistors: Transistors and Boolean Logic
How to make all the logic gates from a field effect transistor, or from other logic gates.
From playlist Physics
Clojure Conj 2012 - Challenges for Logic Programming
Challenges for Logic Programming by: Steve Miner The core.logic library (a port of miniKANREN) has sparked an interest in logic programming among Clojure users. Back in the '80s, logic programming inspired the Japanese Fifth Generation Computer Systems Project, which was poised to leap pa
From playlist Clojure Conf 2012
Logical Tests: Excel Formulas, Conditional Formatting, PivotTables, Power Query, & More- 365 MECS 07
Download Excel file: https://excelisfun.net/files/07-M365ExcelClass.xlsx Download pdf notes: https://excelisfun.net/files/07-M365ExcelClass.pdf Download csv file for Power Query example: https://excelisfun.net/files/9112021-2022CallData.csv This video is a comprehensive lesson in logical
From playlist Microsoft 365 Excel Complete Class: free from excelisfun at YouTube - 365 MECS
V8-2: Fourier series, definition and derivation of formulas; Elementary Differential Equations
Fourier series, definition and derivation of formulas; Elementary Differential Equations, video 8_2. Course playlist: https://www.youtube.com/playlist?list=PLbxFfU5GKZz0GbSSFMjZQyZtCq-0ol_jD
From playlist Elementary Differential Equations