Maths for Programmers: Logic (What Is Logic?)
We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod
From playlist Maths for Programmers
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
SCOPE and FREE and BOUND Variables in Predicate Logic - Logic
In this video on Logic, we learn how to identify scope as well as determine whether variables are free or bound. We also talk about whether a formula is open or closed. 0:00 - [Intro] 0:56 - [Scope] 4:22 - [Free and Bound Variables] 8:14 - [Open and Closed Formulas] 11:37 - [Exercise] #S
From playlist Logic in Philosophy and Mathematics
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: Set Theory
Logic is the foundation of all computer programming. In this video you will learn about set theory. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Coding Comma
From playlist Logic for Programmers
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Scott Aaronson - Physics of Free Will
Free will has traditionally been a problem in philosophy. Recently, the battleground of free will has shifted to neuroscience. Now some claim that to solve the problem of free will, we must go far deeper, to the fundamentals of physics, down to subatomic forces and particles. But don't fre
From playlist Understanding Free Will - Closer To Truth - Core Topic
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
You don't have free will, but don't worry.
In this video I explain why free will is incompatible with the currently known laws of nature and why the idea makes no sense anyway. However, you don't need free will to act responsibly and to live a happy life, and I will tell you why. Support me on Patreon: https://www.patreon.com/Sabi
From playlist Philosophy of Science
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
After a short introduction to the functorial approach to logical proofs and programs initiated by Lambek in the late 1960s, based on the notion of free cartesian closed category, we will describe a recent convergence with the notion of ribbon category introduced in 1990 by Reshetikhin and
From playlist Combinatorics and Arithmetic for Physics: 02-03 December 2020
Matthews Grant - Does God’s Knowledge Quash Free Will?
How can God's perfect knowledge not eliminate free will? Since God-to-be-God can never be wrong and knows everything, including propositions about future events, how can those propositions about future events, which God knows now, not come to pass in the actual future? Hence, if we cannot
From playlist Big Questions About God - Closer To Truth - Core Topic
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
Thomas Colcombet : Algebra vs Logic over (generalised) words
CONFERENCE Recording during the thematic meeting : « Discrete mathematics and logic: between mathematics and the computer science » the January 17, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks give
From playlist Logic and Foundations
In this lecture, Professor John Cottingham (University of Reading) considers the logical problem of evil: is it logically possible for evil to exist with an omnipotent, omniscient and omnibenevolent God? This lecture is part of a larger course on the problem of evil. The full course can b
From playlist Philosophy
William Lane Craig - How Free is God?
God is supposed to be all-powerful, all-knowing and all good. In addition, is God is supposed to be 'all-free'? What does it mean for God to be perfectly free? Can God do literally anything? Click here to watch more interviews with William Lane Craig http://bit.ly/19HcQMr Click here to w
From playlist Big Questions About God - Closer To Truth - Core Topic
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
Lecture 9: Higher-order logic and topoi (Part 2)
Most of this talk was spent defining a higher-order logic, which Lambek and Scott call a "type theory". At the end it was explained how to organise certain terms of such a logic into a category, which next time we will prove is a topos. The lecture notes are available here: http://theris
From playlist Topos theory seminar
Basic Methods: We define tautology and contradiction and consider the conditions of logical equivalence and implication. Examples include DeMorgan's Laws for logic, modus ponens, and the Law of the Excluded Middle. As a final note, we introduce the Substitution Rules.
From playlist Math Major Basics
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