8 résultats : logique des ensembles

Recherche en cours

Par mots-clef = logique des ensembles

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

8 résultats

page 1 sur 1

résultats 1 à 8

Exo 7(vidéos)

Description : Ces vidéos Exo 7 viennent en complément de la correction écrite des fiches. Les vidéos durent 5 à 15 minutes (en moyenne) et sont composées de deux parties. Tout d'abord la correction proprement dite et ensuite une partie « Bonus » qui approfondie, complète, reprend un résultat du cours ou donne ...

Mots clés : logique et ensemble, espaces vectoriels, matrices

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

Exo 7(vidéos)

Ajouter à mon panier

Accéder au document

Exo 7(cours et exercices)

Description : Le site internet Exo 7 destiné aux étudiants regroupe des fiches corrigées de niveau licence. Ces fiches sont regroupées par niveau et par module.

Mots clés : logique et ensemble, espaces vectoriels, matrices

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

Exo 7(cours et exercices)

Ajouter à mon panier

Accéder au document

Relations (Module : Logique et langage des ensembles)

Description : Dans ce chapitre seront vu les relations. Une relation est définie par son graphe. Ce chapitre propose une étude des relations, via la relation d'équivalence et la relation d'ordre

Mots clés : ensembles, logique des ensembles, relation d'ordre, relation d'équivalence, application croissante

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Relations (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Rédaction (Module : Logique et langage des ensembles)

Description : L'usage des signes logiques est source de beaucoup d'erreurs. Dans ce chapitre, on précise les règles pour utiliser le formalisme de façon sûre.

Mots clés : ensembles, signes, logique des ensembles, langage mathématique

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Rédaction (Module : Logique et langage des ensembles)

Supprimer de mon panier

Accéder au document

Démonstrations (Module : Logique et langage des ensembles)

Description : Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide ...

Mots clés : ensembles, logique des ensembles, démonstration, implication, disjonction, conjonction

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Démonstrations (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Applications (Module : Logique et langage des ensembles)

Description : Le but est de généraliser la notion de fonction numérique y=f(x)étudiée au lycée. Nous voulons généraliser cette notion de fonction à des relations entre ensembles. Nous ne parlerons plus alors de fonction, mais plutôt d'application (ou d'application ponctuelle). ...

Mots clés : ensembles, logique des ensembles, application, fonction numérique

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Applications (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Implication (Module : Logique et langage des ensembles)

Description : Ce chapitre étudie le signe logique "implique" qui permet l'écriture formelle des théorèmes. Ce signe s'exprime à l'aide des connecteurs logiques déjà étudiés, conjonction, disjonction et négation. Nous étudierons les différentes façons d'écrire les théorèmes ainsi ...

Mots clés : ensembles, implications, logique des ensembles, langages

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Implication (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Quantificateurs (Module : Logique et langage des ensembles)

Description : L'objet de ce cours est de présenter les signes qui dans le langage mathématique expriment la quantification, c'est à dire la quantité d'objets (aucun, certains, tous) pour lesquels une propriété est vraie, signes que l'on appelle des quantificateurs.

Mots clés : ensembles, quantificateurs, logique des ensembles

Date : 2000

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

Quantificateurs (Module : Logique et langage des ensembles)

Ajouter à mon panier

Accéder au document

Rebondir