Logic programming | Modal logic

Autoepistemic 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).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Introduction to Logarithms

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Systems of linear equations

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Non-monotonic logic | Logical consequence | Modal logic | Probabilistic logic network | Uncertain inference | Modal operator | Propositional formula | Negation as failure | Stable model semantics | Logic programming | S5 (modal logic)