| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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 d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
À propos du crowdsourcing
[Ressource pédagogique]
Date de publication :
20121218 |
Auteur(s) :
Gross-Amblard David |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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.
Référencé le :
26-04-2017
|
|
CULTURE NUMÉRIQUE : 06 Les logiciels libres
[Ressource pédagogique]
Date de publication :
20091016 |
Auteur(s) :
LE CROSNIER Hervé |
Origine de la fiche :
Canal-u.fr
«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 logiciels libres permettent de
construire l'espace numérique comme un bien commun
Les libertés offe...
Référencé le :
05-02-2015
|
|
Culture numérique 2012-2013 > 07 : (2ème partie) Logiciels libres
[Ressource pédagogique]
Date de publication :
20121123 |
Auteur(s) :
LE CROSNIER Hervé |
Origine de la fiche :
Canal-u.fr
Cours Culture numérique
Référencé le :
22-04-2014
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
