POD
Menu
  • Lives
  • Configuration
  • Log in

 10 Channels

  • International127 videos
  • La formation360 videos
  • Orientation and Professional Integration76 videos
  • Pédagogies innovantes616 videos
  • Presse83 videos
  • Research2487 videos
  • Ressources humaines35 videos
  • Student life7 videos
  • Tutorials102 videos
  • University399 videos

 Types of videos

  •  Colloque (277)
  •  Conferences (1931)
  •  Documentaries (60)
  •  Institutional movie (203)
  •  Interview (158)
  •  Learning resources (5715)
  •  Other (4443)
  •  Promotional movie (153)
  •  relation presse (7)
  •  Students work (438)
  •  Tutorials (467)
  1. Home
  2. Videos

14 videos found  Audio  Video Statistics views

00:23:44
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
Propriété du domaine borné pour la logique…
01:46:50
Histoire de l'informatique : logique et informatique
Histoire de l'informatique : logique et in…
00:13:56
Théorème de Herbrand - formules universelles
Théorème de Herbrand - formules universell…
00:08:15
Théorème de Herbrand - introduction
Théorème de Herbrand - introduction
00:16:30
Satisfaisabilité Modulo des Théories - DPLL(T)
Satisfaisabilité Modulo des Théories - DPL…
00:10:41
Satisfaisabilité Modulo des Théories - Introduction
Satisfaisabilité Modulo des Théories - Int…
00:11:07
Egalité - Clôture de congruence (exemples)
Egalité - Clôture de congruence (exemples)
00:07:43
Egalité - Clôture de congruence
Egalité - Clôture de congruence
00:10:48
Egalité - Correction, paramodulation
Egalité - Correction, paramodulation
00:11:55
Egalité - Introduction, axiomatisation
Egalité - Introduction, axiomatisation
00:06:13
Résolution - un exemple
Résolution - un exemple
00:12:51
Résolution - correction, complétude
Résolution - correction, complétude
More
Loading…

 Filters

Types
Disciplines
Tags
University course

 

Université intégrée

  • Legal notices
  • Esup Portal
  • Pod Project

POD video platform of Université intégrée - Release 3.1.1 - 13849 videos availables [ 309 days, 4:19:57 ]

We use third party cookies to personalize content, manage session and analyze site traffic.