user icon

Deug mias informatique

3565 mots 15 pages
Montre plus
DEUG MIAS Informatique

S1

NOTIONS DE LOGIQUE MATHEMATIQUE Notes de cours D. Laurent La logique mathématique est une discipline des mathématiques qui s est beaucoup développée à la fin du 19ème siècle et au début du 20ème pour donner entre autres la théorie des ensembles. Des noms célèbres de la logique sont Boole, Cantor, Hilbert, Herbrand, Russel, Le but était alors de modéliser et formaliser le phénomène de déduction mathématique. L informatique a fait « renaître » le domaine car pour modéliser le monde réel, on a besoin de concepts logiques plus avancés connus sous le nom de « logiques non classiques » opposé à la logique dite classique qui cherche essentiellement à modéliser le raisonnement mathématique. Nous allons voir les bases de la logique mathématique : 1. calcul propositionnel (ou d ordre 0) 2. calcul des prédicats (ou d ordre 1) Remarque : En logique, on distingue toujours deux aspects l aspect syntaxique : les formules ou le langage utilisé l aspect sémantique : le sens que l on donne aux formules, ou l interprétation du langage et donc la valeur de vérité des formules que l on considère Les propriétés ou théorèmes de la logique tendent à étudier les formules indépendamment de leurs interprétations pour avoir des propriétés toujours vraies. Références bibliographiques : 1. T. Cormen, C. Leiserson, R. Rivest, Introduction à l algorithmique, Dunod, 1994 (Introduction to Algorithms (2nd Ed., MIT Press) 2. J. Velu, Méthodes mathématiques pour l informatique, Dunod, 1999 3. A. Arnold, I. Guessarian, Mathématiques pour l informatique, Masson, 2000 1. Notion de déduction Le problème à l origine de la logique est de modéliser le raisonnement (Socrate, Hilbert). Le problème, posé intuitivement est le suivant : en supposant que certaines propositions sont vraies comment prouver qu une proposition donnée Q est vraie ? L implication peut être considérée comme permettant des déductions : si on sait que la proposition P est vraie et que l implication P Q est

en relation

  • Copie agregation eps
    3124 mots | 13 pages

    AGRÉG. 93 Pascal AUZEIL - N 13/20 – Sujet : L'éducation physique ne se confond pas avec les activités physiques et sportives sur lesquelles elle se fonde" Analyser et justifiez cette affirmation.….

    montre plus
  • Exercice informatique
    566 mots | 3 pages

    Donc, une fois qu'il aura spécifié les valeurs désirées pour ces 4 variables, le nombre correspondant d'employés ainsi que la moyenne de leurs salaires devront s'afficher à l'écran dans des cellules que vous aurez déterminées à l'avance. Par exemple, au haut de l'écran ou si vous préférez au bas de la liste, placez les libellés suivants: "Nombre d'employés" et "Moyenne des salaires" puis réservez les cellules adjacentes pour afficher les résultats demandés. Utilisez des noms définis dans votre solution. Vous deviez créer des noms de plages pour chacune des plages de données à utiliser dans votre solution (soit 5 incluant le montant de paie), des noms de plages pour chacune des 4 cellules qui recevront un critère (sexe, statut marital, etc.). De plus vous deviez utiliser ces noms dans vos formules.….

    montre plus
  • Projet éolien
    420 mots | 2 pages

    Proposition du projet : Notre proposition consiste donc en l'implantation d'une éolienne sur le toit. Ce choix nous paraît le plus approprié pour différentes raisons : tout d'abord le fait de mettre sur le toit nous semble faciliter l'intégration au niveau de l'esthétique, d'une part elle sera « plus discrète » tout en étant visible de l'entrée du lycée. Ceci permettrait également de moderniser les bâtiments et de montrer l'engagement du lycée dans le développement durable. De même, le modèle choisit a un design relativement moderne se démarquent des modèles les plus utilisés. Avantages Inconvénients - facilité de raccordement - visible de l'entrée du lycée - pas de barrière végétal pour le vent - local non occupé permettant d'entreposer le matériel électrique - pas besoin de zone de sécurité - côté original donnant de la modernité aux bâtiments - nuisances sonores qui semblent être raisonnables (selon les données constructeurs) - respecte….

    montre plus
  • tsmi informatique
    674 mots | 3 pages

    Technicien Supérieur en Maintenance Informatique et Réseaux DOUBLE VALIDATION Certification Professionnelle TSMIR Bac +2 en partenariat avec CIEFA - IPI Inscrite au RNCP (J.O du 21/04/2009) – Code NSF 326 Certification Microsoft Certified Technology Specialist (MCTS) Missions Le (la) Technicien (ne) Supérieur (e) en….

    montre plus
  • Poincaré – commentaire des dernières pensées - chapitre iv – la logique de l’infini
    2371 mots | 10 pages

    Poincaré – Dernières pensées Chapitre IV – La logique de l’infini [Travail en cours sur l’ensemble du chapitre et le suivant - Par François R. 2010] Paragraphe 1 : Ce que doit être une classification. Cet article est une réponse aux travaux de Frege et Russell à propos de la théorie des classes et de la théorie des ensembles. Ils ont tachés de réduire une partie des mathématiques à la logique.….

    montre plus
  • Lettre de motivation
    255 mots | 2 pages

    Je vous remercie par avance de l'attention que vous pourrez portez à ma proposition. Dans l'attente et l'espoir d'un prochain contact, je vous prie d'agréer, Madame, Monsieur, l'expression de mes salutations distinguées. Pièce jointe :….

    montre plus
  • Lean informatique
    3141 mots | 13 pages

    Le « Lean » dans la fonction informatique Christophe Chartrin, Markus Löffler, Marc Niederkorn Janvier 2009 1 Le « Lean »dans la fonction informatique Dans les entreprises contemporaines, la fonction informatique subit des pressions constantes et parfois contradictoires : elle est censée constamment améliorer son niveau de service tout en réduisant les coûts. Toutefois, empruntant certains éléments clefs aux méthodologies « Lean » et « Six Sigma », McKinsey a développé une approche intégrée de la gestion du changement qui permet de réaliser ce rêve à première vue utopique. L’approche ne prend pas uniquement en compte les systèmes d’exploitation en tant que tels (les matériels, logiciels et les processus associés), mais aussi les systèmes de gestion de la performance et l’organisation environnante, visant ainsi à changer les mentalités et le comportement de toutes les personnes impliquées. De par son caractère systématique et intégré, notre méthodologie permet de réduire le taux de gaspillage et la variabilité du service, tout en jetant les bases d'une amélioration continue des opérations informatiques. Trop beau pour être vrai ?….

    montre plus
  • jaja
    1706 mots | 7 pages

    Cette découverte d'un pays infini semble être de considération. Je ne sais si je me puis répondre qu'il ne s'en fasse à l'avenir quelqu'autre, tant de….

    montre plus
  • informatique
    8687 mots | 35 pages

    www.cours-ofppt.com ROYAUME DU MAROC OFPPT Office de la Formation Professionnelle et de la Promotion du Travail RESUME THEORIQUE & GUIDE DES TRAVAUX PRATIQUES MODULE N° : 4 TITRE DU MODULE : Recherche et veille technologique l'information SECTEUR : TERTIAIRE SPECIALITE : TSSRI Niveau : TECHNICIEN SPECIALISE Version Mai 2005 www.cours-ofppt.com Filière : TSDI Module N°04: Recherche et veille technologique l'information REMERCIEMENT La DRIF remercie les personnes qui ont contribué à l’élaboration du présent document. Pour la supervision : MME.BENNANI WAFAE M. ESSABKI NOURDDINE DIRECTRICE CDC TERTIAIRE & TIC CHEF DE DIVISION CCFF Pour la conception : - M.BENTALEB ABDELLAH….

    montre plus
  • PHILO CHAP I
    896 mots | 4 pages

    • Cependant, le sens auquel on parvient n'est jamais définitif : une autre interprétation est toujours possible. Ce caractère provisoire fait la faiblesse de l'interprétation par rapport à la démonstration, mais aussi sa force : elle va nous permettre d'essayer de comprendre ce qui ne se démontre pas. • Comme telle, l'interprétation n'est-elle pas la méthode des « sciences humaines », où il s'agit non d'expliquer un phénomène en le ramenant à sa cause,….

    montre plus
  • Peut-on penser seul?
    979 mots | 4 pages

    Ce monde n'est valabale qu'a condition de l'avoir comparé avec la certitude de notre propre existence. Tout cela n'existe qu'a la condition d'avoir construit son raisonnement sans préjugés => juger avant de se trouver devant la proposition. C'est l'illusion de celui qui croit savoir.….

    montre plus
  • La proposition
    655 mots | 3 pages

    LA PROPOSTION • Proposition et argumentation (l’objet et les motivations d’achats) sont mélangées mais la proposition doit être claire et complète ( pas de tromperies), ceci évite les désaccords ultérieurs • Il faut être expert de son produit, son service ou son idée. Il faut apparaitre compétent aux yeux de votre interlocuteur. • Les résultats solides sont fondés sur des propositions claires et sur une excellente connaissance de la sensibilité, dans besoins et du véritable intérêt du client • Au moment de conclure, annoncer le prix, les conditions de règlement et les délais d’obtention du produit. • Le passage à la proposition-argumentation nécessite une phrase de transition qui découle de la synthèse de la découverte.….

    montre plus
  • informatiques
    306 mots | 2 pages

    Access Base Impress Word 2007 X X X X X Bases de données Calc X Feuilles de calcul….

    montre plus
  • Monsieur maiga
    715 mots | 3 pages

    vous propose, accompagnés de quelques commentaires. Vous remarquerez que mes titres sont des propositions, et non de simples mots qui ne disent rien. 1. L'esprit humain a la liberté de suspendre son jugement sur toute chose, à l'exception de sa propre existence.….

    montre plus
  • Dissert philo
    412 mots | 2 pages

    Qualité d'une proposition en accord avec son objet. La vérité formelle, en logique, en mathématiques c'est l'accord de l'esprit avec ses propres conventions. La vérité expérimentale c'est la non-contradiction de mes jugements, l'accord et l'identification de mes énoncés à propos d'un donné matériel. On distinguera soigneusement la réalité qui concerne un objet (ce cahier, cette lampe sont réels) et la vérité qui est une valeur qui concerne un jugement. Ainsi le jugement : « ce cahier est vert » est un jugement vrai ou bien un jugement faux.….

    montre plus