- Видео 26
- Просмотров 50 155
Michael M
Добавлен 4 окт 2011
Underwater Lidar Scanning a Wreck in Gazebo
This is a demo of a simulated underwater lidar device mounted to the rexrov vehicle from uuv_simulator. The lidar point cloud is visualized in rviz. This demo was created as part of the Dave project: github.com/Field-Robotics-Lab/dave
Просмотров: 502
Видео
Introduction to Decision Procedures
Просмотров 4414 года назад
A very minimal overview decision procedures and semi-decision procedures with some connections to propositional logic.
Normal Forms in Propositional Logic
Просмотров 6 тыс.4 года назад
This covers Negation Normal Form, Conjunctive Normal Form and Disjunctive Normal Form in propositional logic. We follow chapter 4 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science. Much of this material was adapted from Carlos Almeida's slides on Validity Checking.
Logical Consequence and Theories
Просмотров 8 тыс.4 года назад
This covers definitions of logical consequence and theories in propositional logic. We follow chapter 2 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science.
Validity and Satisfiability in Propositional Logic
Просмотров 25 тыс.4 года назад
This covers definitions of validity and satisfiability in propositional logic. We follow chapter 2 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science.
Semantics of Propositional Logic
Просмотров 1 тыс.4 года назад
This covers definitions of interpretations and truth in propositional logic. We follow chapter 2 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science. I also talk through a few tables of equivalent formulas at the end of the video.
Syntax of Propositional Logic
Просмотров 7684 года назад
This covers basic definitions of well-formed formulae in propositional logic. We follow chapter 2 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science.
Propositional Logic: Motivations and Applications
Просмотров 4794 года назад
An introduction to the module on propositional logic. I give an overview of the module and some example applications of propositional logic.
Proof by Mutual Induction on a Simple DFA
Просмотров 1,4 тыс.4 года назад
This video proves the correctness of the very simple on-off switch from the previous video using weak mutual induction.
Minimal Introduction to State Diagrams and Finite Automata
Просмотров 3884 года назад
This video gives a simple example of a state machine and explains how it can be modeled using the state diagram for a discrete finite automaton. It also works through the example given in Ben Ari's textbook on modeling Peterson's algorithm with DFAs.
Mutual Induction on Rooted Trees (Part 2)
Просмотров 1414 года назад
This video walks through the second half of a proof of a theorem about rooted trees. I use the mutually recursive definition of rooted trees given in a previous video. The proof then uses strong mutual induction over derivation height. This video goes through just the inductive step.
Mutual Induction on Rooted Trees (Part 1)
Просмотров 2074 года назад
This video walks through the first half of a proof of theorem about rooted trees. I use the mutually recursive definition of rooted trees given in a previous video. The proof then uses strong mutual induction over derivation height.
Strong Induction Example: Postage Stamp Problem
Просмотров 3,1 тыс.4 года назад
This video walks through a proof of the completeness of a Post System representing the "postage stamp problem." The proof uses strong induction with multiple base cases.
Weak Induction Example: Completeness of a Post System
Просмотров 2294 года назад
This video is a sequel to "Strong Induction Example: Soundness of a Post System." We walk through a proof of the completeness of the same Post System for positive multiples of 3, using weak induction over the positive integers.
Strong Induction Example: Soundness of a Post System
Просмотров 2724 года назад
We walk through a proof of the soundness of a Post System for positive multiples of 3, using strong induction over derivation height.
Rooted Trees: A Mutually Recursive Definition Using a Post System
Просмотров 2914 года назад
Rooted Trees: A Mutually Recursive Definition Using a Post System
Examples of Recursive Definitions with Post Systems
Просмотров 2674 года назад
Examples of Recursive Definitions with Post Systems
Expressing Recursive Definitions with Post Systems
Просмотров 3614 года назад
Expressing Recursive Definitions with Post Systems
Hey love your channel and may I ask a question: If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations? I ask this because somebody told me recently that “set theory cannot make truth valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?
"cuz val is not the problem" lol
Very clear and well explained, shame no more videos :(
Great explanation, thanks a lot!
Still the best material I have seen so far! Very clear explanation and overall good content!
Thanks for the nice tutorial! Can you kindly share the slides?
please if you see this comment, please help me to find out all the videos of this course thanks I really need it
hello my exam which is related to this video is coming can I ask you where can I find all the videos from this tutor???
You have no idea how much this video helped me
Excellent video. Covering both the formal definitions and the intuitions
@Michael M Thanks for posting such beautiful content on logic😭 It really was a huge help I was wondering if there is any way to contact you - I am having a tough time wrapping my head around some of the formal definitions in FOL using the same text(book) for reference I was hoping you had some content for that but unfortunately you don't Fingers crossed you see this
Very informative!! Do you offer any additional videos for post systems??
Thank you!
Hi Michael, great explanation of the concept! I have a question which I think you could help me with. Could you give me your email id so I can reach out to you?
thank you for this 🙏🙏
Thank you sooo much :)
Thank you :)
Well explained
why it cannot be in human language before it gets all theorem language
Good stuff.
Great video. Spent nearly thirty minutes trying to grasp theorem 2.50 by reading the text and you explained it perfectly in a few minutes. Thanks!
Awesome! Thanks for the explanation :)
Wonderful explanation as usual. Nice video!
Damnnnnnnnn! I just had to comment twice. I came here looking for copper, instead, I found gold!
This is LITERALLY, BY FAR, the clearest explanatory video on this! It literally just clicked in seconds. Thanks!
same with me
I thought valid means if the premises is true then the conclusion must be true
Glad you pointed this out. The word valid is unfortunately used in more than one way, even within the context of logic. The definition you are thinking of, which is also the one I was introduced to first, is the major one given at the Wikipedia page for Validity in logic: en.wikipedia.org/wiki/Validity_(logic). So, no doubt you are right. But if you scroll down that page to the section that says "Valid formula" you'll see the meaning I'm using in these videos.
Theorems well explained
Crystal clear.
What kind of lidar you used in gazebo? I think that is '3d at depth lidar'. Am I right?
Thank you so much