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 for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers
Introduction to Propositional Logic and Truth Tables
This video introduces propositional logic and truth tables. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Propositional Logic and the Algebra of Boole | MathFoundations273 | N J Wildberger
We give an overview of classical Propositional Logic, which is a branch of philosophy concerned with systematizing reason. This framework uses "atomic statements" called "propositions", and "relations", or "connectives", between them, prominently AND, OR, NOT, IMPLIES and EQUIVALENT, and t
From playlist Boole's Logic and Circuit Analysis
The Ultimate Guide to Propositional Logic for Discrete Mathematics
This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 W
From playlist Discrete Math 1
By arranging enough dominos into just the right structure, we can build a computer. But how do we arrange dominos in such a way that they can perform computation? Here, we explore the process of building domino logical circuits by carefully arranging dominos into configurations that can co
From playlist Spanning Tree Favorites
http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of
From playlist 01. Fundamentals of Science and Astronomy
Sudoku Tricks: The Power Of Pairs
Our book is very close to release - thanks to everyone who supported the Kickstarter. If you still need to order it then you can do so here: https://www.kickstarter.com/projects/peterchayward/cracking-the-cryptics-greatest-hits Today's puzzle sees the return of one of our very favourite
From playlist Qodec Puzzles
Are 10 Lines Or 11 Lines Used Here?
*** TODAY'S PUZZLE *** Another brilliant sudoku from zetamath today - this one called 10 Lines.... (yet there are 11 lines in the grid!) Give it a try at the link below: https://app.crackingthecryptic.com/sudoku/DMp47hdP2D Rules: Normal sudoku rules apply. Each line consists of one or
From playlist zetamath puzzles!
*** Today's Sudoku *** He's back! The incredible Phistomefel returns to the channel with a puzzle that defies belief. How can this sudoku possibly have a unique solution and will Simon find it? If you do enjoy this video please do remember to "like" it and subscribe to the channel. Try
From playlist Phistomefel Puzzles
Linear algebra: Prove the Sherman-Morrison formula for computing a matrix inverse
This is part of an online course on beginner/intermediate linear algebra, which presents theory and implementation in MATLAB and Python. The course is designed for people interested in applying linear algebra to applications in multivariate signal processing, statistics, and data science.
From playlist Linear algebra: theory and implementation
Phistomefel is back with (yet) another stunning creation. You can play it here: https://cracking-the-cryptic.web.app/sudoku/M7PnbJ3RLh Rules: Normal sudoku rules apply. A black dot between two cells means that one of the digits in the cells is exactly double the other. A white dot betwe
From playlist Phistomefel Puzzles
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
This video focuses on how to write the converse of a conditional statement. In particular, this video shows how to flip the hypothesis and conclusion of a conditional statement. The concepts of truth value and logical equivalence are explored as well. Your feedback and requests are encour
From playlist Geometry
Rhapsody In Clues by Phistomefel
*** TODAY'S SUDOKU *** Yet another masterpiece from Phistomefel today this time with a puzzle called Cave Panem - which is an amazing take on Sandwich Sudoku. Stick around for the end of the video if you want to hear Simon sing some fabulous lyrics from one of our book backers: J S Hedeg
From playlist Phistomefel Puzzles
The World's Most Famous Puzzle Maker
*** STOP PRESS: BUY OUR BOOK WITH A SPECIAL DISCOUNT *** To celebrate achieving 500k subscribers, we're trying to say thank you in a couple of ways. We're able to offer our Cracking The Cryptic Greatest Hits book at a discount for a limited period. The coupon code is “500SUBS” and it can
From playlist Aad Van De Wetering Puzzles
Phistomefel returns today but not with a sudoku. He has constructed an incredible problem that even seems to affect Simon's computer! You can try it here: https://tinyurl.com/y22mojbw There is an example of how the puzzle works at this link: https://logic-masters.de/Raetselportal/Raetse
From playlist Phistomefel Puzzles
Think Thursday: Tiling with Dominoes [logic]
Be sure to check out our blog for the full solution transcript! https://centerofmathematics.blogspot.com/2017/09/think-thursday-9-14-17-tiling-with.html
From playlist Center of Math: Think Thursday Problems
*** STOP PRESS: BUY OUR BOOK WITH A SPECIAL DISCOUNT + NEW FREE APP *** To celebrate achieving 500k subscribers, we're trying to say thank you in a couple of ways. We're able to offer our Cracking The Cryptic Greatest Hits book at a discount for a limited period. The coupon code is “500
From playlist Phistomefel Puzzles
Infinitesimals in Synthetic Differential Geometry
In this video I describe the logic of Synthetic Differential Geometry. This is a non-constructive theory collapsing in the presence of the law of excluded middle. As a logic al theory, it can be realized in a topos and it has sheave models giving a nice representation of tangent bundles.
From playlist Algebra