Mat 1748 Examen 1. Professeur: D. Daigle Date: 8 février 2016 Durée: 75 minutes.
|
|
- Valentin Rivard
- il y a 6 ans
- Total affichages :
Transcription
1 Nom de famille (MAJUSCULES) Prénom (MAJUSCULES) Signature Numéro d étudiant Mat 1748 Examen 1 Professeur: D. Daigle Date: 8 février 2016 Durée: 75 minutes. Pour les questions 1 à 6, donnez seulement la réponse, sans justifier ou expliquer. Pour les questions 7 et 8, vous devez justifier brièvement votre réponse. Pour les questions 9 à 11, vous devez donner des solutions complètes et justifier vos affirmations. Non permis : calculatrices et autres appareils électroniques, manuels et notes de cours. Ne détachez pas les pages de l examen. Si vous manquez d espace, vous pouvez utiliser le verso des pages ou la dernière page de l examen pour le travail au brouillon ou pour répondre aux questions. Espace réservé au correcteur questions total points max
2 (1) (4 pts) Supposons que ϕ 1, ϕ 2 et ψ sont des formules de logique propositionnelle, et considérons l argument A suivant : ϕ 1 A : ϕ 2 ψ Dites si chacune des affirmations suivantes est vraie ou fausse (répondez par V ou F) : (a) Si (ϕ 1 ϕ 2 ) ψ est une tautologie alors l argument A est valide. (b) Si A est valide alors (ϕ 1 ϕ 2 ) ψ est une tautologie. (c) Si ϕ 1 ϕ 2 ψ est une contradiction alors A est valide. (d) Si A est valide alors ϕ 1 ϕ 2 ψ est une contradiction. (e) Si l ensemble {ϕ 1, ϕ 2, ψ} est satisfaisable alors A est valide. (f) Si A est valide alors l ensemble {ϕ 1, ϕ 2, ψ} est satisfaisable. (g) Si l ensemble {ϕ 1, ϕ 2 } est non-satisfaisable alors A est valide. (h) Si A est valide alors l ensemble {ϕ 1, ϕ 2 } est non-satisfaisable. 2 (2) (4 pts) Considérez l argument A = ϕ1 ϕ 2 et l ensemble de formules E = {ϕ 1, ϕ 2, ψ}. ψ Considérez les affirmations suivantes, qui concernent l arbre de vérité de l ensemble E. Pour chacune de ces affirmations, déterminez si elle est vraie ou fausse (répondez par V ou F) : (a) Si l arbre a une branche ouverte, alors E est satisfaisable et l argument A est valide. (b) Si E est non satisfaisable, alors l arbre n a aucune branche fermée. (c) Si l argument A est valide, alors l arbre a une branche ouverte. (d) Si A n a aucun contrexemple, alors l arbre n a aucune branche fermée.
3 3 (3) (2 pts) Voici la table de vérité d une formule ϕ de logique propositionnelle : X Y Z ϕ V V V F V V F V V F V F V F F V F V V F F V F V F F V F F F F F Donnez une formule en forme normale disjonctive qui est équivalente à ϕ. Réponse : Aucune justification n est requise. (4) (2 pts) Complétez la définition suivante : Soient ϕ 1, ϕ 2, ϕ 3 des formules de logique propositionnelle. On dit que l ensemble E = {ϕ 1, ϕ 2, ϕ 3 } est satisfaisable si Aucune justification n est requise.
4 4 (5) (3 pts) Donnez un exemple d une formule de logique propositionnelle qui est : une tautologie : une contradiction : ni une tautologie, ni une contradiction : Aucune justification n est requise. (6) (2 pts) Considérez la phrase suivante, dans laquelle nous avons ajouté des parenthèses pour clarifier la structure : (La condition le système fonctionne normalement et le programme n est pas mis à jour est nécessaire et suffisante pour que les utilisateurs aient accès aux fichiers) seulement si une recherche anti-virus est effectuée sur les messages. Donnez une formule de logique propositionnelle qui est une traduction de la phrase ci-dessus. Utilisez les atomes suivants : N : le système fonctionne normalement M : une recherche anti-virus est effectuée sur les messages U : le programme est mis à jour F : les utilisateurs ont accès aux fichiers Réponse : Aucune justification n est requise.
5 5 (7) (4 pts) Sur l île des Chevaliers et des Coquins, vous rencontrez deux habitants A et B. A dit : nous sommes deux coquins. Que pouvez-vous conclure sur les types (coquin ou chevalier) de A et B? Réponse : Justifiez brièvement votre réponse dans l espace ci-dessous.
6 6 (8) (4 pts) L argument X Y (Y Z) X Z est-il valide? Encerclez la bonne réponse dans la boîte. Si vous répondez que l argument est invalide, donnez aussi un contrexemple. L argument est : valide invalide Contrexemple (si applicable) : Justifiez brièvement votre réponse dans l espace ci-dessous.
7 (9) (4 pts) Démontrez l équivalence (X Y ) ( (X Z) (Y Z) ) (X Y ) Z par la méthode des manipulations algébriques. Notez bien: Vous pouvez seulement utiliser les équivalences qui sont énoncées dans la table donnée à la page 10 de l examen. Dans votre preuve, justifiez chaque équivalence en écrivant le numéro correspondant (les numéros qui sont donnés dans la table). Ne sautez AUCUNE étape. N omettez pas les parenthèses internes: par exemple, vous n avez pas le droit d écrire que A (B C) A B C. 7
8 (10) (6 pts) Utilisez la méthode de l arbre de vérité pour déterminer si l ensemble E = { X (X W ), (X Y ) (X Z), (X Y ) (Z X) } est satisfaisable ou non. Si vous dites que E est satisfaisable, donnez toutes les valuations qui le satisfont. 8
9 (11) (5 pts) Rappel : Étant donnés des entiers m et n, on dit que m divise n s il existe un entier x satisfaisant mx = n. Démontrez le théorème suivant au moyen d une preuve indirecte. (Remarque : dans l énoncé du théorème, on a ajouté des parenthèses pour clarifier la structure de la phrase.) Théorème. Si n est impair, alors [m est impair ou m ne divise pas n]. Preuve : 9
10 10 Liste des équivalences pour la question (9). Équivalence Nom ou commentaire (1) P Q P Q (2) P Q (P Q) ( P Q) (3) P Q (P Q) (Q P ) (4) P P V Tiers exclu (5) P P F Contradiction (6) P F P F est neutre pour (7) P V P V est neutre pour (8) P V V V est absorbant pour (9) P F F F est absorbant pour (10) P P P Idempotence (11) P P P Idempotence (12) P P Double négation (13) P Q Q P Commutativité de (14) P Q Q P Commutativité de (15) (P Q) R P (Q R) Associativité de (16) (P Q) R P (Q R) Associativité de (17) P (Q R) (P Q) (P R) Distributivité de sur (18) P (Q R) (P Q) (P R) Distributivité de sur (19) (P Q) P Q Loi de De Morgan (20) (P Q) P Q Loi de De Morgan
11 Page supplémentaire. 11
Inscriptions en ligne
Inscriptions en ligne 1) Création de votre compte Tout d abord, cliquez sur le lien «inscription» de la page qui apparaît alors à l écran. Une nouvelle page apparaît permettant d entrer les informations
Plus en détailIUT de Laval Année Universitaire 2008/2009. Fiche 1. - Logique -
IUT de Laval Année Universitaire 2008/2009 Département Informatique, 1ère année Mathématiques Discrètes Fiche 1 - Logique - 1 Logique Propositionnelle 1.1 Introduction Exercice 1 : Le professeur Leblond
Plus en détailUne autorisation préalable en
Demande d autorisation préalable ou d autorisation provisoire afin d accéder à une formation délivrant l aptitude professionnelle d agent privé de sécurité Vous souhaitez Accéder à une formation afin d
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailGuide de démarrage rapide
Guide de démarrage rapide 1/10 Lancement de l installation Téléchargez les dernières versions de SecurityGateway et son module ProtectionPlus. Double-cliquez sur le fichier d installation de SecurityGateway
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailOPTIMISATION À UNE VARIABLE
OPTIMISATION À UNE VARIABLE Sommaire 1. Optimum locaux d'une fonction... 1 1.1. Maximum local... 1 1.2. Minimum local... 1 1.3. Points stationnaires et points critiques... 2 1.4. Recherche d'un optimum
Plus en détailActivités privées de sécurité
cerfa N 13851*01 Activités privées de sécurité Demande d autorisation préalable afin d accéder à une formation délivrant l aptitude professionnelle d agent privé de sécurité Demande d autorisation provisoire
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailInformation complémentaire pour l installation à l aide du support de fixation murale (SU-WL100)
Information complémentaire pour l installation à l aide du support de fixation murale (SU-WL100) A-DNU-100-21(1) Modèles de téléviseur compatibles avec ce support de fixation murale : Pour des raisons
Plus en détailLes nombres entiers. Durée suggérée: 3 semaines
Les nombres entiers Durée suggérée: 3 semaines Aperçu du module Orientation et contexte Pourquoi est-ce important? Dans le présent module, les élèves multiplieront et diviseront des nombres entiers concrètement,
Plus en détailTS 35 Numériser. Activité introductive - Exercice et démarche expérimentale en fin d activité Notions et contenus du programme de Terminale S
FICHE Fiche à destination des enseignants TS 35 Numériser Type d'activité Activité introductive - Exercice et démarche expérimentale en fin d activité Notions et contenus du programme de Terminale S Compétences
Plus en détailLES TYPES DE DONNÉES DU LANGAGE PASCAL
LES TYPES DE DONNÉES DU LANGAGE PASCAL 75 LES TYPES DE DONNÉES DU LANGAGE PASCAL CHAPITRE 4 OBJECTIFS PRÉSENTER LES NOTIONS D ÉTIQUETTE, DE CONS- TANTE ET DE IABLE DANS LE CONTEXTE DU LAN- GAGE PASCAL.
Plus en détailCI1 - A quel besoin répond un objet technique?
CI1 - A quel besoin répond un objet technique? 1. Distinguer en le justifiant objets naturels et objets techniques. Qu est ce qu un objet naturel? Qu est ce qu un objet technique? Compléter le tableau
Plus en détailB2i Brevet Informatique. Internet. Livret de l enseignant
B2i Brevet Informatique et Internet Ecole Livret de l enseignant 1. Maîtriser les premières bases de la technologie informatique. Toutes les activités nécessitant l utilisation de l ordinateur concourent
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détailVérification de programmes et de preuves Première partie. décrire des algorithmes
Vérification de programmes et de preuves Première partie. décrire des algorithmes Yves Bertot September 2012 1 Motivating introduction A partir des années 1940, il a été compris que l on pouvait utiliser
Plus en détailSur certaines séries entières particulières
ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane
Plus en détailSOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique
SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des
Plus en détailRéaliser la fiche de lecture du document distribué en suivant les différentes étapes de la méthodologie (consulter le support du TD!
Réaliser la fiche de lecture du document distribué en suivant les différentes étapes de la méthodologie (consulter le support du TD!) 1. Réaliser la note sur l auteur (bien lire le document, utiliser Internet)
Plus en détailPROJET ALGORITHMIQUE ET PROGRAMMATION II
PROJET 1 ALGORITHMIQUE ET PROGRAMMATION II CONTENU DU RAPPORT A RENDRE : o Fiche signalétique du binôme o Listing des différents fichiers sources o CD sources o Il sera tenu compte de la présentation du
Plus en détailComparaison de fonctions Développements limités. Chapitre 10
PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?
Plus en détailEXERCICE DU DROIT D ACCES AU FICHIER DES COMPTES BANCAIRES ET ASSIMILES (FICOBA)
Vous êtes : le titulaire du compte Vous pouvez avoir accès au fichier FICOBA : - soit directement auprès du centre des impôts dont dépend votre domicile lorsque vous souhaitez connaître les données d identification
Plus en détailENDNOTE X2 SOMMAIRE. 1. La bibliothèque EndNote 1.1. Créer une nouvelle bibliothèque 1.2. Ouvrir une bibliothèque EndNote 1.3. Fermer une bibliothèque
1 ENDNOTE X2 SOMMAIRE 1. La bibliothèque EndNote 1.1. Créer une nouvelle bibliothèque 1.2. Ouvrir une bibliothèque EndNote 1.3. Fermer une bibliothèque 2. Manipuler une bibliothèque EndNote 2.1. La saisie
Plus en détailLes structures. Chapitre 3
Chapitre 3 Les structures Nous continuons notre étude des structures de données qui sont prédéfinies dans la plupart des langages informatiques. La structure de tableau permet de regrouper un certain nombre
Plus en détailINSTRUCTION DE CRÉATION D UN COMPTE CLIENT
INSTRUCTION DE CRÉATION D UN COMPTE CLIENT Sommaire 1. Recherche du client :... 2 1.1 Par le menu FD01... 2 2. Fonction à utiliser :... 3 3. Création du client :... 3 3.1 Ecran initial... 3 3.2 Donn. générales...
Plus en détailINITIATION AU LANGAGE C SUR PIC DE MICROSHIP
COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailCA 3000 CA 3000 PROGRAMMATION PAR MINITEL
CA 3000 CA 3000 PROGRAMMATION PAR MINITEL UTILISATION A - CONFIGURATION CA 3000 B - DATE ET HEURE C - ENREGISTRE R RES IDENT D - MODIFIER RESIDENT E - LISTE REPERTOIRE F - GROUPES LECTEURS G - GROUPES
Plus en détailRécupération de données perdues
Récupération de données perdues Bienvenue dans ce cours tutoriel concernant la récupération de données supprimées. Vous avez supprimé involontairement les fichiers de la corbeille auxquels vous teniez?
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détail1. Structure d'un programme FORTRAN 95
FORTRAN se caractérise par la nécessité de compiler les scripts, c'est à dire transformer du texte en binaire.(transforme un fichier de texte en.f95 en un executable (non lisible par un éditeur) en.exe.)
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailCliquez sur une image pour l'agrandir
Cliquez sur une image pour l'agrandir LA VIDEO SURVEILLANCE À LA PORTÉE DE TOUS LES BUDGETS ET EN RÉPONSE À TOUTES LES EXIGENCES La vidéo-surveillance à la portée de tous les budgets et en réponse à toute
Plus en détailMIS 102 Initiation à l Informatique
MIS 102 Initiation à l Informatique Responsables et cours : Cyril Gavoille Catherine Pannier Matthias Robine Marc Zeitoun Planning : 6 séances de cours 5 séances de TD (2h40) 4 séances de TP (2h40) + environ
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailDéroulement. Evaluation. Préambule. Définition. Définition. Algorithmes et structures de données 28/09/2009
Déroulement Algorithmes et structures de données Cours 1 et 2 Patrick Reuter http://www.labri.fr/~preuter/asd2009 CM mercredi de 8h00 à 9h00 (Amphi Bât. E, 3 ème étage) ED - Groupe 3 : mercredi, 10h30
Plus en détailproposition d assurance RC professionnelle Agent Immobilier
RC professionnelle Agent Immobilier assurance de la responsabilité civile professionnelle agent immobilier Code service D07/448 FAX : 02/678.90.90 E-mail : professionalliability.production@axa.be 1. Intermédiaire
Plus en détailTechniques d accueil clients
Techniques d accueil clients L accueil est une des phases capitales lors d un entretien de vente. On se rend tout à fait compte qu un mauvais accueil du client va automatiquement engendrer un état d esprit
Plus en détailTP : Gestion d une image au format PGM
TP : Gestion d une image au format PGM Objectif : L objectif du sujet est de créer une classe de manipulation d images au format PGM (Portable GreyMap), et de programmer des opérations relativement simples
Plus en détailLangue Française. Syllabus A1. Description globale du niveau A1 utilisateur élémentaire
Langue Française Redatto da Dott.ssa Annie Roncin Syllabus A1 Description globale du niveau A1 utilisateur élémentaire L étudiant peut : -comprendre et utiliser des expressions familières et quotidiennes
Plus en détailEXERCICE DU DROIT D ACCES AU FICHIER DES COMPTES BANCAIRES ET ASSIMILES (FICOBA)
Vous êtes : le titulaire du compte Vous pouvez avoir accès au fichier FICOBA : - soit directement auprès du centre des impôts dont dépend votre domicile lorsque vous souhaitez connaître les données d identification
Plus en détailGuide juris.doc. 3 e édition. soquij.qc.ca
Guide juris.doc AZIMUT, Documentation juridique PROGRAMME D ACCÈS GRATUIT 3 e édition soquij.qc.ca La Société québécoise d information juridique (SOQUIJ) est heureuse de vous compter parmi les utilisateurs
Plus en détailÉCOLE : cycle 3 (CM2) Sciences de la vie et de la Terre S INFORMER : organiser l information Classer, trier, assembler, grouper, distinguer
NIVEAU DISCIPLINE CAPACITÉ COMPÉTENCE MOTS CLÉS ÉCOLE : cycle 3 (CM2) Sciences de la vie et de la Terre S INFORMER : organiser l information Classer, trier, assembler, grouper, distinguer 1. TITRE : TRIER
Plus en détailDemande de Carte de Fidélité (à nous retourner) Veuillez écrire lisiblement et tout en MAJUSCULES (* : mention obligatoire)
Carte N Demande de Carte de Fidélité (à nous retourner) Veuillez écrire lisiblement et tout en MAJUSCULES (* : mention obligatoire) Magasin de Référence choisi* :.... (Où nous tiendrons vos cartes à votre
Plus en détailLa saisie d un texte
La saisie d un texte On utilise le clavier pour la saisie des textes. C est une partie importante du travail. Il est indispensable de respecter un certain nombre de règles pour que le travail soit plus
Plus en détail"-:-,'c-,,-------1supports/ docs utilisés
1 Module : riche N 1 Découverte de (différents composants) Découverte du clavier et du logiciel Word Découverte du moteur de recherche «Google» Activités j-s-a-v-o-ir-s---f-ai-r-e-;-ê "-:-,'c-,,-------1
Plus en détailMODIFICATIONS DES PRINCIPES DIRECTEURS CONCERNANT LA RÉDACTION DES DÉFINITIONS RELATIVES AU CLASSEMENT
ANNEXE VI MODIFICATIONS DES PRINCIPES DIRECTEURS CONCERNANT LA RÉDACTION DES DÉFINITIONS RELATIVES AU CLASSEMENT RECOMMANDATIONS GÉNÉRALES Les utilisateurs s attendent à trouver dans les définitions des
Plus en détailFonctions homographiques
Seconde-Fonctions homographiques-cours Mai 0 Fonctions homographiques Introduction Voir le TP Géogébra. La fonction inverse. Définition Considérons la fonction f définie par f() =. Alors :. f est définie
Plus en détailLIVRET DE STAGE. Etablissements Scolaires / Administrations SOMMAIRE
Nom et Prénom :... Classe :.. 2014-2015 LIVRET DE STAGE Etablissements Scolaires / Administrations SOMMAIRE Ce livret contient 8 feuillets. Il est à renseigner au fur et à mesure du déroulement de la séquence
Plus en détailConsignes pour les travaux d actualité Premier quadrimestre
Consignes pour les travaux d actualité Premier quadrimestre Principes de base Durant le premier semestre, vous serez amenés à remettre un travail effectué en groupe. Le but de celui-ci est de s intéresser
Plus en détailLangage SQL (1) 4 septembre 2007. IUT Orléans. Introduction Le langage SQL : données Le langage SQL : requêtes
Langage SQL (1) Sébastien Limet Denys Duchier IUT Orléans 4 septembre 2007 Notions de base qu est-ce qu une base de données? SGBD différents type de bases de données quelques systèmes existants Définition
Plus en détailFaculté des sciences de gestion et sciences économiques BASE DE DONNEES
BASE DE DONNEES La plupart des entreprises possèdent des bases de données informatiques contenant des informations essentielles à leur fonctionnement. Ces informations concernent ses clients, ses produits,
Plus en détailFactorisation Factoriser en utilisant un facteur commun Fiche méthode
Factorisation Factoriser en utilisant un facteur commun Fiche méthode Rappel : Distributivité simple Soient les nombres, et. On a : Factoriser, c est transformer une somme ou une différence de termes en
Plus en détail1 - EXCHANGE 2003 - Installation
Page 1 sur 23 Le serveur FRBAR-MAIL01 est Contrôleur du domaine mlmd.lan. Il est serveur DNS ((avec redirecteur DNS orange) + AD + DHCP + serveur exchange 2003)) Nom de domaine mlmd.eu Page 2 sur 23 MLMD.EU
Plus en détailDemande de carte professionnelle (Demande de première carte ou de renouvellement)
Demande de carte professionnelle (Demande de première carte ou de renouvellement) Livre VI du code de la sécurité intérieure Décret n 2009-137 du 9 février 2009 modifié Ce formulaire vous permet d obtenir
Plus en détailMerci de suivre les indications suivantes afin de créer votre compte membre :
Merci de suivre les indications suivantes afin de créer votre compte membre : La base de données a été mise à jour, toutefois si vous n arrivez pas à vous connecter ou si vous constatez une erreur dans
Plus en détailLES REGLEMENTS AVEC SOCIEL.NET DERNIERE MISE A JOUR : le 14 juin 2010
LES REGLEMENTS AVEC SOCIEL.NET DERNIERE MISE A JOUR : le 14 juin 2010 Guillaume Informatique 10 rue Jean-Pierre Blachier 42150 La Ricamarie Tél. : 04 77 36 20 60 - Fax : 04 77 36 20 69 - Email : info@guillaume-informatique.com
Plus en détailSchéma relationnel et contraintes d intégrité : le cas ConduiteAuto
Schéma relationnel et contraintes d intégrité : le cas ConduiteAuto Description du thème Propriétés Intitulé long Formation concernée Matière Présentation Notions Pré-requis Mots-clés Durée Auteur(es)
Plus en détailRACCOURCIS CLAVIERS. DEFINITION : Une «combinaison de touches» est un appui simultané sur plusieurs touches.
S Vous n aimez pas la souris Les raccourcis clavier sont là pour vous faciliter la vie! INTRODUCTION : Vous avez du mal à vous habituer à la manipulation de la souris Des solutions existent : les raccourcis
Plus en détailGUIDE D UTILISATION. Informations importantes Toshiba FOLIO 100 Conseils pour une première utilisation, configuration et principaux usages
GUIDE D UTILISATION Informations importantes Toshiba FOLIO 100 Conseils pour une première utilisation, configuration et principaux usages Cher client Toshiba, Merci d avoir choisi la tablette multimédia
Plus en détailCOMMANDER SES BILLETS EN LIGNE MODE D EMPLOI DE LA RESERVATION EN LIGNE
COMMANDER SES BILLETS EN LIGNE MODE D EMPLOI DE LA RESERVATION EN LIGNE PAGE D ACCUEIL ACCES BILLETTERIE via www.lemans.org Accédez à notre billetterie en ligne depuis le site officiel de l Automobile
Plus en détailChap III : Les tableaux
Chap III : Les tableaux Dans cette partie, on va étudier quelques structures de données de base tels que : Les tableaux (vecteur et matrice) Les chaînes de caractères LA STRUCTURE DE TABLEAU Introduction
Plus en détailHD make up powder maqpro N 400+1
HD make up powder maqpro N 400+1 HD make up powder maqpro N 400+N2 CI 77492, CI 16255. HD make up powder maqpro N 402.1 CI 77891 13463-67-7 236-675-5 HD make up powder maqpro N 402.2 CI 77891, CI 16255,
Plus en détail3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
Plus en détailEvaluation diagnostique de CM1 Circonscription de Saint Just en Chaussée Livret du maître partie Français
Evaluation diagnostique de CM1 Circonscription de Saint Just en Chaussée Livret du maître partie Français Avant de débuter, demander aux élèves de préparer le matériel suivant : crayon à papier, gomme,
Plus en détailPRESENTATION DES RECOMMANDATIONS DE VANCOUVER
PRESENTATION DES RECOMMANDATIONS DE VANCOUVER Voici une présentation des recommandations de Vancouver. Ces recommandations ont pour objet d uniformiser la présentation des références bibliographiques dans
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détail6. Les différents types de démonstrations
LES DIFFÉRENTS TYPES DE DÉMONSTRATIONS 33 6. Les différents types de démonstrations 6.1. Un peu de logique En mathématiques, une démonstration est un raisonnement qui permet, à partir de certains axiomes,
Plus en détailBACCALAURÉAT PROFESSIONNEL ÉPREUVE DE MATHEMATIQUES. EXEMPLE DE SUJET n 2
Exemple de sujet n 2 Page 1/7 BACCALAURÉAT PROFESSIONNEL ÉPREUVE DE MATHEMATIQUES EXEMPLE DE SUJET n 2 Ce document comprend : Pour l examinateur : - une fiche descriptive du sujet page 2/7 - une fiche
Plus en détailLES REPRESENTATIONS DES NOMBRES
LES CARTES A POINTS POUR VOIR LES NOMBRES INTRODUCTION On ne concevrait pas en maternelle une manipulation des nombres sans représentation spatiale. L enfant manipule des collections qu il va comparer,
Plus en détailPROGRESSION TIC AU PRIMAIRE. Document de référence. Commission scolaire des Découvreurs
PROGRESSION TIC AU PRIMAIRE Document de référence Commission scolaire des Découvreurs Les tableaux que vous trouverez aux pages suivantes présentent les quatre niveaux des Carnets TIC et leur progression
Plus en détailREGLEMENT DU JEU CONCOURS 1 TABLETTE TACTILE A GAGNER
REGLEMENT DU JEU CONCOURS 1 TABLETTE TACTILE A GAGNER Article 1 : Organisation Le site web Voyage Way ci après désignée sous le nom «L'organisatrice», organise un jeu gratuit sans obligation d'achat du
Plus en détailRédiger et administrer un questionnaire
Rédiger et administrer un questionnaire Ce document constitue une adaptation, en traduction libre, de deux brochures distinctes : l une produite par l American Statistical Association (Designing a Questionnaire),
Plus en détailInitiation à la Programmation en Logique avec SISCtus Prolog
Initiation à la Programmation en Logique avec SISCtus Prolog Identificateurs Ils sont représentés par une suite de caractères alphanumériques commençant par une lettre minuscule (les lettres accentuées
Plus en détailN 3038 ASSEMBLÉE NATIONALE PROJET DE LOI
N 3038 ASSEMBLÉE NATIONALE CONSTITUTION DU 4 OCTOBRE 1958 QUATORZIÈME LÉGISLATURE Enregistré à la Présidence de l Assemblée nationale le 19 août 2015. PROJET DE LOI ratifiant l ordonnance n 2015-380 du
Plus en détailMON LIVRET DE COMPETENCES EN LANGUE (Socle commun) Niveau A1/A2 / B1
Nom : Prénom :.. MON LIVRET DE COMPETENCES EN LANGUE (Socle commun) Niveau A1/A2 / B1 Récapitulatif pour la validation du Diplôme National du Brevet (Attestation du Niveau A2 en Langue Vivante) : ACTIVITES
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copyleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailTP Codage numérique des caractères. Un ordinateur ne manipule que des 0 et des 1 : Comment alors code-t-il du texte?
TP Codage numérique des caractères Un ordinateur ne manipule que des 0 et des 1 : Comment alors code-t-il du texte? I Le code ASCII 1. Une première approche Ouvrir un fichier Excell Sur la ligne 1 du tableau,
Plus en détail1 Définition et Appel d une fonction. V. Phan Luong. Cours 4 : Fonctions
Université de Provence Licence Math-Info Première Année V. Phan Luong Algorithmique et Programmation en Python Cours 4 : Fonctions La construction de fonctions dans un langage de programmation permet aux
Plus en détailCONDITIONS GENERALES D UTILISATION. 1.1 On entend par «Site» le site web à l adresse URL www.creativlink.fr édité par CREATIV LINK.
CONDITIONS GENERALES D UTILISATION Les présentes Conditions Générales lient tout Utilisateur du Site à CREATIV LINK à compter de la création d un compte sur le Site afin de bénéficier d une Prestation
Plus en détail- Compléter, dater et signer le présent formulaire d adhésion ;
Nous vous remercions de bien vouloir : - Compléter, dater et signer le présent formulaire d adhésion ; - Joindre les documents justificatifs demandés ; - Envoyer votre dossier complet par envoi recommandé
Plus en détailCAP C.R.M. Conducteur Routier Marchandises
CAP C.R.M. Conducteur Routier Marchandises Lycée Bel Air de TINTENIAC Le titulaire de ce CAP doit être capable d assurer, en prenant en compte la sécurité et la qualité, le service transport de marchandises
Plus en détailTravaux Dirigés n 1 : chaînes de caractères
UE LE315 Travaux Dirigés n 1 : chaînes de caractères Exercice 1 Ecrire une fonction int nombre_caract(char *chaîne) qui retourne la taille d une chaîne de caractères. Exercice 2 Ecrire la fonction void
Plus en détailSamsung Drive Manager FAQ
Samsung Drive Manager FAQ Installation Q. Mon Disque dur externe Samsung est branché, mais rien ne se passe. R. Vérifiez le branchement du câble USB. Si votre Disque dur externe Samsung est correctement
Plus en détailCAMELEON JUNIOR CAMELEON Dynamico JUNIOR
CAMELEON JUNIOR CAMELEON Dynamico JUNIOR CAMELEON JUNIOR - CAMELEON Dynamico JUNIOR 1 TYPE D ASSURANCE-VIE GARANTIES Assurance-vie combinant un rendement garanti (branche 21) et un rendement lié à des
Plus en détailTrépier avec règle, ressort à boudin, chronomètre, 5 masses de 50 g.
PHYSQ 130: Hooke 1 LOI DE HOOKE: CAS DU RESSORT 1 Introduction La loi de Hooke est fondamentale dans l étude du mouvement oscillatoire. Elle est utilisée, entre autres, dans les théories décrivant les
Plus en détailFONDS DE SOLIDARITE POUR LE LOGEMENT DES ALPES-MARITIMES
FONDS DE SOLIDARITE POUR LE LOGEMENT DES ALPES-MARITIMES Demande d'aide(s) financière(s) pour le maintien dans le logement Vous êtes LOCATAIRE et en difficulté financière, Le Fonds de Solidarité pour le
Plus en détailL2T SMS RESELLER MANUEL D UTILISATION ESPACE CLIENT AVERTISSEMENT
L2T SMS RESELLER MANUEL D UTILISATION ESPACE CLIENT AVERTISSEMENT Si ce document a un indice supérieur à ceux précédemment diffusés, il les annule et les remplace En conséquence, sont destinataire doit,
Plus en détailTâche complexe produite par l académie de Clermont-Ferrand. Mai 2012 LE TIR A L ARC. (d après une idée du collège des Portes du Midi de Maurs)
(d après une idée du collège des Portes du Midi de Maurs) Table des matières Fiche professeur... 2 Fiche élève... 5 1 Fiche professeur Niveaux et objectifs pédagogiques 5 e : introduction ou utilisation
Plus en détailLA LETTRE DE MOTIVATION
- 1 - LA LETTRE DE MOTIVATION Il s agit de convaincre l employeur que votre candidature est pertinente et qu elle mérite une attention particulière. Le but est de décrocher un entretien LETTRE TYPE EN
Plus en détailSYSTEMES ELECTRONIQUES NUMERIQUES
BACCALAURÉAT PROFESSIONNEL SYSTEMES ELECTRONIQUES NUMERIQUES (S.E.N.) REF : TASI111 Taxonomie TP Alarme Intrusion type3 HARMONIA 2661 1 je sais de quoi je parle X 2 je sais en parler 3 je sais faire 4
Plus en détailNIMEGUE V3. Fiche technique 3.07 : Sauvegarde / Restauration manuelle
NIMEGUE V3 Fiche technique 3.07 : Sauvegarde / Restauration manuelle Version au 2 mai 2011 Toute donnée mémorisée sur un ordinateur, quelque soit le support, peut-être supprimée/effacée suite à un dysfonctionnement
Plus en détailPremiers Pas en Programmation Objet : les Classes et les Objets
Chapitre 2 Premiers Pas en Programmation Objet : les Classes et les Objets Dans la première partie de ce cours, nous avons appris à manipuler des objets de type simple : entiers, doubles, caractères, booléens.
Plus en détailDiapo 1. Objet de l atelier. Classe visée. Travail en co-disciplinarité (identité et origine académique des IEN)
COMMENTAIRE Séminaire national Réforme de la série Gestion-administration Lyon 10 et 11 mai 2012 Vendredi matin Martine DECONINCK (IEN EG), Michèle SENDRE (IEN L), Isabelle VALLOT (IEN EG) Diapo 1. Objet
Plus en détailLICENCE SNCF OPEN DATA
LICENCE SNCF OPEN DATA Préambule Dans l intérêt de ses utilisateurs, SNCF a décidé de s engager dans une démarche «OPEN DATA», de partage de certaines informations liées à son activité, par la mise à disposition
Plus en détail