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 Enseignant : Dr Yérima (Voir Département Sciences Physiques) Parcours : Informatique et Mathématiques Cycle : I Durée : CM : 24h TD : 15 h Crédits : 4 Année : I TPE : 6h