Programming Languages - (part 5 of 7)
How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org
From playlist Programming Languages
Declarative vs Imperative in Functional Programming
Functional programmers often point out that one of the big advantages of their approach is declarative programming. They sometimes position declarative vs imperative programming, but it's not quite as simple as that. This is not really about functional vs imperative, these are choices, and
From playlist For Junior Developers
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
Abstract Algebra | Injective Functions
We give the definition of an injective function, an outline of proving that a given function is injective, and a few examples. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Abstract Algebra
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev
Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version of type theory, we do not need sets or Boolean logic; intuitionism is enough ("no principle of excluded middle required"). The underlying math is Topos Theory
From playlist LambdaConf 2015
What are examples of a statements converse, inverse, and contrapositive
👉 Learn how to find the inverse, the converse, and the contrapositive of a statement. The contrapositive of a statement is the switching of the hypothesis and the conclusion of a conditional statement and negating both. If the hypothesis of a statement is represented by p and the conclusio
From playlist Converse, Inverse, Contrapositive Conditional Statements
PROG2006: Programming Paradigms (and collections)
PROG2006 Advanced Programming Programming Paradigms Quick chat about collections
From playlist PROG2006 - Programming
5: Introduction to Philosophy of Engineering II
MIT ESD.932 Engineering Ethics, Spring 2006 Instructor: Dr. Taft Broome View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR This course introduces the theor
From playlist MIT ESD.932 Engineering Ethics, Spring 2006
Ruby Hoedown 2008 - Ruleby: The Rules Engine for Ruby by: Joe Kutner
Ruleby: The Rules Engine for Ruby by: Joe Kutner Help us caption & translate this video! http://amara.org/v/G1Uh/
From playlist Ruby Hoedown 2008
Beginner's Guide to Kant's Moral Philosophy
A simple introduction to Kant’s Categorical Imperative and his deontological approach to ethics Subscribe! http://tinyurl.com/pr99a46 Guest Stars! Carly Toffle - http://tinyurl.com/zcngtcl Cameron Sanderson - http://tinyurl.com/jytlpu6 Patreon: http://www.patreon.com/PhilosophyTube Audi
From playlist A-Level Philosophy
PROG2006: Programming Paradigms
PROG2006 Advanced Programming Programming Paradigms Coroutines and Concurrent programming Imperative and Structured programming Programming paradigms overview Discussion
From playlist PROG2006 - Programming
What is an Injective Function? Definition and Explanation
An explanation to help understand what it means for a function to be injective, also known as one-to-one. The definition of an injection leads us to some important properties of injective functions! Subscribe to see more new math videos! Music: OcularNebula - The Lopez
From playlist Functions
LambdaConf 2015 - Shipping a Production Web App in Elm Richard Feldman
What happens when you take a 2011 CoffeeScript web app designed to edit 100,000-word novels...and scratch-rewrite it in Elm? It turns out the result is faster, more robust, and massively easier to maintain. Elm's simple design means that even a functional programming novice can quickly get
From playlist LambdaConf 2015
6: Introduction to Engineering Ethics: Codes of Ethics, Whistle Blowing, Case Study Methodology
MIT ESD.932 Engineering Ethics, Spring 2006 Instructor: Dr. Taft Broome View the complete course: https://ocw.mit.edu/courses/esd-932-engineering-ethics-spring-2006/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61YF5HCMnGUwJ8D-PNNs3OR This course introduces the theor
From playlist MIT ESD.932 Engineering Ethics, Spring 2006
The problem with `functions' | Arithmetic and Geometry Math Foundations 42a
[First of two parts] Here we address a core logical problem with modern mathematics--the usual definition of a `function' does not contain precise enough bounds on the nature of the rules or procedures (or computer programs) allowed. Here we discuss the difficulty in the context of funct
From playlist Math Foundations
React Hooks Tutorial | React Hooks Explained | React Hooks Project 2022 | React Tutorial|Simplilearn
🔥Post Graduate Program In Full Stack Web Development: https://www.simplilearn.com/pgp-full-stack-web-development-certification-training-course?utm_campaign=ReactHooks-NqQHwxNt64g&utm_medium=DescriptionFF&utm_source=youtube 🔥Caltech Coding Bootcamp (US Only): https://www.simplilearn.com/cod
From playlist ReactJS Tutorial Videos 🔥[2022 Updated]
Ruby Conf 12 - Boundaries by Gary Bernhardt
Some people test in isolation, mocking everything except the class under test. We'll start with that idea, quickly examine the drawbacks, and ask how we might fix them without losing the benefits. This will send us on a trip through behavior vs. data, mutation vs. immutability, interface v
From playlist Ruby Conference 2012
INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS
Today we introduce propositional logic. We talk about what statements are and how we can determine truth values. #DiscreteMath #Mathematics #Logic Visit my website: http://bit.ly/1zBPlvm Subscribe on YouTube: http://bit.ly/1vWiRxW *--Playlists--* Discrete Mathematics 1: https://www.yout
From playlist Discrete Math 1
Implication and Biconditional Statements
The definition of implication and biconditional connectives along with some laws for working with them, plus the definition of tautology and contradiction. (In the part I got hung up on in the video, "p is necessary for q" can be read "p if q" (or "if q, then p"), and "p is sufficient fo
From playlist Linear Algebra