Rechercher une ressource pédagogique : logiciels libres

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

10 résultats
section 1 sur 1
résultats 1 à 10
UNIT
UNIT
18.12.2012
Description : Utiliser les internautes pour résoudre des problèmes, c'est le principe du crowdsourcing. David Gross-Amblard nous parle de cette pratique dans cet épisode du podcast audio.
  • crowdsourcing
  • travail collaboratif
  • logiciel libre
  • encyclopédie collaborative
  • science participative
  • internautes
  • limites crowdsourcing
  • fuscia
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2020
Description : Définition du terme d'interopérabilité. Présentation des risques inhérents aux environnements et formats de données fermés
  • données
  • formats ouverts
  • logiciels libres
  • code source
UNIT
UNIT
28.09.2005
Description : En quoi la dynamique du logiciel libre et ouvert facilite-t-elle la création d’un dialogue permanent entre recherche, industrie et société ?
  • logiciel libre
  • interopérabilité
  • transfert de technologie
  • propriété intellectuelle
  • open source
  • fuscia
UNIT
UNIT
18.09.2013
Description : Cours vidéo de l'ensemble multimédia "Télédétection radar" Partie spécifique consacrée aux logiciels libres utilisés en télédétection radar.
  • teledetection
  • image RADAR
  • information géographique numérique
  • géométrie d'image
  • acquisition de données
  • traitement d'images
  • logiciel libre
  • Nest
  • PolSARpro
  • MapReady
  • procédure de traitement
UNIT
UNIT
03.08.2006
Description : La dématérialisation des éléments de la technologie est une occasion exceptionnelle pour les pays en développement, car l’économie de l’immatériel leur est bien plus accessible que l’économie du matériel.
  • logiciel libre
  • modèle économique
  • pays en voie de développement
  • maîtrise technologique
  • éducation
  • fuscia
UNIT
UNIT
21.09.2012
Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...
  • Coq
  • assistant de preuve
  • programmation fonctionnelle sûre
  • preuve de programme
  • logique mathématique
  • méthode formelle
  • calcul des constructions
  • correction de logiciel
  • algorithmique certifiée
  • théorie des types
  • logiciel libre
  • récursion
  • fuscia
UNIT
UNIT
02.05.2007
Description : Ce module, très court, est un module transversal sur certaines questions générales que l'on doit se poser autour de l'utilisation des Nouvelles Technologies de l'Information et de la Communication actuellement. Dans ce module, vous trouverez donc des réponses aux questions suivantes : Que sont les ...
  • C2i
  • TIC
  • navigation Internet
  • logiciel
  • logiciel libre
  • interopérabilité
  • format de fichier ouvert
  • format propriétaire
  • usages informatiques
  • Technologies l'Information et de la Communication
  • certification informatique et internet
Canal-U
Canal-U
23.11.2012
Description : Cours Culture numérique
  • open source
  • culture numérique
  • logiciels libres
  • mouvement des logiciels libres
  • GNU
  • Richard Stallman
  • General Public License
Canal-U
Canal-U
16.10.2009
Description : «Free, as in free-speech, not free-beer» Les logiciels sont des biens technologiques très particuliers, car ils permettent l'accès aux différentes données. La mainmise sur le secteur du logiciel pourrait avoir des conséquences catastrophiques sur les mémoires des entreprises et des sociétés. Les ...
  • culture numérique
  • cyberculture
  • logiciels libres
UVED
UVED
13.07.2005
Description :

Atelier animé par Alain Pruvost (SIGALE) et Thierry Thieffry. Dans les administrations, les collectivités territoriales et les organismes divers d’aménagement, le développement des SIG a été fulgurant depuis une dizaine d’années. Selon l’enquête présentée par IETI-Consultants (http://www.ieti.fr), ...

  • cartographie
  • commerce
  • culture
  • géographie
  • géomatique
  • logiciel libre
  • numérique
  • représentation spatiale
  • urbanisme
  • Urbanisme. Aménagement du territoire