86 résultats : vers libres

Recherche en cours

Par mots-clef = vers libres

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

86 résultats

page 1 sur 9

résultats 1 à 10

Espaces vectoriels de dimension finie

Description : A l'issue de ce module, l'apprenant sera capable de déterminer si une famille de vecteur d'un espace vectoriel (E,+,...)est génératrice de E, libre ou une base de E, de déterminer une base de E, de déterminer la dimension d'un espace vectoriel E de dimension finie.

Mots clés : espace vectoriel, combinaison linéaire, famille génératrice, famille libre, famille liée

Date : 2013

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

Espaces vectoriels de dimension finie

Ajouter à mon panier

Accéder au document

KEZAKO : Pourquoi la tartine tombe toujours du coté beurré ?

Description : Kezako, la série documentaire qui répond à vos questions de science, aborde cette fois-ci la question "Pourquoi la tartine tombe toujours du coté beurré ?". N'hesitez pas à réagir ou à oser vos questions qui seront peut être abordées par la suite.

Mots clés : frottement, chute libre, loi de Murphy

Date : 01-01-2013

Droits : Droits réservés à l'éditeur et aux auteurs. Unisciel/Université Lille1 Licence Creative Commons 3

KEZAKO : Pourquoi la tartine tombe toujours du coté beurré ?

Ajouter à mon panier

Accéder aux documents

Preuves de programmes en coq

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 ...

Mots clés : 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

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

Espaces vectoriels de dimension finie

Description : Module d'enseignement présentant les espaces vectoriels de dimensions finie. A l'issue de ce module l'apprenant sera capable de : - déterminer si une famille de vecteurs d'un espace vectoriel (E,+,.) est : génératrice de E, libre, une base de E. - déterminer une base de E. - déterminer la dimension ...

Mots clés : espace vectoriel de dimension finie, combinaison linéaire, famille génératrice, famille libre, famille liée

Date : 06-07-2011

Droits : Ces contenus d'enseignement, propriété du campus numérique IUT en ligne, constituent une œuvre protégée par les lois sur la propriété intellectuelle.

Espaces vectoriels de dimension finie

Ajouter à mon panier

Accéder au document

Des ciseaux en chute libre

Description : On utilise des ciseaux pour montrer l’apesanteur au cours d’une chute libre. http://phymain.unisciel.fr/des-ciseaux-en-chute-libre/

Mots clés : physique à main levée, tpe, moment d’une force, apesanteur, chute libre, force d’inertie, poids

Date : 01-09-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Des ciseaux en chute libre

Ajouter à mon panier

Accéder aux documents

Mesure du temps de réaction

Description : On évalue le temps de réaction d’une personne en mesurant le temps qu’elle met à rattraper une règle qui tombe.

Mots clés : physique à main levée, tpe, chute libre, accélération de la pesanteur, temps de réaction

Date : 01-09-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Mesure du temps de réaction

Ajouter à mon panier

Accéder aux documents

Des ciseaux en chute libre

Description : On utilise des ciseaux pour montrer l’apesanteur au cours d’une chute libre. http://phymain.unisciel.fr/?s=Balles+rebondissantes

Mots clés : physique à main levée, tpe, moment d’une force, apesanteur, chute libre, force d’inertie, poids

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Des ciseaux en chute libre

Ajouter à mon panier

Accéder aux documents

Le poids sans poids

Description : Comment peut-on retirer, sans la déchirer, une feuille de papier coincée entre deux lourdes masses ? La réponse est simple : il faut utiliser l'apesanteur… http://phymain.unisciel.fr/le-poids-sans-poids/

Mots clés : physique à main levée, tpe, frottement statique, apesanteur, chute libre, force d’inertie, poids

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Le poids sans poids

Ajouter à mon panier

Accéder aux documents

Mesure du temps de réaction

Description : On évalue le temps de réaction d’une personne en mesurant le temps qu’elle met à rattraper une règle qui tombe. http://phymain.unisciel.fr/mesure-du-temps-de-reaction/

Mots clés : physique à main levée, tpe, chute libre, accélération de la pesanteur, temps de réaction

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Mesure du temps de réaction

Ajouter à mon panier

Accéder aux documents

Plus rapide que la chute libre

Description : Une bille et un pot de yaourt font la course après avoir été placés sur un plan incliné. La bille chute verticalement en ligne droite, tandis que le pot décrit un arc de cercle. Lequel de ces deux objets va arriver le premier ? La bille va-t-elle se retrouver dans le pot de yaourt ? Regardez ...

Mots clés : physique à main levée, tpe, moment d’une force, chute libre, rotation, moment d’inertie

Date : 09-07-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Plus rapide que la chute libre

Ajouter à mon panier

Accéder aux documents

Rebondir