Tri :
Date
Editeur
Auteur
Titre
|
|
Logique, ensembles, raisonnements
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2008
/ Unisciel
Bodin Arnaud, Boulakia Muriel, Seguin Nicolas
Voir le résumé
Voir le résumé
Cette série d'exercice est divisée en quatre parties: logique, ensembles, absurdes et contraposée, récurrence. Cette série comprend 19 exercices, des indications et les corrigés. Mot(s) clés libre(s) : logique, ensembles, raisonnement, absurdes, contraposée, récurrence, Exo7
|
Accéder à la ressource
|
|
Rappels [Topologie]
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2008
/ Unisciel
Bodin Arnaud, Ridde Franz
Voir le résumé
Voir le résumé
Série de 8 exercices, indications d'aide et corrigés. Cette série d'exercice est divisée en deux parties: Logique, ensembles; Propriétés de R. Mot(s) clés libre(s) : Topologie, Logique, Ensemble, Propriétés de R, Exo7
|
Accéder à la ressource
|
|
Relation d'équivalence, relation d'ordre
/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF
/ 2008
/ Unisciel
Bodin Arnaud, Boulakia Muriel, Seguin Nicolas
Voir le résumé
Voir le résumé
Cette série d'exercice est divisée en deux parties: relation d'équivalence, relation d'ordre. Cette série comprend quatre exercices, des indications et les corrigés. Mot(s) clés libre(s) : Relation d'équivalence, Relation d'ordre, Exo7
|
Accéder à la ressource
|
|
Base raisonnée d'exercices de mathématiques : Fonctions de R dans R
/ UNIVERSITE RENNES 1, Unisciel
/ 22-05-2008
/ Unisciel
Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Morvan Philippe, Paugam Annette, Quarez Ronan, Viallard Michel, Quere Pierre-Vincent
Voir le résumé
Voir le résumé
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 techniques utilisables, des indications, des éléments de solution, des idées à retenir … Le classement des exercices par thème et selon leur difficulté permet de choisir un guide de travail adapté à chaque formation.
Les thèmes abordés dans le chapitre fonctions réelles sont: Généralités sur les applications, Propriétés de R, Calcul de limites, Notion de continuité, Propriétés globales des fonctions continues, Calcul de dérivées, Notion de dérivation, Fonctions classiques, Fonctions réciproques, Majoration, minoration, Théorèmes de Rolle et des accroissements finis, Fonctions convexes - Concavité, Etude et représentation graphique de fonctions y = f (x), Branches infinies, Résolution approchée d’équations numériques, Fonctions et autres disciplines, Périodicité, Approximation de fonctions sur un intervalle, Activités à partir d’une courbe. Mot(s) clés libre(s) : fonction réelle, dérivabilité, dérivée, représentation graphique, approximation de fonctions, fonction usuelle, fonction classique, théorème de Rolle, théorème des accroissements finis
|
Accéder à la ressource
|
|
Révèle tes défauts (série Unithé ou café)
/ Elena Carvajal, INRIA (Institut national de recherche en informatique et automatique)
/ 07-02-2014
/ Canal-u.fr
Haar Stefan
Voir le résumé
Voir le résumé
Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre fournisseur d’accès à cet instant. Comment démêler d’où vient la panne, alors que les systèmes sont interconnectés et qu’une défaillance peut se manifester ailleurs qu’à la source du problème ? Tel le médecin, le gestionnaire de systèmes doit faire la part des symptômes, pour soigner la maladie et non sa manifestation, et déduire les causes à partir d’informations incomplètes et chaotiques. Pour aller plus loin, il est parfois possible de faire un diagnostic actif : faire réagir un système pour en déduire son état comme on vérifierait un réflexe en tapant un petit marteau sur un genou. Mot(s) clés libre(s) : réseaux de télécommunication, méthodes formelles, diagnostic panne
|
Accéder à la ressource
|
|
Ensembles
/ SILLAGES
/ 23-09-2011
/ Unisciel
Laidebeure Catherine
Voir le résumé
Voir le résumé
Opérations sur les ensembles et rappels des propriétés des ensembles usuels Mot(s) clés libre(s) : parties d'un ensemble, récurrence, réels, complexes, trigonométrie
|
Accéder à la ressource
|
|
Cours de logique
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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 Mot(s) clés libre(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
|
Accéder à la ressource
|
|
Interprétation : fonctions, prédicats et connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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 qu'aux connecteurs logiques. Mot(s) clés libre(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
|
Accéder à la ressource
|
|
Interprétation : variables et quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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. Mot(s) clés libre(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
|
Accéder à la ressource
|
|
Langages logiques
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente les aspects syntaxiques des langages logiques Mot(s) clés libre(s) : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
|
Accéder à la ressource
|
|