Olivier Bailleux (updated 2024-12-11)

Logique propositionnelle  un cours introductif [upl. by Jara]
Duration: 18:25
22K views | 1 Mar 2017
La complexité dans le pire des cas dun algorithme [upl. by Ochs]
Duration: 14:12
24.9K views | 11 Nov 2017
Une machine de Turing artisanale [upl. by Kenwrick]
Duration: 8:54
10.1K views | 21 Jan 2016
Introduction à la logique du premier ordre [upl. by Jempty]
Duration: 26:41
18.8K views | 1 Jun 2017
Les problèmes NPcomplets [upl. by Floris]
Duration: 20:00
25.1K views | 11 Dec 2017
Découverte de PROLOG  partie 1 [upl. by Domingo]
Duration: 12:04
19.5K views | 6 Mar 2019
The SAT problem [upl. by Awram]
Duration: 3:42
54.5K views | 16 Mar 2018
Initiation à la programmation  un exemple en Python [upl. by Ganiats]
Duration: 2:09
1.2K views | 30 Aug 2019
Raisonnement automatique en logique du premier ordre [upl. by Karlise]
Duration: 3:13
1.5K views | 1 Sep 2017
Découverte de Prolog  partie 2 [upl. by Dj194]
Duration: 11:59
6.5K views | 29 Mar 2019
Comment bien apprendre à luniversité [upl. by Aivun]
Duration: 5:49
1.9K views | 16 Sep 2016
Prolog et les termes fonctionnels [upl. by Yebot]
Duration: 35:37
1.8K views | 24 Mar 2020
Une introduction à la calculabilité [upl. by Agnese653]
Duration: 15:54
6.6K views | 1 Sep 2018
Langage C  badge 1 [upl. by Zimmer]
Duration: 20:26
774 views | 13 Dec 2019
A CPU made of EPROMs [upl. by Enyaht]
Duration: 2:44
4.6K views | 28 Jul 2016
A two tapes Turing machine [upl. by Uwkuhceki320]
Duration: 2:14
4.3K views | 10 Feb 2018
Hexadecimal display device [upl. by Fineman813]
Duration: 3:22
2.2K views | 25 Aug 2017
Prix pédagogique UB  remerciement aux étudiants [upl. by Evannia]
Duration: 8:52
675 views | 24 May 2015
Lindécidabilité de P  NP [upl. by Anaig90]
Duration: 6:11
2.8K views | 19 Feb 2019
Une machine de Turing à commutation [upl. by Annatnom]
Duration: 6:58
1.6K views | 27 Jan 2016
The Nand 565 a computer programmed by LEDs [upl. by Lednahs]
Duration: 5:21
1.1K views | 17 Dec 2017
Programmation en langage C  introduction [upl. by Gnouv]
Duration: 3:06
1.1K views | 13 Dec 2019
Ceci nest pas un nombre  introspection mathématique [upl. by Luebke]
Duration: 10:57
1.6K views | 23 Feb 2017
Un ordinateur sans microproceseur [upl. by Monti261]
Duration: 3:30
729 views | 27 Jul 2016
Des clés pour comprendre lindécidabilité et lincomplétude [upl. by Ahsikal]
Duration: 23:19
4K views | 17 Jul 2018
Algorithmique réversible  le cas Fibonacci [upl. by Meg694]
Duration: 8:38
1K views | 19 Aug 2017
Une introduction au langage C [upl. by Rajiv231]
Duration: 35:51
4.5K views | 21 Feb 2017
Un ordinateur à composants discrets [upl. by Aidyn]
Duration: 8:07
1.5K views | 11 Jan 2023



Content Report
youtor.org / Youtor Videos converter © 2024