E-Learning Guelma

La maîtrise de l’information est un facteur clé pour la réussite de toute entreprise. En effet, l’émergence de l’entreprise numérique et le développement des économies axées sur le savoir et l’information incitent les managers à une meilleure maîtrise de leurs systèmes d’informations (SI) afin de faciliter le contrôle de l’organisation, la gestion des ressources et la prise de décision.

L’objectif de ce module est de présenter le rôle et l’importance des S.I dans les organisations, tout en permettant aux étudiants en 2ième année licence informatique d'acquérir des compétences de base nécessaires à l’analyse et à la conception des systèmes d’information de gestion. Le module commence par une compréhension des structures organisationnelles et fonctionnelles de l’entreprise, suivie par l’étude des propriétés, du rôle de l’information et les techniques de sa codification et de son contrôle. Par la suite, les outils méthodologiques et la démarche d’analyse et de conception des S.I seront présentés.

Après avoir étudié cette matière, l’étudiant devait démontrer les compétences suivantes :

- Etre capable de résoudre les problèmes posés par les entreprises à travers la bonne compréhension du S.I.

• Maîtrise de la ligne de commande de Linux (bash).
• Maîtrise des environnements de programmation notamment celles du Langage C.
  

Matière :         Logique Mathématique

Crédit :          4          Coefficient :   2

Objectifs de l’enseignement : Formalisation du raisonnement humain

 Connaissances préalables recommandées : connaissances de base en mathématiques et en algèbre de Boole.

Contenu de la matière : 

Chapitre 1 : Introduction

1. Objets de la logique
2. Syntaxe et sémantique

Chapitre 2 : Logique des propositions

• Syntaxe

1. Les propositions
2. Les connecteurs logiques
3. Variables et formules propositionnelles
4. Substitution dans une formule
5. Formules logiques et arbres

• Sémantique

1. Interprétation
2. Tables de vérité
3. Tautologies et antilogies
4. Equivalence sémantique
5. Formes normales conjonctives et disjonctives
6. Satisfaisabilité et validité

• Résolution

1. Réfutation
2. Mise en forme clausale
3. Règle de résolution propositionnelle
4. La méthode de résolution propositionnelle

Chapitre 3: Logique des prédicats

• Syntaxe

1. Termes
2. Prédicats
3. Quantificateurs
4. Formules
1.  Portée d’un identificateur
2. Variables libres, variables liées

• Sémantique

1. Structure
2. Satisfaction d’une formule

Références bibliographiques

• CORI René, LASCAR Daniel. Logique mathématique Tome 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats. Edition Lavoisier 2002.
• Stephen C. Kleene, Logique Mathématique, Edition Jacques Gabay 1987. 

Le premier chapitre de ce cours introduit des notion de base sur l’arithmétique des ordina-teur, nombres flottants, conditionnement, stabilité ... etc. Le deuxième chapitre ce coursprésente les méthodes directes de résolution des systèmes linéaires alors que le troisièmechapitre focalise sur les méthodes itératives. Dans le quatrième chapitre nous abordons lanotion des espaces vectorielle et le calcul des vecteurs et valeurs propres d’une matrice.

Objectifs du module :

Ce module permettra aux étudiants d’apprendre d’une part la mise au point de certain algorithme de base en informatique, d’autre part, ils apprendront à manipuler des structure de données plus développées.

Prérequis :

Algorithmique de base.