POD
Menu principal
  •  Directs
  •  Listes de lecture promues
  • Configuration
  • Connexion

 Liste des chaînes

 Types de vidéos

  •  Audio (14)
  •  Autres (4916)
  •  Colloque (245)
  •  Conférences (2544)
  •  Documentaires (58)
  •  Films institutionnels (208)
  •  Films promotionnels (176)
  •  Interview (173)
  •  Production étudiante (299)
  •  Relation presse (5)
  •  Supports pédagogiques (5855)
  •  Tutoriels (519)

 Filtres

Les vidéos à gauche sont automatiquement triées en fonction des filtres sélectionnés. Vérifiez les options pour ajuster les résultats.


 Types
 Disciplines
 Mots clés
 Cursus universitaire
  1. Accueil
  2. Vidéos

14 vidéos trouvées

 Audio  Vidéo  Statistiques de vues
Chargement en cours…
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
Plus
Chargement en cours…

 

Université intégrée

  • Mentions légales
  • Accessibilité : Partiellement conforme
  • ESUP-Portail
  • Projet Esup-Pod

POD plateforme vidéos de Université intégrée - Version 3.8.0 - 14940 vidéos disponibles [ 345 days, 5:21:59 ]

Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances). En savoir plus