ViewTube

EuroPython 2026 - S2 on 2026-07-15] *Hacking Truth: Python and the Limits of Mathematics by Miguel Ángel Fernández ...

I show how to prove a basic result in logic using the Lean prover, first in tactic mode and then in term mode. Try Lean online with ...

In this video we have a look at a fist example of logic programs with variables. As usual, our jupyter notebook can be found here: ...

Using Boolean logic -- True and False statements -- to test conditions. This video is part of a series of walkthroughs for the ...

This is Part 2 of the binary operations series (https://youtu.be/Q_jhE204MoE). I'll walk you through my test-driven development ...

... zero well this is an assignment statement in python assignment statements are evaluated on the right hand side first okay first so ...

Part 3 of the Binary Operations of Truth Tables, building and testing our code from scratch. Welcome to Pumping Python, my name ...

This course is designed to give you a ground-up overview of the basics of Python and it will be a quick way to understand the ...

In this episode we discuss conditions, logical operators, and if statements. Key concepts and keywords in this video: • Conditions ...

In this video I'll be showing you the data types that are required to use Python. They will help us with creating the logic of our ...

Lecture 17, Thursday 5 July 2018, part of the FoPSS Logic and Learning School at FLoC 2018 - see http://fopss18.mimuw.edu.pl/ ...

The full series: https://e2eml.school/111 This course is to cover the gap between touching a keyboard for the first time and writing ...

Get The Full “Learn Python ” Online Course: http://www.mnemonic.academy/learn-python The following video is from an online ...

In the first video in the series, we take a script that needs to be refactored and apply some love from the book Writing Idiomatic ...

Explaining the Even odd problem Solving in python. We can solve a Problem In multiple Ways. Keep Watching For more Logics to ...

Lecture 19, Friday 6 July 2018, part of the FoPSS Logic and Learning School at FLoC 2018 - see http://fopss18.mimuw.edu.pl/ and ...

First lecture on the Prolog programming language.

If you've been following the Truth Table series, you know I've been tackling logical operations. This time, I am going into some of ...

First lecture on the logic programming paradigm.