24 résultats : propositions

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
24 résultats
page 1 sur 3
résultats 1 à 10
UOH
Description : Les universités Paul-Valéry - MONTPELLIER 3, Paris NANTERRE et NICE Sophia-Antipolis proposent une ressource permettant d'améliorer sa maîtrise de la langue française. Les spécificités de cette ressource sont : une remédiation concernant la maîtrise de l'écrit dans sa double dimension Écriture ...
Mots clés : Français, Auto-formation, Exercices, Mots, Phrase, Discours, Texte, Sens des mots, Formes proches et similaires, Relations entre propositions, Accords, Citations, Conjugaison, Reprises, Compréhension de texte
Date : 2018
Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'Identique 2.0 France
UNIT
Description : Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques
Mots clés : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UOH
Description : Fiche du "kit de survie de l'helléniste" :  complétives en grec.
Mots clés : propositions, complétives, subordonnées, infinitif, mode personnel
Date : 2010
Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale 2.0 France
UOH
Description : Ce cours scénarisé de grec ancien pour débutants permettra un apprentissage systématique des principales bases du grec ancien : alphabet, déclinaisons, conjugaisons, règles de syntaxe. Sont abordés dans ce cours: la proposition infinitive; l'indicatif présent du verbe être. Avertissement: cette ...
Mots clés : grec ancien, syntaxe grecque, vocabulaire grec, proposition infinitive, congugaison grecque
Date : 2012
Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale 2.0 France
UNIT
Description : Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.
Mots clés : logique, langage formel, algèbre Boole, calcul proposition, algorithme de décision, preuve, calcul prédicat, logique intuitionniste, lambda calcul, fuscia
Date : 01-09-2009
Droits : Ressource en accès libre.
Canal-U
Description : Journées scientifiques du CERSE  organisées par l’équipe Enfances, Jeunesses et Cultures, CERSE EA 965 (Centre d’études et de Recherche en Sciences de l’éducation) Pôle Formation Éducation Travail Emploi Pôle pluridisciplinaire de la MRSH de Caen Partager les responsabilités de l’éducation des ...
Mots clés : modèle, responsabilité, jeune, enfant, éducation, proposition
Date : 12-02-2014
Droits : Droits réservés à l'éditeur et aux auteurs.