Télécharger - (ENS) de Maroua

Fiche de présentation de l’UE
Code UE : INL11 Intitulé UE : Introduction à la l'Informatique Crédits : 4
Enseignant : Prof. Dr-Ing.habil. Kolyang Assisté de : Oumarou Mamadou Bello
Parcours : Informatique et Mathématiques Cycle : I Année : I
Durée : CM : 24h TD : 15 h TPE : 6h
Descriptif de cours:
Introduction : qu’est ce que l’informatique; Fondements de l'informatique, Les systèmes
informatiques et leur développement, L'application de l'informatique ; modélisation et monde
réel ; l’information et sa représentation ; différents modèles et systèmes, Histoire du traitement
de l'information et Organisation des données ; Matériels, Logiciels et systèmes.
Objectif :
A la fin de ce cours, l’étudiant sera capable de modéliser un problème par une solution
informatique.
Plan :
 Introduction: Qu'est-ce que l'informatique ?
 Chapitre 1 : L’information et sa représentation
 Chapitre 2 : Historique du traitement de l’information
 Chapitre 3 : Logiciels et systèmes
Bibliographie:
 ABELSON, H.; SUSSMAN, G. J.; SUSSMAN, J.: Structure and interpretation of
computer programs, Berlin: Springer, 2. Aufl., 1997
 AHO, Alfred ; ULLMAN, Jeffrey: Concepts fondamentaux de l’informatique, Dunod,
1993
 CORMEN Thomas, Leiserson Charles, Rivest Ronald. Introduction to algorithms, MIT
press 1990
 COUSINEAU Guy, Mauny Michel. Approche fonctionnelle de la programmation (1995)
InterEditions
 DONALD E. Knuth. The art of computer programming volume III, Addison-Wesley
 KOLYANG: Informatique de gestion: une approche pratique
Evaluation (annoncée au moins deux semaines à l’avance)
Fiche de présentation de l’UE

Code UE : INL12 Intitulé UE : Introduction à la logique Crédits : 4
Enseignant : Prof. Dr-Ing.habil. Kolyang Assisté de : Wansouwé Wanbitching
Parcours : Informatique et Mathématiques Cycle : I Année : I
Durée : CM : 24h TD : 15 h TPE : 6h
Descriptif de cours:
Logique propositionnelle et la logique des prédicats : Introduction au raisonnement formel,
calcul propositionnel: variable, connecteurs, table de vérité, tautologie, lois de De Morgan.
Modus Ponens et notion de preuve, raisonnement par l'absurde, logique du 1er ordre: aspects
syntaxiques et sémantiques.
Objectif : L’objectif du cours est de se familiariser avec un formalisme logique, la notion de
démonstration, de validité, le lien entre syntaxe et sémantique. Ce cours met en pratique un
minimum d’objets mathématiques utilisés en informatique. A la fin du cours, l'étudiant doit être
capable de Caractériser les raisonnements valides.
Plan du cours
Introduction
Logique propositionnelle
Langage : connecteurs, variables propositionnelles
Théorie des modèles (sémantique) : validité, conséquence logique
Théorie de la preuve (axiomatique) : prouvabilité, déduction
Propriétés importantes : complétude, équivalences utiles
Forme normale conjonctive (FNC)
Démonstration automatique : méthode de balayage
Logique des prédicats
Langage : variables d'individu, substitution de variables
Théorie des modèles (sémantique)
Théorie de la preuve (axiomatique)
Propriétés importantes : complétude, équivalences utiles
Formes normales : prénexe, de Skolem, clausale
Démonstration automatique (méthode de résolution)
PROLOG
Logiques non-classiques
Bibliographie :
– François Rivenc : Introduction à la logique, Petite bibliothèque Payot, 1989.

– René Lalement : Logique, réduction, résolution, Masson, 1990.
– Paul Gochet, Pascal Gribomont : Logique, 2 tomes, Hermes, 1991 (tome 1).
– Jean Largeault : La logique, Que sais-je?, n ◦ 225, PUF, 1993.
– Willard V. O. Quine : Méthodes de logique, PUF, 1973.
Evaluation (annoncée au moins deux semaines à l’avance)
Fiche de présentation de l’UE
Code UE : INL13 Intitulé UE : Introduction à la l'électronique Crédits : 4
Enseignant : Dr Yérima (Voir Département Sciences Physiques)
Parcours : Informatique et Mathématiques Cycle : I Année : I
Durée : CM : 24h TD : 15 h TPE : 6h