Tri :
Date
Editeur
Auteur
Titre
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
Règles de déduction sur les connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est le deuxiè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 un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
|
Accéder à la ressource
|
|
Règles de déduction sur les quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est le quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs. Mot(s) clés libre(s) : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle
|
Accéder à la ressource
|
|