Version imprimable

Ressource documentaire

Règles de déduction sur les connecteurs (en Français)


URL d'accès : http://www.unit.eu/cours/logique-SorbonneU/co/sequ...

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Auteur(s) : Mathieu JAUME, Isabelle Mounier
Éditeur(s) : Sorbonne Université, UNIT
10-01-2020

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
Mots-clés libres : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
TECHNIQUE

Type : lecture, self assessment, exercise, liste de références
Format : text/html




Entrepôt d'origine : 
Identifiant : oai:www.unit.eu:unit-ori-wf-1-7381
Type de ressource : Ressource documentaire
Exporter au format XML

Ressource pédagogique

Règles de déduction sur les connecteurs (en Français)


URL d'accès : http://www.unit.eu/cours/logique-SorbonneU/co/sequ...

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7381
Schéma de la métadonnée : LOMv1.0, LOMFRv1.0, SupLOMFRv1.0

Droits : libre de droits, gratuit
Attribution - Partage dans les mêmes conditions (CC BY-SA)

Auteur(s) : JAUME MATHIEU, MOUNIER ISABELLE
Éditeur(s) : Sorbonne Université, UNIT
10-01-2020, 10-01-2020

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
Mots-clés libres : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
Structure : linéaire

Classification UNIT : Mathématiques > Fondamentaux
Mathématiques > Mathématiques inductives déductives
Classification : Mathématiques et Sciences de la nature et de la matière > Mathématiques
Philosophie et psychologie > Logique
Indice(s) Dewey:  (511.3)
Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)


PEDAGOGIQUE

Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Granularité : cours

Niveau : enseignement supérieur, licence
Public cible : apprenant
Langue de l'apprenant : Français



TECHNIQUE


Type de contenu : texte, image, son
Format : Document HTML



RELATIONS


Cette ressource fait partie de :
  • Cours de logique



Entrepôt d'origine : 
Identifiant : oai:www.unit.eu:unit-ori-wf-1-7381
Type de ressource : Ressource pédagogique
Exporter au format XML