Mathematical notation | Logic symbols | Mathematical symbols
The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: * The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). * The bottom element in wheel theory and lattice theory, which also represents absurdum when used for logical semantics * The bottom type in type theory, which is the bottom element in the subtype relation. This may coincide with the empty type, which represents absurdum under the Curry–Howard correspondence as well as * Mixed radix decoding in the APL programming language The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). Tee plays a complementary or dual role in many of these theories. The similar-looking perpendicular symbol (⟂, \perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent: * Perpendicularity of lines in geometry * Orthogonality in linear algebra * Independence of random variables in probability theory * Coprimality in number theory The double tack up symbol (⫫, U+2AEB in Unicode) is a constant symbol used to represent: * Conditional independence of random variables in probability theory (Wikipedia).
What to do with all those old PCBs from stuff you've taken apart...
From playlist Projects & Installations
Will show you how to view, override, import and export quiz grades and feedback
From playlist How to add quizzes in Moodle
I'm going out Right out. Well, quite a way out. Makes a change from zooming in, right? Oh, I've got sandwiches too. Either way, it's just more testing. I mostly just liked the way the light creates a metal-like surface at times.
From playlist Nerdy Rodent Uploads!
Thanks to violet face cam the gate panel is raised when open, thus it does not collide with the uphill ground. This mechanism is suitable for case when the gate is not too wide and the ground is not too uphill (for easy raising the gate panel). STEP files: http://www.mediafire.com/file/vu
From playlist Thang best animations
Orange roller allows green round rack to move up and prevents it from falling. STEP files of this video: https://www.mediafire.com/file/yyl2d67atw52qnj/RatchetMechanism34STEP.zip/file Inventor files of this video: https://www.mediafire.com/file/32acxjdnvtgjwjr/RatchetMechanism34Inv.zip/f
From playlist Mechanisms
I clicked on a clickbait title when all I wanted to do was relax...
This video has it all. Clickbait title. Fully delivers the relaxation. Just sit back and enjoy maths happening in front of you, without you having to think about it.
From playlist Nerdy Rodent Uploads!
Down East Dickering: Dickering a Deal | History
The Season 2 cast members describe the art of dickering and the skills that are needed to make a deal work. Subscribe for more Down East Dickering: http://histv.co/SubscribeHistoryYT Check out exclusive Down East Dickering videos and full episodes: http://www.history.com/shows/down-east-
From playlist Down East Dickering: Season 2 | History
How explained Slinky down stairs!!!
In this video i show and explained slinky move down stairs!
From playlist MECHANICS
The Wolfram Language in a Sailboat Racing Telemetry System
To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: Todd Gayley Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and m
From playlist Wolfram Technology Conference 2017
Peripheral Nervous System: Crash Course Anatomy & Physiology #12
It is now time to meet the system that helps your brain stay in touch with the outside world. We follow up last week's tour of the central nervous system with a look at your peripheral nervous system, its afferent and efferent divisions, how it processes information, the reflex arc, and wh
From playlist Anatomy & Physiology
EEVblog #186 - Soldering Tutorial Part 3 - Surface Mount
PART 1: http://www.youtube.com/watch?v=J5Sb21qbpEQ PART 2: http://www.youtube.com/watch?v=fYz5nIHH0iY Part 3 of the hand soldering tutorial. This time Dave shows you how to drag solder and tack & reflow SMD components, and in particular 0.5mm fine pitch IC's. Including solder paste and hot
From playlist Soldering
How to TIG weld aluminum beverage cans together
I show how to weld aluminum cans together with a cheap import TIG welder. I am not a professional welder, so some of my advice may be unconventional or even wrong, but these methods work well for me. With a 3/32" electrode and large gas lens, I don't have to change the torch setup for ne
From playlist Tutorials
Ses. 1-3: Lean Thinking: Part II
MIT 16.660J Introduction to Lean Six Sigma Methods, IAP 2012 View the complete course: http://ocw.mit.edu/16-660JIAP12 Instructor: Hugh McManus This session covers the second half of the Lean thinking behind value, value stream, flow, pull and perfection. Students complete an in class exe
From playlist MIT 16.660J / ESD.62J / 16.853 Introduction to Lean Six Sigma Methods, IAP 2012
1D convolution for neural networks, part 8: Padding
Part of an 9-part series on 1D convolution for neural networks. Catch the rest at https://e2eml.school/321
From playlist E2EML 321. Convolution in One Dimension for Neural Networks
Graph Theory: 28. Hamiltonian Graph Problems
Here I give solutions to these three problems posed in the previous video: 1. Show that the complete bipartite graph with partite sets of size n and m is Hamiltonian if and only if n and m are equal and greater than or equal to 2. 2. Find a connected graph that has no Hamilton path. 3. Can
From playlist Graph Theory part-6
RailsConf 2017: Reporting on Rails - ActiveRecord and ROLAP Working Together by Tony Drake
RailsConf 2017: Reporting on Rails - ActiveRecord and ROLAP Working Together by Tony Drake It'll happen eventually. Someone will come down with a feature request for your app to "create dashboards and reporting on our data". So how do you go about doing it? What parts of your database sho
From playlist RailsConf 2017
Having fun with angular momentum! | Live Experiments (Ep 15) | Head Squeeze
Jon Chase explains that angular momentum is what makes a spinning top, a bicycle wheel or an ice skater spin on an axis. He also shows how manipulating the different factors involved can conserve angular momentum, and make a spinning object more steady and spin for longer. More on angula
From playlist Live Experiments - do try this at home!
In this video, we take a look at how you can quickly create the LaTeX logo on overleaf.
From playlist Tech Ideas
Select Movies with Python - Web Scraping Tutorial
Welcome to a fun little Python Tutorial! Scrape the IMDb Top 250 movies and let Python choose a movie for you! Learn how to use requests and BeautifulSoup to scrape websites. ~~~~~~~~~~~~~~ GREAT PLUGINS FOR YOUR CODE EDITOR ~~~~~~~~~~~~~~ ✅ Write cleaner code with Sourcery: https://sourc
From playlist Fun Python Projects