193 résultats : dune

Recherche en cours

Par mots-clef = dune

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

193 résultats

page 12 sur 20

résultats 111 à 120

Photogrammétrie rapprochée

Description : Le cours propose en guise d'introduction une présentation des fondamentaux de la photogrammétrie avec quelques rappels sur les bases. La leçon suivante vous permettra de comprendre le concept de mesure, de connaître les différentes méthodes d'équipement en éléments de géoréférencement pour les c ...

Mots clés : photogrammétrie rapprochée, télédétection, système d'acquisition, géométrie d'une image, prise de vues aériennes, stéréorestitution 3D, types de données 3D, orthoimage, automatisation des mesures, nuages de points 3D, corrélation dense d'images

Date : 01-02-2015

Photogrammétrie rapprochée

Ajouter à mon panier

Accéder au document

Analogies électro-mécaniques (Électroacoustique)

Description : Deuxième grain élémentaire dans le module 2 de l'ensemble de ressources "Électroacoustique" L'objectif de ce grain est d'identifier les principales notions mises en jeu dans les systèmes mécaniques oscillants, d'en réaliser des schémas électromécaniques, puis de les convertir en un schéma électrique ...

Mots clés : electroacoustique, inertie d'un objet, déformation, Loi d'Ohm, méthode des mobilités, analogie électro-mécanique

Date : 20-10-2017

Droits : Ces contenus d'enseignement sont la propriété, à parts égales, d’UNIT et de l'Université du Maine. Leur utilisation est autorisée dans les limites fixées par la licence CeCILL V1 : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Analogies électro-mécaniques (Électroacoustique)

Ajouter à mon panier

Accéder au document

Cours de logique

Description : Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantifi ...

Mots clés : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : fonctions, prédicats et connecteurs

Description : Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi ...

Mots clés : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : fonctions, prédicats et connecteurs

Ajouter à mon panier

Accéder au document

Interprétation : variables et quantificateurs

Description : Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et ...

Mots clés : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences

Date : 10-01-2020

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Interprétation : variables et quantificateurs

Ajouter à mon panier

Accéder au document

Suites de nombres réels

Description : Cette ressource vous propose quatre parcours sur les suites depuis les notions de bases vues en terminale jusqu'à celles requise pour une entrée en L2 mentions Mathématiques.

Mots clés : nombres réels, raisonnement par récurrence, suites monotones, suites convergentes, suites arithmétiques, suites géométriques, suites récurrentes, suites extraites, suites de Cauchy, suites de Bolzano, convergence et limite d'une suite

Date : 30-07-2010

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

Suites de nombres réels

Ajouter à mon panier

Accéder au document

Ensembles

Description : Opérations sur les ensembles et rappels des propriétés des ensembles usuels

Mots clés : parties d'un ensemble, récurrence, réels, complexes, trigonométrie

Date : 23-09-2011

Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/

Séries numériques

Description : Séries usuelles, convergence de séries, comparaison de séries

Mots clés : série géométrique, série exponentielle, somme d'une série, convergence d'une série, convergence absolue

Date : 23-09-2011

Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/

Suites numériques

Description : Suites usuelles, sens de variation, bornes, convergence de suites, comparaison de suites

Mots clés : suite arithmético-géométrique, récurrence linéaire d'ordre 2, convergence d'une suite, négligeabilité, équivalence

Date : 23-09-2011

Droits : Licence creative commons -Paternité- Pas d'utilisation commerciale 2.0 France: http://creativecommons.org/licenses/by-nc/2.0/fr/

Introduction à l'algorithmique, structures de contrôle et de données

Description : Dans cet exposé, François Laroussinie introduit la notion d'algorithme à travers ces éléments clés: structures de contrôle et de données et complexité. Il considère alors les algorithmes de tri et les algorithmes sur les graphes pour travailler ces notions fondamentales et permettent d'en prendre ...

Mots clés : algorithmique, complexité, algorithme de Dijkstra, algorithme de Prim, algorithme de tri, arbre couvrant minimal, parcours d'un graphe, plus court chemin, structure de données

Date : 09-06-2010

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

Introduction à l'algorithmique, structures de contrôle et de données

Ajouter à mon panier

Accéder aux documents

Rebondir