Recherche en cours
Par mots-clef
=
raisonnement par l'absurde
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
section 1-1
sur 1
résultats
1 à 1
UNIT
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
Date
:
10-01-2020
Format
:
Document HTML
Auteur
:
JAUME Mathieu, Mounier Isabelle
Thème
:
Mathématiques, Logique
Type de la ressource pédagogique
:
cours / présentation, autoévaluation, exercice, liste de références
Niveau
:
enseignement supérieur, licence
Public
:
apprenant
Afficher section
2
sur 1