ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

69,027 results

Xena Project
10 minute Lean tutorial : proving logical propositions

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 ...

7:53
10 minute Lean tutorial : proving logical propositions

43,255 views

5 years ago

Chris Mayfield
Tracing code by hand

Drawing tables on paper; DrJava debugger https://w3.cs.jmu.edu/mayfiecs/cs149/

10:08
Tracing code by hand

129,638 views

10 years ago

Cody Anderson
6.2 Logic Operators

To make more sophisticated decisions, we will apply the basic logic operations of AND, OR, NOT, and Exclusive-OR. Also, nesting ...

5:41
6.2 Logic Operators

617 views

5 years ago

chaintuts
Basic Programming Logic: if/loops

Learn the broad basics of how computer programmers think and instruct computers to make decisions.

9:50
Basic Programming Logic: if/loops

141 views

3 years ago

Brian Will
Object-Oriented Programming is Good*

or not.

9:45
Object-Oriented Programming is Good*

170,556 views

6 years ago

EngMicroLectures
Implementation of ROMs and PLAs

Description of how we can implement read-only memory and programmable logic arrays. Special emphasis is placed on the ...

4:21
Implementation of ROMs and PLAs

99,172 views

14 years ago

EngX Space
How to Become a Great Software Developer — Best Advice from Top-Notch Engineers

Check our documentary "Beyond The Success Of Kotlin: https://youtu.be/E8CtE7qTb-Q Integrate GitHub Copilot and ChatGPT ...

11:11
How to Become a Great Software Developer — Best Advice from Top-Notch Engineers

596,848 views

1 year ago

Luke Smith
Never say "If" writing a Bash script! (Exit codes & logical operators)

A good rule of thumb is to never use "if" statements when writing shell or bash scripts. 90% of the time, you can get what you want ...

14:50
Never say "If" writing a Bash script! (Exit codes & logical operators)

244,392 views

5 years ago

Potassco
Easy answer set programming, introduction, first example

This video introduces some naming conventions and presents a first very simple example of a logic program and its answer sets.

14:37
Easy answer set programming, introduction, first example

10,100 views

5 years ago

WIT Solapur - Professional Learning Community
PLC Instruction Lists basics

Mr. P. P. Tambe Assistant Professor, Department OF Electronics Engineering, Walchand Institute of Technology, Solapur.

12:14
PLC Instruction Lists basics

19,044 views

5 years ago

Meri (Engel) Kasprak - programming videos
Applied Logic: Lesson 1   The Programming Process

merihelp.net: Applied Logic - the programming process goes over the life cycle of a program from investigation through ...

7:56
Applied Logic: Lesson 1 The Programming Process

14,387 views

12 years ago

Meri (Engel) Kasprak - programming videos
Applied logic: Lesson 3   Programming History

merihelp.net: Programming Logic - how did we get here...a brief trip through the evolution of programming styles.

4:27
Applied logic: Lesson 3 Programming History

1,520 views

12 years ago

Aeon Automation
#PLC Programming, #S7-400 Programming - Bit logic INSTRUCTIONS COMPLETE

Aeon Electric is where automation engineers and technicians come to learn the PLC programming and automation skills they ...

14:09
#PLC Programming, #S7-400 Programming - Bit logic INSTRUCTIONS COMPLETE

135 views

3 years ago

Algeboy: Prof James B. Wilson
Types as programs from logic

Good programs can be understood and used properly by others. Those are exactly the features that logic solves. So can we just ...

19:25
Types as programs from logic

536 views

11 months ago

Sayanee Basu
Decoding UART, I2C and a non-standard signal // With Saleae logic analyzer and temperature sensors

saleae #i2c #uart Logic analyzers can be used to peak into the actual signals used to communicate data. We will also use it to ...

16:44
Decoding UART, I2C and a non-standard signal // With Saleae logic analyzer and temperature sensors

55,700 views

6 years ago

Marius Furter
Logic & Foundations with Haskell: Course Intro

In this course we will cover logic, proof theory, and foundations of math with the help of the functional programming language ...

7:34
Logic & Foundations with Haskell: Course Intro

10,751 views

2 years ago

Sparky's Training Academy
Propositional Logic (Foundations of Computer Science)

In pursuit of generating educational material for training this is a completely automatically made presentation made with the help ...

9:51
Propositional Logic (Foundations of Computer Science)

944 views

1 year ago

Alex The Analyst
Comparison, Logical, and Membership Operators in Python | Python for Beginners

Take my Full Python Course Here: https://bit.ly/48O581R In this series we will be walking through everything you need to know to ...

7:15
Comparison, Logical, and Membership Operators in Python | Python for Beginners

88,467 views

3 years ago

Leopoldo Armesto
EcoThings: Programming. Logic with Facilino

This video shows how to work with logic instructions in Facilino. This video is part of a set of videos in a MOOC within the ...

6:00
EcoThings: Programming. Logic with Facilino

28 views

1 year ago

Thapa Technical
5 Proven Steps to Build Your Programming Logic Skills & Confidence🔥

Welcome, Ready to boost your programming logic skills and confidence? You're in luck because today's video is all about that.

19:22
5 Proven Steps to Build Your Programming Logic Skills & Confidence🔥

9,552 views

1 year ago