Ressource en auto-formation : Règles de déduction sur les connecteurs

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...
cours / présentation, autoévaluation, exercice, liste de références - Création : 10-01-2020
Par : Mathieu JAUME, Isabelle Mounier
Partagez !

Présentation de: Règles de déduction sur les connecteurs

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, image, son
Public(s) cible(s) : apprenant
Document : Document HTML
Droits d'auteur : libre de droits, gratuit
Attribution - Partage dans les mêmes conditions (CC BY-SA)

Description de la ressource en auto-formation

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

  • Granularité : cours
  • Structure : linéaire

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

  • Logique mathématique (Logique symbolique) (511.3)
  • Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)

Domaine(s)

Intervenants, édition et diffusion

Édition

  • Sorbonne Université
  • UNIT

Diffusion

Document(s) annexe(s) - Règles de déduction sur les connecteurs

Partagez !

AUTEUR(S)

  • Mathieu JAUME
    Sorbonne Université
  • Isabelle Mounier
    Sorbonne Université

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
UNIT - accédez au site internet
Sur les réseaux sociaux :

ÉDITION

Sorbonne Université

UNIT

EN SAVOIR PLUS

  • Identifiant de la fiche
    http://ori.unit-c.fr/uid/unit-ori-wf-1-7381
  • Identifiant OAI-PMH
    oai:www.unit.eu:unit-ori-wf-1-7381
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Publication
    10-01-2020

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Base raisonnée d'exercices de mathématiques : Langage et raisonnement exercice
07/2012
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Auteur(s) : Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Quéré Pierre-Vincent, Viallard Michel
Description : 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 ...
Présentation de la ressource en auto-formation Cours de logique cours / présentation, autoévaluation, exercice, liste de références
10/01/2020
Cours de logique
Auteur(s) : JAUME Mathieu, Mounier Isabelle
Description : 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 quantifi ...