Canal-U

Sommaire

cours / présentation

Exercice 13 (Logique, ensembles, raisonnements) [00150]

Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Raisonnement par l'absurde. Bonus (à 2'44'') : paradoxe de Russell (avec deux "L")....

Date de création :

14.12.2010

Auteur(s) :

Arnaud Bodin

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation
Niveau : licence
Durée d'exécution : 5 minutes 4 secondes
Contenu : vidéo
Document : video/mp4
Poids : 13.95 Mo
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs.

Description de la ressource

Résumé

Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Raisonnement par l'absurde. Bonus (à 2'44'') : paradoxe de Russell (avec deux "L").

"Domaine(s)" et indice(s) Dewey

  • Principes généraux (511)

Domaine(s)

  • Principes généraux
  • Généralités, philosophie, théorie des mathématiques

Intervenants, édition et diffusion

Intervenants

Fournisseur(s) de contenus : UNISCIEL, Guy Vantomme

Diffusion

Cette ressource vous est proposée par :Canal-U - accédez au site internet

Document(s) annexe(s)

Fiche technique

Identifiant de la fiche : 6909
Identifiant OAI-PMH : oai:canal-u.fr:6909
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : Canal-U
absurde

Voir aussi

Canal-U
Canal-U
14.12.2010
Exercice 14 (Logique, ensembles, raisonnements) [00151]
Description : Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.fr Absurde, contraposée, infinité de nombres premiers. Bonus (à 4'20'') : nombres premiers jumeaux.
  • nombres premiers
  • contraposée
  • absurde
UNIT
UNIT
10.01.2020
Règles de déduction sur les connecteurs
Description : 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
  • langage logique
  • représentation des preuves
  • axiome
  • règle d'affaiblissement
  • connecteur
  • logique classique
  • raisonnement par l'absurde