ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

3,969,013 results

Federated Logic Conference FLoC 2018
Stephen H Muggleton: Inductive Logic Programming I

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

1:31:16
Stephen H Muggleton: Inductive Logic Programming I

7,476 views

7 years ago

freeCodeCamp.org
Introduction to Programming and Computer Science - Full Course

In this course, you will learn basics of computer programming and computer science. The concepts you learn apply to any and all ...

1:59:09
Introduction to Programming and Computer Science - Full Course

10,525,849 views

5 years ago

MIT OpenCourseWare
Lecture 8A: Logic Programming, Part 1

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie ...

41:45
Lecture 8A: Logic Programming, Part 1

35,217 views

6 years ago

Federated Logic Conference FLoC 2018
Richard Evans: Inductive logic programming and deep learning I

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

1:13:45
Richard Evans: Inductive logic programming and deep learning I

5,354 views

7 years ago

OPLSS
Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018

Oregon Programming Languages Summer School Parallelism and Concurrency July 3-21, 2018 University of Oregon ...

1:30:06
Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018

4,216 views

7 years ago

GOTO Conferences
Verse: A New Functional Logic Language • Lennart Augustsson • GOTO 2023

This presentation was recorded at GOTO Copenhagen 2023. #GOTOcon #GOTOcph https://gotocph.com Lennart Augustsson ...

36:30
Verse: A New Functional Logic Language • Lennart Augustsson • GOTO 2023

163,988 views

1 year ago

freeCodeCamp.org
Logic for Programmers: Propositional Logic

Logic is the foundation of all computer programming. In this video you will learn about propositional logic. Homework: ...

25:13
Logic for Programmers: Propositional Logic

107,395 views

7 years ago

Coding Tech
4 Programming Paradigms In 40 Minutes

One of the most important lessons I've learned is that programming languages are tools and not all tools are good for all jobs.

41:28
4 Programming Paradigms In 40 Minutes

500,036 views

7 years ago

freeCodeCamp.org
Maths for Programmers Tutorial - Full Course on Sets and Logic

Learn the maths and logic concepts that are important for programmers to understand. Shawn Grooms explains the following ...

1:00:08
Maths for Programmers Tutorial - Full Course on Sets and Logic

1,433,835 views

7 years ago

Douglas Rumbaugh
A Foundation for Programming: Propositional Logic Part 1

In which I discuss the basics of propositional logic, a form of symbolic logic that is very useful for computer programmers to know ...

34:11
A Foundation for Programming: Propositional Logic Part 1

673 views

10 years ago

Computerphile
AI & Logical Induction - Computerphile

Continuing to address the challenges of AI safety, Rob Miles discusses a paper from the Machine Intelligence Research Institute ...

27:48
AI & Logical Induction - Computerphile

361,986 views

7 years ago

MAKiT
From Logic Gates to a CPU

In case you'd like to support me: patreon.com/sub2MAKiT Charity: https://makit.wtf my discord: https://discord.gg/Z3DcFk5pRH ...

24:03
From Logic Gates to a CPU

18,263 views

8 months ago

Ndea
Inductive Logic Programming - Andrew Cropper

Andrew Cropper, logic luminary and creator of the popular Popper, discusses the paper "Inductive Logic Programming at 30: A ...

1:04:47
Inductive Logic Programming - Andrew Cropper

571 views

2 weeks ago

RU Computer Science
Programming Languages: The Logic Programming Paradigm - 1

First lecture on the logic programming paradigm.

29:51
Programming Languages: The Logic Programming Paradigm - 1

7,908 views

11 years ago

Strange Loop Conference
"Linear Logic Programming" by Chris Martens (2013)

Logic programming's core principle, treating proof search as computation, allows for concise and flexible encodings of systems as ...

39:28
"Linear Logic Programming" by Chris Martens (2013)

3,944 views

4 years ago

Simons Institute for the Theory of Computing
Logic, Optimization, and Constraint Programming: A Fruitful Collaboration

John Hooker (Carnegie Mellon University) https://simons.berkeley.edu/talks/john-hooker-carnegie-mellon-university-2023-04-19 ...

1:01:45
Logic, Optimization, and Constraint Programming: A Fruitful Collaboration

2,947 views

Streamed 2 years ago

Charles Edeki -- Math Computer Science Programming
Programming Logic and Design: File Handling and Applications

File handling provides a mechanism to store the output of a program in a file and to perform various operations on it. A stream is ...

1:07:57
Programming Logic and Design: File Handling and Applications

1,049 views

4 years ago

London Clojurians
Logic programming with clara-rules - William Parker

William demonstrates how highly complex business logic can be more easily encoded and maintained in code using a rules ...

45:51
Logic programming with clara-rules - William Parker

2,581 views

5 years ago

Machine Learning at Unife
Fabrizio Riguzzi - Probabilistic Inductive Logic Programming, part 1

Lecture by Fabrizio Riguzzi at the ACAI 2018 Summer School on Statistical Relational Artificial Intelligence August 27th - 31st ...

1:24:09
Fabrizio Riguzzi - Probabilistic Inductive Logic Programming, part 1

884 views

7 years ago

freeCodeCamp.org
Algorithms and Data Structures Tutorial - Full Course for Beginners

In this course you will learn about algorithms and data structures, two of the fundamental topics in computer science. There are ...

5:22:09
Algorithms and Data Structures Tutorial - Full Course for Beginners

5,669,238 views

4 years ago

Stanford Online
Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)

For more information about Stanford's Artificial Intelligence professional and graduate programs, visit: https://stanford.io/3ChWesU ...

1:18:34
Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)

102,028 views

5 years ago

Totally Normal
REPAIR: Q-Logic 3 basic programming overview

Today we dive into the world of programming quantum's Q-Logic 3 control system! unfortunately you NEED a programmer thats ...

31:26
REPAIR: Q-Logic 3 basic programming overview

4,760 views

1 year ago

The Alan Turing Institute
Probabilistic logic programming and its applications - Luc De Raedt, Leuven

Probabilistic programs combine the power of programming languages with that of probabilistic graphical models. There has been ...

42:25
Probabilistic logic programming and its applications - Luc De Raedt, Leuven

3,546 views

7 years ago

Nerd's lesson
Introduction to Logic full course

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical ...

6:18:31
Introduction to Logic full course

94,714 views

5 years ago

Programming with Mosh
Python for Beginners - Learn Coding with Python in 1 Hour

Learn Python basics in just 1 hour! Perfect for beginners interested in AI and coding. ⚡ Plus, get 6 months of PyCharm FREE with ...

1:00:06
Python for Beginners - Learn Coding with Python in 1 Hour

23,511,461 views

5 years ago