| |
|<
<< 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
|
Interprétation : variables et quantificateurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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 quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage....
Référencé le :
02-09-2020
|
|
Cours de logique
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
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 quantificateurs
Cours 5 : Interprétation : variables et quantificateurs...
Référencé le :
02-09-2020
|
|
Comment construire le cycle limite (Introduction à l'aéroélasticité des structures)
[Ressource pédagogique]
Date de publication :
20170602 |
Auteur(s) :
DESTUYNDER Philippe, FERROUD Clothilde, ORELLANA José, WILK Olivier |
Editeur(s) :
CNAM, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Dans ce cours, nous examinons un algorithme qui va nous permettre de construire un cycle limite lorsqu'il existe. En fait cet algorithme ne nécessite pas la connaissance de l'existence ou non d'un cycle limite, il en décidera au cours de son application s'il y a aussi ou s'il y a pas cycle limite. Bien entendu, c'est une situation qui s'applique lorsque le modèle linéarisé au voisinage d'un point ...
Référencé le :
12-04-2018
|
|
Coût global de l'électricité et de la chaleur (Transitions énergétiques : mécanismes et leviers)
[Ressource pédagogique]
Date de publication :
20180409 |
Auteur(s) :
ADNOT Jérôme |
Editeur(s) :
IMT Atlantique, Institut Mines-Télécom, UNISCIEL, UNIT, UVED |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
En continuité avec le module 2_2, ce module 2_3 développe le calcul du coût global dans le cas des réseaux de production d'électricité (ou de chaleur), c'est-à-dire des systèmes destinés à satisfaire une demande, fluctuante dans le temps, d'une énergie non stockable. Il aborde la modélisation de la demande et le choix d'un parc de centrales de production optimal et du coût global associé. Les noti...
Référencé le :
09-04-2018
|
|
EN-8. Long-term climate outlook: breaking points and irreversibility
[Ressource pédagogique]
Date de publication :
20150527 |
Auteur(s) :
PAILLARD Didier |
Editeur(s) :
UVED, Université Paris I Panthéon-Sorbonne |
Origine de la fiche :
Canal-u.fr
Didier Paillard leans on the past climate variations to evidence the different time scales and the great mechanisms linked to the climate variations. He also shows the existence, in the climate, of rupture phenomena....
Référencé le :
08-04-2016
|
|
8. Climat à "long terme" : ruptures et irréversibilités
[Ressource pédagogique]
Date de publication :
20150527 |
Auteur(s) :
PAILLARD Didier |
Editeur(s) :
UVED, Université Paris I Panthéon-Sorbonne |
Origine de la fiche :
Canal-u.fr
Dans cette vidéo, Didier Paillard s'appuie sur les variations passées du climat pour mettre en évidence les différentes échelles de temps et les grands mécanismes associés aux variations du climat. Il montre également l'existence dans le climat de phénomènes de rupture....
Référencé le :
13-01-2016
|
|
Politiques de transport : l'aide à la décision par la recherche, Temps du bilan Predit 4
[Ressource pédagogique]
Date de publication :
20130328 |
Auteur(s) :
Predit |
Origine de la fiche :
Canal-u.fr
Politiques de transport : l'aide à la décision par la recherche, Temps du bilan Predit 4
Référencé le :
30-10-2014
|
|
Base raisonnée d'exercices de mathématiques : Séries numériques
[Ressource pédagogique]
Date de publication :
201207 |
Auteur(s) :
Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Quéré Pierre-Vincent, Viallard Michel |
Editeur(s) :
UNIVERSITE RENNES 1 U RENNES 1 |
Origine de la fiche :
Unisciel
BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d’exercices. Tout le contenu d’un cours sur le sujet est présent, mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances.
Chaque exercice est en effet au cœur d’un environnement de travail comportant des éléments de cours, des méthodes et techniq...
Référencé le :
07-2012
|
|
Dérivation et intégration terme à terme.
[Ressource pédagogique]
Auteur(s) :
CAZES Claire, PETIT Frédérique, JARRAUD Pierre, DECOMPS Annette |
Origine de la fiche :
UEL
Deux exemples de développement en série entière par dérivation et intégration terme à terme.
Référencé le :
15-10-2009
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
|
