Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
section 1-1 sur 1
résultats 1 à 2
UNIT
Cours de logique Droits d'accès : non autorisé
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 quantificate ...
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
UNIT
Interprétation : fonctions, prédicats et connecteurs Droits d'accès : non autorisé
Description : Ce cours est le troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi q ...
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