5 résultats : connecteur

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
5 résultats
page 1 sur 1
résultats 1 à 5
UNISCIEL (uel)
Logique et langage des ensembles (Module complet)
Description : Les notions abordées dans ce module sont des notions de base qui interviennent dans tous les domaines des mathématiques. Souvent considérées comme acquises par les étudiants après un cours d'introduction rapide, elles sont susceptibles ...
Mots clés : connecteurs, ensembles, quantificateurs, implications, logique, relations
Date : 2000
Format : Document HTML
Auteur : Cousquer Eliane, Sacré Carlos
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, questionnaire, exercice, autoévaluation
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html
UNISCIEL (uel)
Connecteurs (Module : Logique et langage des ensembles)
Description : Ce chapitre s'interesse aux connecteurs logiques. Les lois de Morgan et de distributivité seront vu. Une série d'exercice est disponible en fin de chapitre.
Mots clés : ensembles, lois de Morgan, lois de distributivité, connecteurs
Date : 2000
Format : Document HTML
Auteur : Cousquer Eliane, Sacré Carlos
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, exercice, questionnaire
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html
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
Mots clés : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
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
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Cours de logique
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 ...
Mots clés : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne
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
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UOH
Chansons (Lecture de textes en grec classique 3/8)
Description : Les cinq textes de cette leçon sont de courts poèmes aux vers courts reposant sur des rythmes réguliers adaptés pour des chansons. Les Anciens les attribuaient au poète Anacréon, qui vivait au VIe siècle (d’où le titre du recueil Anacreaonta), mais il est probable qu’ils lui sont postérieurs. Les ...
Mots clés : symposium, déclinaison, connecteurs, chansons grecques, poèmes grecs
Date : 2015
Format : HTML_5
Auteur : Michèle Biraud
Thème : Langues helléniques Grec classique, Littératures helléniques Littérature grecque classique
Type de la ressource pédagogique : exercice, autoévaluation, cours / présentation
Niveau : bac+1, bac+2, enseignement supérieur, bac+3, licence
Droits : Licence Creative Commons : Paternité-Pas d'Utilisation Commerciale-Pas de Modification 2.0 France