Program logic | Static program analysis
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts. (Wikipedia).
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
Replacing truth tables and Boolean equivalences | MathFoundations274 | N J Wildberger
While Propositional Logic is a branch of philosophy, concerned with systematizing reasoning using connectives such as AND, OR, NOT, IMPLIES and EQUIVALENT, the Algebra of Boole provides a mathematical framework for modelling some of this. With this approach we ignore the issue of the mean
From playlist Boole's Logic and Circuit Analysis
From playlist Week 1 2015 Shorts
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
Inference Rules via the Algebra of Boole | MathFoundations 275 | N J Wildberger
We show how to introduce Inference Rules in Propositional Logic in the framework of the Algebra of Boole, which provides a cut and dried technology to easily establish all such rules. Prominent amongst these are Modus Ponens, Modus Tollens, Hypothetical Syllogism and Disjunctive Syllogism
From playlist Boole's Logic and Circuit Analysis
TRANSPORT: Croydon Airport opened (1928)
EMPIRE NEWS NEWSREEL (REUTERS) To license this film, visit https://www.britishpathe.com/video/VLVA699JU0N7QMQIF35WVWO72QS01-TRANSPORT-CROYDON-AIRPORT-OPENED Lady Maud Hoare wife of the air minister performs official opening ceremony of new 267 thousand pound air station at Croydon, Surre
From playlist EMPIRE NEWS NEWSREEL (REUTERS)
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
An introduction to the general types of logic statements
From playlist Geometry
Watch this talk to explore Elm, the programming language that brings an entirely new approach to front-end development. You will study the language but, more importantly, the characteristics that make it such a great language to build reliable, robust client-side applications and how we ca
From playlist Elm
Graham Leigh: On the computational content of classical sequent calculus
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Computational interpretations of classical logic are entwined with constructive proofs of Herbrand's Theorem which states, its simplest form, that for every valid existen
From playlist Workshop: "Proofs and Computation"
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Brian Kernighan Q&A 3/3 - Computerphile
https://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: https://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bra
From playlist Brian Kernighan on Computerphile
Why Real Avalanches Aren't Like Cartoons
Avalanches can be powerful and dangerous, but not all of them are created equal, and not everything you've seen on TV is likely to actually set one off. Skillshare is offering SciShow viewers 2 months of unlimited access for free. Check out https://skl.sh/scishow-12 Hosted by: Michael Ar
From playlist Uploads
From playlist Algorithms 1
A Trainable Spaced Repetition Model for Language Learning
https://s3.amazonaws.com/duolingo-papers/publications/settles.acl16.pdf
From playlist Research Talks
Black Hat USA 2010: Exploiting the Forest with Trees 1/5
Speakers: Meredith L. Patterson, Len Sassaman One of the most difficult aspects of securing a protocol implementation is simply bounding the scope of the attack surface: how do you tell where attacks are likely to crop up? Historically, variations between implementations have led to some
From playlist Black Hat USA 2010
Procedural Programming: It's Back? It Never Went Away
When programmers describe code as 'procedural', it's generally not meant as a compliment. There is the belief that we have collectively moved pass such thinking and onto better paradigms. But a paradigm is no more than a pattern language, a family of solutions fit for a context. Change the
From playlist Software Development
Minimal logic, or minimal calculus, is an intuitionistic and paraconsistent logic, that rejects both the Law of Excluded Middle (LEM) as well as the Principle Of Explosion (Ex Falso Quodlibet, EFQ). https://en.wikipedia.org/wiki/Minimal_logic https://en.wikipedia.org/wiki/Principle_of_exp
From playlist Logic
Fairness and robustness in machine learning – a formal methods perspective - Aditya Nori, Microsoft
With the range and sensitivity of algorithmic decisions expanding at a break-neck speed, it is imperative that we aggressively investigate fairness and bias in decision-making programs. First, we show that a number of recently proposed formal definitions of fairness can be encoded as proba
From playlist Logic and learning workshop