Introduction Les Opérateurs logiques les lois de la logique Utilisation en informatique. La logique É.FAVIER. Master SIG
|
|
- David Rancourt
- il y a 7 ans
- Total affichages :
Transcription
1 La logique É.FAVIER Master SIG Année universitaire
2 Sommaire 1 Introduction Définition algèbres de Boole binaires 2 Les Opérateurs logiques 3 les lois de la logique 4 Utilisation en informatique
3 L Histoire Georges Boole( ) Ce n est qu en 1835 que Georges Boole commence à étudier les mathématiques, après une formation littéraire (où il excellait, notamment en latin). En 1840, il débute ses propres recherches, notamment dans le domaine de la logique, qui était à l époque considérée comme une branche de la philosophie, relativement proche de la métaphysique.
4 L Histoire Georges Boole( ) En 1849, Georges Boole publie un article intitulé «The mathematical analysis of logic» où il démontre que la logique peut être transcrite en équations algébriques. Avant lui, Leibniz avait vainement essayé d établir les fondements mathématiques de la logique.
5 L Histoire Georges Boole( ) En 1854, il publie «An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities», autre article fondamental où il introduit ce qui sera appelé ensuite l algèbre de Boole.
6 Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, ces opérations devant vérifier un certain nombre d axiomes.
7 Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, d une opération binaire appelée somme booléenne (notée +), ces opérations devant vérifier un certain nombre d axiomes.
8 Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, d une opération binaire appelée somme booléenne (notée +), d une opération binaire appelée produit booléen (noté ), ces opérations devant vérifier un certain nombre d axiomes.
9 Définition La Théorie Définition On appelle algèbre de Boole toute structure algébrique composée : d un ensemble non vide E, d une opération binaire appelée somme booléenne (notée +), d une opération binaire appelée produit booléen (noté ), d une opération unaire appelée négation (notée ), ces opérations devant vérifier un certain nombre d axiomes.
10 Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations.
11 Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie.
12 Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère.
13 Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère. Un axiome est une proposition vraie pour tous les objets d une théorie.
14 Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère. Un axiome est une proposition vraie pour tous les objets d une théorie. Un théorème est une proposition vraie.
15 Définition Définitions Les principales notions Une théorie réunit des objets. Entre les objets d une théorie peuvent exister des relations. Une proposition est une affirmation contenant un ou plusieurs objets de la théorie. Une proposition peut être VRAIE ou FAUSSE selon les objets auxquels elle s applique, et selon la théorie dans laquelle elle s insère. Un axiome est une proposition vraie pour tous les objets d une théorie. Un théorème est une proposition vraie.
16 algèbres de Boole binaires définition Algèbre de Boole binaire ({0, 1}, +,, ) est une algèbre de Boole binaire.
17 algèbres de Boole binaires Électronique : Définition On utilise une algèbre de Boole binaire ({0, 1}, ou, et, non) qui fonctionne exactement comme celle de la logique. Cette algèbre présente la particularité d être mise en œuvre physiquement dans les composants électroniques.
18 algèbres de Boole binaires les Principes de bases Les propositions Les propositions obéissent aux règles suivantes : principe de non-contradiction : une proposition ne peut être à la fois vraie et fausse («Je mens» n est pas une proposition) ;
19 algèbres de Boole binaires les Principes de bases Les propositions Les propositions obéissent aux règles suivantes : principe de non-contradiction : une proposition ne peut être à la fois vraie et fausse («Je mens» n est pas une proposition) ; principe du tiers-exclu : une proposition ne peut être que vraie ou fausse («Demain, il fera beau» n est pas une proposition).
20 algèbres de Boole binaires Les connecteurs logiques Définitions es opérateurs et, ou et non sont également appelés connecteurs logiques. On a d autres connecteurs logiques, élaborés à partir de ces trois connecteurs de base.
21 algèbres de Boole binaires Les connecteurs logiques Définitions es opérateurs et, ou et non sont également appelés connecteurs logiques. On a d autres connecteurs logiques, élaborés à partir de ces trois connecteurs de base. Les connecteurs logiques permettent de construire des propositions «complexes» à partir de propositions «simples» et sont définis par leur table de vérité.
22 Sommaire 1 Introduction 2 Les Opérateurs logiques La négation (non) La conjonction (et) La disjonction inclusive (ou) 3 les lois de la logique 4 Utilisation en informatique
23 La négation (non) Le Non Table de vérité du Non P vrai faux non P faux vrai
24 La conjonction (et) Le Et Table de vérité du Et P Q P et Q vrai vrai vrai vrai faux faux faux vrai faux faux faux faux
25 La disjonction inclusive (ou) Le Ou Table de vérité du Ou P Q P ou Q vrai vrai vrai vrai faux vrai faux vrai vrai faux faux faux
26 Sommaire 1 Introduction 2 Les Opérateurs logiques 3 les lois de la logique Lois de De Morgan Ou exclusif La disjonction exclusive (ou exclusif) L implication ( si P, alors Q ) L équivalence ( P si et seulement si Q ) 4 Utilisation en informatique
27 Lois de De Morgan Les lois de De Morgan Lois de De Morgan (non (P et Q)) = ((non P) ou (non Q)) (non (P ou Q)) = ((non P) et (non Q))
28 Ou exclusif Le Ou exclusif Table de vérité du Ou exclusif P Q P xor Q vrai vrai faux vrai faux vrai faux vrai vrai faux faux faux
29 Ou exclusif Le Ou exclusif Table de vérité du Ou exclusif P Q P xor Q vrai vrai faux vrai faux vrai faux vrai vrai faux faux faux Remarque : (P xor Q) = ((P ou Q) et (non (P et Q)))
30 L implication ( si P, alors Q ) L implication L implication P Q P Q vrai vrai vrai vrai faux faux faux vrai vrai faux faux vrai
31 L implication ( si P, alors Q ) L implication L implication P Q P Q vrai vrai vrai vrai faux faux faux vrai vrai faux faux vrai Remarque : (P Q) = (Q ou (non P))
32 L équivalence ( P si et seulement si Q ) L équivalence logique L équivalence logique P Q P Q vrai vrai vrai vrai faux faux faux vrai faux faux faux vrai
33 L équivalence ( P si et seulement si Q ) L équivalence logique L équivalence logique P Q P Q vrai vrai vrai vrai faux faux faux vrai faux faux faux vrai Remarque : (P Q) = ((P Q) et (Q P))
34 Sommaire 1 Introduction 2 Les Opérateurs logiques 3 les lois de la logique 4 Utilisation en informatique
35 La logique & l informatique L utilisation Nous aurons besoin de cette algèbre de Boole lorsque nous utiliserons des langages évolués, qui permettent d écrire des conditions où apparaissent les connecteurs logiques et, ou et non. Dans les langages structurés, on utilisera en particulier les règles de De Morgan. pour écrire la condition d une structure de contrôle à partir de l état final souhaité (voir deuxième partie du cours).
Algèbre binaire et Circuits logiques (2007-2008)
Université Mohammed V Faculté des Sciences Département de Mathématiques et Informatique Filière : SMI Algèbre binaire et Circuits logiques (27-28) Prof. Abdelhakim El Imrani Plan. Algèbre de Boole 2. Circuits
Plus en détailMPI Activité.10 : Logique binaire Portes logiques
MPI Activité.10 : Logique binaire Portes logiques I. Introduction De nombreux domaines font appel aux circuits logiques de commutation : non seulement l'informatique, mais aussi les technologies de l'asservissement
Plus en détailSystème binaire. Algèbre booléenne
Algèbre booléenne Système binaire Système digital qui emploie des signaux à deux valeurs uniques En général, les digits employés sont 0 et 1, qu'on appelle bits (binary digits) Avantages: on peut utiliser
Plus en détailDisciplines. Ecoles - facultés - titres délivrés. UNIL - Faculté des lettres. Maîtrise universitaire ès Lettres
Masters de l UNIL, de l EPFL et de la HES-SO de référence, répondant sans restriction aux conditions d admission au Diplôme d enseignement pour le degré secondaire II Ecoles - facultés - titres délivrés
Plus en détailCorps des nombres complexes, J Paul Tsasa
Corps des nombres complexes, J Paul Tsasa One Pager Février 2013 Vol. 5 Num. 011 Copyright Laréq 2013 http://www.lareq.com Corps des Nombres Complexes Définitions, Règles de Calcul et Théorèmes «Les idiots
Plus en détailRéalisabilité et extraction de programmes
Mercredi 9 mars 2005 Extraction de programme: qu'est-ce que c'est? Extraire à partir d'une preuve un entier x N tel que A(x). π x N A(x) (un témoin) (En fait, on n'extrait pas un entier, mais un programme
Plus en détailHistoire de l Informatique
Histoire de l Informatique Abdelaaziz EL HIBAOUI Université Abdelelmalek Essaadi Faculté des Sciences de-tétouan hibaoui.ens@gmail.com 14 Feb 2015 A. EL HIBAOUI (FS-Tétouan) Architecture des ordinateurs
Plus en détailEtudier l informatique
Etudier l informatique à l Université de Genève 2015-2016 Les bonnes raisons d étudier l informatique à l UNIGE La participation à des dizaines de projets de recherche européens Dans la présente brochure,
Plus en détailLogique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.
Plus en détailCabri et le programme de géométrie au secondaire au Québec
Cabri et le programme de géométrie au secondaire au Québec Benoît Côté Département de mathématiques, UQAM, Québec cote.benoit@uqam.ca 1. Introduction - Exercice de didactique fiction Que signifie intégrer
Plus en détailLogique. Plan du chapitre
Logique Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant «Ensembles») probablement le plus important de l année car il est à la base de tous les raisonnements usuels
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailBaccalauréat universitaire (bachelor) en mathématiques et sciences informatiques
Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques CONDITIONS GENERALES Art. A 3 Baccalauréat universitaire en mathématiques et sciences informatiques 1. La Faculté décerne
Plus en détailLe bac littéraire. Français et littérature Philosophie Littérature Littérature en langue étrangère Histoire et géographie LV1 LV2 Sciences EPS TPE
L APRES SECONDE LES BAC GENERAUX L enseignement y est théorique Une large place est accordée à l expression écrite Ils préparent à la poursuite d études supérieures longues Le bac littéraire Français et
Plus en détailF1C1/ Analyse. El Hadji Malick DIA
F1C1/ Analyse Présenté par : El Hadji Malick DIA dia.elmalick1@gmail.com Description sommaire du cours Porte sur l analyse réelle propose des outils de travail sur des éléments de topologie élémentaire
Plus en détailFICHE UE Licence/Master Sciences, Technologies, Santé Mention Informatique
NOM DE L'UE : Algorithmique et programmation C++ LICENCE INFORMATIQUE Non Alt Alt S1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE Non
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étailLe nombre d or et Fibonacci
Août 2004, Bordeaux Pentagone et nombre d or Irrationalité Séries géométriques Equation Remarques et exercice Le pentagramme magique se retrouve partout dans la nature et hors de la nature est le symbole
Plus en détailLangage SQL : créer et interroger une base
Langage SQL : créer et interroger une base Dans ce chapitre, nous revenons sur les principales requêtes de création de table et d accès aux données. Nous verrons aussi quelques fonctions d agrégation (MAX,
Plus en détailIntelligence Artificielle et Robotique
Intelligence Artificielle et Robotique Introduction à l intelligence artificielle David Janiszek david.janiszek@parisdescartes.fr http://www.math-info.univ-paris5.fr/~janiszek/ PRES Sorbonne Paris Cité
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étailCarl-Louis-Ferdinand von Lindemann (1852-1939)
Par Boris Gourévitch "L'univers de Pi" http://go.to/pi314 sai1042@ensai.fr Alors ça, c'est fort... Tranches de vie Autour de Carl-Louis-Ferdinand von Lindemann (1852-1939) est transcendant!!! Carl Louis
Plus en détailConversion d un entier. Méthode par soustraction
Conversion entre bases Pour passer d un nombre en base b à un nombre en base 10, on utilise l écriture polynomiale décrite précédemment. Pour passer d un nombre en base 10 à un nombre en base b, on peut
Plus en détailArchitecture matérielle des systèmes informatiques
Architecture matérielle des systèmes informatiques IDEC, Renens. Version novembre 2003. Avertissement : ce support de cours n est pas destiné à l autoformation et doit impérativement être complété par
Plus en détailDOSSIER D INSCRIPTION PÉDAGOGIQUE 2015-2016
1 UNIVERSITÉ PIERRE & MARIE CURIE LABORATOIRE DE PROBABILITÉS ET MODÈLES ALÉATOIRES Adresse Postale : 4, Place Jussieu Boîte courrier 188 75252 PARIS CÉDEX 05 Téléphone : 01.44.27.53.20. - Télécopie :
Plus en détailCARTE DE VOEUX À L ASSOCIAEDRE
CARTE DE VOEUX À L ASSOCIAEDRE JEAN-LOUIS LODAY Il y a cinq ans le Centre International de Rencontres Mathématiques de Luminy a envoyé ses voeux avec la carte ci-dessus. L illustration choisie par Robert
Plus en détailProgrammes des classes préparatoires aux Grandes Ecoles
Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Mathématiques Seconde année Préambule Programme
Plus en détailIntitulé : Logistique & Transport
Faculté des Sciences Juridiques, Economiques et Sociales Intitulé : Logistique & Transport IDENTIFICATION DE LA FILIERE Intitulé : Sciences Economiques et de Gestion Domaine : Gestion d entreprises Champ
Plus en détailFaculté des Sciences Mathématiques, Physiques et Naturelles de Tunis
UNIVERSITE TUNIS EL MANAR Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis Campus Universitaire-2092-EL MANAR2 Tél: 71 872 600 Fax: 71 885 350 Site web: www.fst.rnu.tn Présentation
Plus en détailComment créer et utiliser une fonction
Comment créer et utiliser une fonction Henry P. AUBERT Jacques GOUPY Si, dans une cellule d'une feuille Excel, l on utilise souvent la même formule mathématique, il est possible d en faire une fonction
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailANNEE UNIVERSITAIRE 2014/2015
DIRECTION DES ENSEIGNEMENTS ET DE LA VIE DE L ETUDIANT Service de la Scolarité Générale des Chênes Rez de Chaussée des Chênes 2 33, boulevard du Port 95011 CERGY-PONTOISE CEDEX téléphone 33 (1) 34 25 61
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailConcevoir son microprocesseur
Concevoir son microprocesseur structure des systèmes logiques Jean-Christophe Buisson Collection Technosup Ellipses Avant-propos Ce livre s adresse aux étudiants en informatique de licence et maîtrise,
Plus en détailIntroduction au Système de Gestion de Base de Données et aux Base de Données
Introduction au Système de Gestion de Base de Données et aux Base de Données Formation «Gestion des données scientifiques : stockage et consultation en utilisant des bases de données» 24 au 27 /06/08 Dernière
Plus en détail2.4 Représentation graphique, tableau de Karnaugh
2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables
Plus en détailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
Plus en détailIntroduction. Mathématiques Quantiques Discrètes
Mathématiques Quantiques Discrètes Didier Robert Facultés des Sciences et Techniques Laboratoire de Mathématiques Jean Leray, Université de Nantes email: v-nantes.fr Commençons par expliquer le titre.
Plus en détailÉditorial. Tangente ÉDUCATION. Scratch, AlgoBox, Python. Trimestriel - n 15 - janvier 2011 Numéro spécial 16 activités TICE pour le lycée
Tangente ÉDUCATION Trimestriel - n 15 - janvier 2011 Numéro spécial 16 activités TICE pour le lycée et leurs programmes dans les trois langages les plus utilisés : Scratch, AlgoBox, Python Python Éditorial
Plus en détailUtilisation des tableaux sémantiques dans les logiques de description
Utilisation des tableaux sémantiques dans les logiques de description IFT6281 Web Sémantique Jacques Bergeron Département d informatique et de recherche opérationnelle Université de Montréal bergerja@iro.umontreal.ca
Plus en détailLicence : Licence Fondamentale en Gestion Etape : Semestre : 1. Première Année Licence Fondamentale en Gestion ( Tronc commun )
Semestre : Première Année Licence Fondamentale en Gestion ( Tronc commun ) ( semaines) Fondamentale.00 Fondamentale Principes de Gestion : Environnement et fonctionnement de l'entreprise.00.00 Obligatoire
Plus en détailProgramme détaillé BTS INFORMATIQUE DE GESTION DIPLÔME D ETAT. Objectifs de la formation. Les métiers. Durée de la formation
Objectifs de la formation Les inscriptions sont réservées aux élèves de niveau BAC ou plus, et sont ouvertes dans la mesure des places disponibles. Le Brevet de Technicien Supérieur d Informatique de Gestion
Plus en détailMATHEMATIQUES ET SCIENCES POUR L INGENIEUR
MASTER SCIENCES, TECHNOLOGIES, SANTE/STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Informatique www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le master Informatique se compose de deux parcours et se
Plus en détailSites web éducatifs et ressources en mathématiques
Sites web éducatifs et ressources en mathématiques Exercices en ligne pour le primaire Calcul mental élémentaire : http://www.csaffluents.qc.ca/wlamen/tables-sous.html Problèmes de soustraction/addition
Plus en détailCERTIFICAT INFORMATIQUE ET INTERNET NIVEAU 1
CERTIFICAT INFORMATIQUE ET INTERNET NIVEAU 1 RÉSUMÉ DE LA FORMATION Type de diplôme : Autres diplômes Domaine ministériel : Hors domaines de formation Présentation PLUS D'INFOS Le Certificat informatique
Plus en détailProbabilités conditionnelles Exercices corrigés
Terminale S Probabilités conditionnelles Exercices corrigés Exercice : (solution Une compagnie d assurance automobile fait un bilan des frais d intervention, parmi ses dossiers d accidents de la circulation.
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailUniversité de Mons UMONS Institut d Administration Scolaire. Direction Générale des Enseignements
Ce fascicule a été réalisé dans le cadre d une recherche-action commanditée par la Province de Hainaut intitulée «Implémentation de l approche orientante au sein de l enseignement secondaire provincial».
Plus en détail414.132.3 Ordonnance sur la formation menant au bachelor et au master de l Ecole polytechnique fédérale de Lausanne
Ordonnance sur la formation menant au bachelor et au master de l Ecole polytechnique fédérale de Lausanne (Ordonnance sur la formation à l EPFL) du 14 juin 2004 (Etat le 1 er septembre 2009) La Direction
Plus en détailIntroduction à l algorithmique et à la programmation (Info 2)
Introduction à l algorithmique et à la programmation (Info 2) Premier cours: présentation du module, codage et définition de l algorithmique Matthieu Puigt IUT du Littoral Côte d Opale DUT Génie Industriel
Plus en détailProgrammation par contraintes. Laurent Beaudou
Programmation par contraintes Laurent Beaudou On se trouve où? Un problème, une solution : la solution est-elle une solution du problème? simulation, vérification 2 On se trouve où? Un problème, une solution
Plus en détailSystèmes déductifs DEA D INFORMATIQUE UNIVERSITÉ BORDEAUX 1. Systèmes déductifs (Retoré) Plan Début Fin Préc. Suiv.
Systèmes déductifs DEA D INFORMATIQUE UNIVERSITÉ BORDEAUX 1 Plan 1 Liens avec d autres domaines de l informatique............... 3 2 La déduction naturelle de base (conjonction, implication)....... 4 3
Plus en détailCONFIGURATION DE L AUTOMATE SIEMENS
CONFIGURATION DE L AUTOMATE SIEMENS Créer un projet Dans le bureau de Windows, double-cliquer sur l icône «SIMATIC Manager» : Cliquer ensuite sur l icône «nouveau» : Choisir un nom de projet et valider
Plus en détailEnoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en 2000. Énoncé.
Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en 2000. Énoncé. I- ACTIVITES NUMERIQUES (12 points) Exercice 1 (3 points) On considère
Plus en détailCours d Informatique
Cours d Informatique 1ère année SM/SMI 2007/2008, Info 2 Département de Mathématiques et d Informatique, Université Mohammed V elbenani@hotmail.com sayah@fsr.ac.ma 2007/2008 Info2, 1ère année SM/SMI 1
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étailS LICENCE INFORMATIQUE Non Alt Alt SS1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques)
NOM DE L'UE : ACCOMPAGNEMENT(ADI OU AFPF OU TUTORAT) S LICENCE INFORMATIQUE Non Alt Alt SS1 S2 S3 S4 S5 S6 Parcours : IL (Ingénierie Logicielle) SRI (Systèmes et Réseaux Informatiques) MASTER INFORMATIQUE
Plus en détailLes arbres binaires de recherche
Institut Galilée Année 2010-2011 Algorithmique et arbres L2 TD 6 Les arbres binaires de recherche Type en C des arbres binaires (également utilisé pour les ABR) : typedef struct noeud_s { struct noeud_s
Plus en détailIFT1215 Introduction aux systèmes informatiques
Introduction aux circuits logiques de base IFT25 Architecture en couches Niveau 5 Niveau 4 Niveau 3 Niveau 2 Niveau Niveau Couche des langages d application Traduction (compilateur) Couche du langage d
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étailCalculabilité Cours 3 : Problèmes non-calculables. http://www.irisa.fr/lande/pichardie/l3/log/
Calculabilité Cours 3 : Problèmes non-calculables http://www.irisa.fr/lande/pichardie/l3/log/ Problèmes et classes de décidabilité Problèmes et classes de décidabilité Nous nous intéressons aux problèmes
Plus en détailSCIENCES POUR L INGENIEUR
LICENCE SCIENCES, TECHNOLOGIES, SANTE / STAPS SCIENCES POUR L INGENIEUR Parcours Maintenance Industrielle www.univ-littoral.fr OBJECTIFS DE LA FORMATION La Licence Sciences Pour l Ingénieur (SPI) est une
Plus en détailComment utiliser le diaporama. Ce bouton permet d avancer dans les rubriques du diaporama. Celui-ci permet de revenir à la page de départ.
Comment utiliser le diaporama Lorsqu un bouton d action ( ) apparaît sur la page, cliquez sur le bouton: Ce bouton permet d avancer dans les rubriques du diaporama. Celui-ci permet de revenir à la page
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étailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailLes travaux doivent être remis sous forme papier.
Physique mathématique II Calendrier: Date Pondération/note nale Matériel couvert ExercicesSérie 1 : 25 septembre 2014 5% RH&B: Ch. 3 ExercicesSérie 2 : 23 octobre 2014 5% RH&B: Ch. 12-13 Examen 1 : 24
Plus en détailUSTL - Licence ST-A 1ère année 2005-2006 Codage de l information TP 1 :
USTL - Licence ST-A 1ère année 2005-2006 Codage de l information TP 1 : Objectifs du TP Ce TP a pour but 1. de découvrir quelques opérations logiques sur les nombres 2. et quelques formats de fichiers.
Plus en détailFaut-il tout démontrer?
Faut-il tout démontrer? Introduction et énoncé du problème L acte de démontrer consiste à mettre en ordre logique, à disposer de façon rationnelle et déductive des propositions afin d assurer que la conclusion
Plus en détailMesure d angles et trigonométrie
Thierry Ciblac Mesure d angles et trigonométrie Mesure de l angle de deux axes (ou de deux demi-droites) de même origine. - Mesures en degrés : Divisons un cercle en 360 parties égales définissant ainsi
Plus en détailFONDEMENTS DES MATHÉMATIQUES
FONDEMENTS DES MATHÉMATIQUES AYBERK ZEYTİN 1. DIVISIBILITÉ Comment on peut écrire un entier naturel comme un produit des petits entiers? Cette question a une infinitude d interconnexions entre les nombres
Plus en détailstatique J. Bertrand To cite this version: HAL Id: jpa-00237017 https://hal.archives-ouvertes.fr/jpa-00237017
Quelques théorèmes généraux relatifs à l électricité statique J. Bertrand To cite this version: J. Bertrand. Quelques théorèmes généraux relatifs à l électricité statique. J. Phys. Theor. Appl., 1874,
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailExercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?
Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version
Plus en détailExercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?
Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version
Plus en détailBourse doctorale Edition 2015 Préambule :
Bourse doctorale Edition 2015 Préambule : Objet - Définition Engagé dans le soutien à la recherche scientifique et pour approfondir la compréhension de la mémoire et les moyens de prévention, l Observatoire
Plus en détailDérivées et différentielles des fonctions de plusieurs variables
UE4 : Evaluation des méthodes d analyses appliquées aux sciences de la vie et de la santé Analyse Chapitre 6 : Dérivées et différentielles des fonctions de plusieurs variables Christelle MELODELIMA Année
Plus en détailChoisir le mode d envoi souhaité. Option 1 : Envoyer un SMS à un nombre réduit de numéros (0 10 )
Ce service permet d effectuer des envois de SMS texte à partir d une source de numéros de GSM (Maroc Telecom, Meditel,INWI ou Etrangers) sous format texte ou sous format Excel. Il est nécessaire au préalable
Plus en détailUtilisez les outils de la fiche méthode «étude d une affiche de film». Vous pouvez faire part d autres éléments concernant l étude de cette œuvre.
SUJET 1- Eugène Delacroix, Roméo et Juliette, 1855. 2-Dites à quel passage de la pièce (acte et scène) ce tableau fait référence et expliquez pourquoi.. Eugène Delacroix, Roméo et Juliette, 1855. SUJET
Plus en détailBases de données avancées Introduction
Bases de données avancées Introduction Dan VODISLAV Université de Cergy-Pontoise Master Informatique M1 Cours BDA Plan Objectifs et contenu du cours Rappels BD relationnelles Bibliographie Cours BDA (UCP/M1)
Plus en détailLa Chaire Accenture Strategic Business Analytics de l ESSEC
La Chaire Accenture Strategic Business Analytics de l ESSEC La création de nouvelles opportunités par l analyse des données Dans le monde numérique actuel, l analyse des données est au cœur des réseaux
Plus en détailCours Composant 2. Qualité logicielle et spécications algébriques
UPMC Paris Universitas Master Informatique STL Cours Composant 2. Qualité logicielle et spécications algébriques c 2005-2008 Frédéric Peschanski UPMC Paris Universitas 24 février 2008 c 2005-2008 Frédéric
Plus en détailInformatique de gestion Domaine, métiers et filières de formation
Informatique de gestion Domaine, métiers et filières de formation IDEC Sommaire Le domaine... 3 Le quotidien de l informaticien... 3 Le dynamisme des carrières... 4 Les clichés à démonter... 4 Les contraintes
Plus en détailGuide Pédagogique 2013-2014
MASTER Métiers de l Enseignement, de l Education et de la Formation 1er degré PARCOURS Enseignement polyvalent Guide Pédagogique 2013-2014 - 1 - Administrateur provisoire de l ESPE Richard Kleinschmager
Plus en détailDemande d inscription aux cours IB pour septembre 2012
École Gabrielle-Roy 6887, 132 e Rue, Surrey, C.-B. V3W 4L9 Téléphone / Phone : (604) 599-6688 Télécopieur / Fax : (604) 599-6628 Courriel : ecole_gabrielle-roy @csf.bc.ca Site hypertoile : www.csf.bc.ca
Plus en détailET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.
ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. Sciences et Technologies de l Industrie et du Développement Durable Formation des enseignants parcours : ET24 Modèle de
Plus en détailRapport d évaluation de la licence professionnelle
Section des Formations et des diplômes Rapport d évaluation de la licence professionnelle Traitement et contrôle des opérations bancaires en services (pôles) d'appui technique et commercial en réseau de
Plus en détailUNIVERSITÉ DE GENEVE. langue et littérature italiennes italien 3 langue et littérature latines philosophie philosophie 3
Enseignement secondaire II postobligatoire REPUBLIQUE ET CANTON DE GENEVE Département de l'instruction publique, de la culture et du sport Enseignement obligatoire CO et enseignement secondaire II Services
Plus en détailFormation Excel, Niveau initiation, module 1 DUREE DE LA FORMATION OBJECTIFS DE LA FORMATION
Niveau initiation, module 1 Acquérir une philosophie de travail dans un tableur, Acquérir les bons réfl exes tableur, Familiarisation avec le vocabulaire, Créer, Enregistrer et présenter un tableau. Notions
Plus en détailPartie II Approche théorique
Partie II Approche théorique De nombreux phénomènes ont été mis en évidence lors des différentes enquêtes, nous amenant à diverses interrogations pouvant être résumées et transcrites en une problématique.
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étailCorrection de l examen de la première session
de l examen de la première session Julian Tugaut, Franck Licini, Didier Vincent Si vous trouvez des erreurs de Français ou de mathématiques ou bien si vous avez des questions et/ou des suggestions, envoyez-moi
Plus en détailLocation of the job: Conakry. Number of subordinates: NA Job Level: 1 Reporte à : Customer Support Supervisor
JOB PROFILE - Title of job: CRM/System Support Representative Location of the job: Conakry Job Code: Number of subordinates: NA Job Level: 1 Reporte à : Customer Support Supervisor Mission/ Core purpose
Plus en détailProbabilité. Table des matières. 1 Loi de probabilité 2 1.1 Conditions préalables... 2 1.2 Définitions... 2 1.3 Loi équirépartie...
1 Probabilité Table des matières 1 Loi de probabilité 2 1.1 Conditions préalables........................... 2 1.2 Définitions................................. 2 1.3 Loi équirépartie..............................
Plus en détailAPRES LE BAC S 2012-20133
APRES LE BAC S 2012-20133 2012-2013 Après le Bac ES acquérir une qualification professionnelle validée par un diplôme professionnel Quelle que soit la durée des études envisagées ne pas interrompre ses
Plus en détailConsolidation de fondamentaux
Consolidation de fondamentaux Introduction aux Sciences de l Information et de la Communication Consolidation - Stéphanie MARTY - 2009/2010 1 Consolidation de fondamentaux Démarche en sciences humaines
Plus en détailMaster Etudes françaises et francophones
Master Etudes françaises et francophones 1. modèle scientifique et profilage des contenus de la filière / Présentation et spécificités de la filière Les études romanes à Leipzig sont considérées comme
Plus en détailCALENDRIER DES STAGES 2014/2015
CALENDRIER DES STAGES NIVEAU MASTER 1 : BAC +4 Stage obligatoire et/ou recommandé par la formation Dauphine propose aussi 40 formations en apprentissage voir la liste sur https://dauphinentreprises.dauphine.fr
Plus en détail1 Introduction et installation
TP d introduction aux bases de données 1 TP d introduction aux bases de données Le but de ce TP est d apprendre à manipuler des bases de données. Dans le cadre du programme d informatique pour tous, on
Plus en détailO, i, ) ln x. (ln x)2
EXERCICE 5 points Commun à tous les candidats Le plan complee est muni d un repère orthonormal O, i, j Étude d une fonction f On considère la fonction f définie sur l intervalle ]0; + [ par : f = ln On
Plus en détailCours Informatique Master STEP
Cours Informatique Master STEP Bases de la programmation: Compilateurs/logiciels Algorithmique et structure d'un programme Programmation en langage structuré (Fortran 90) Variables, expressions, instructions
Plus en détail