Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Syllabus logique et algorithme 2021

UNIVERSITE ADVENTISTE ZURCHER Département de l ? Informatique DESCRIPTIF SYLLABUS Pour le cours de Logique Et Algorithme INAL Enseignant Dr Rindra RAKOTOMAHEFA CUNIVERSITE ADVENTISTE ZURCHER Département de l ? Informatique Descriptif du cours INAL ?? Logique et Algorithme Premier semestre Année académique Information concernant le cours Heures créditées Prérequis UE ECUE Enseignant Mail Contact Facebook Langue Heures de classe Trois Algorithmes INAL ?? Logique et Algorithme Dr Rindra Rakotomahefa rindrarakotomahefa zurcher edu mg ?? Thylacine Doux Français Mardi de h à h Description du cours et Objectifs visés Ce cours initie les étudiants à la méthodologie de la programmation Ils apprennent à analyser les problèmes et à les résoudre en utilisant la démarche prescrite À la ?n du semestre l'étudiant pourrait ? Avoir les connaissances en matière de logique pour traiter un problème informatique ? Conna? tre tous les symboles utilisés pour la construction d ? un diagramme de succession des t? ches et actions ? Ecrire un algorithme pour résoudre un problème informatique ? Ecrire les pseudocodes correspondant à un algorithme ? Construire le diagramme correspondant aux pseudocodes ? Maitriser la méthode de base pour résoudre un problème informatique Contenu du cours Partie Notion de logique Chapitre Vocabulaire usuel a Axiome b Proposition c Théorème d Corollaire e Lemme f Conjecture g Dé ?nition Chapitre Calculs propositionnels a Négation d ? une proposition b Les connecteurs logiques c L ? implication logique d L ? équivalence logique e Les quanti ?cateurs Dr Rindra Rakotomahefa Logique et Algorithme - CPartie Méthodologie de la programmation Chapitre Introduction a Terminologies b Symboles utilisés c Principe de construction d ? un diagramme Chapitre Résolution d ? un problème a Principe de résolution d ? un problème b Algorithmes c Pseudocodes Chapitre Types de processus a Processus séquentiel b Processus conditionnel c Processus à t? ches répétitives Chapitre Modules prédé ?nies Exigence du cours Durant le semestre l ? étudiant doit faire rendre passer - Quatre tests - Quatre projets recherches - Un examen mi-semestriel - Un examen ?nal Système de notation L ? évaluation des performances des étudiants prend en compte les notes des tests des projets et des examens et dont la répartition et la suivante Tests Projets Examen mi- semestriel Examen ?nal Références bibliographiques J Vélu Méthodes mathématiques pour l'informatique Dunod ème édition - Tous les ouvrages concernant la logique Intégration de la foi L ? importance de la capacité de choisir et de décider Les avantages de l ? obéissance aux instructions Eléments de pédagogie Ils consistent en un cours théorique complété par des séances de travaux dirigés Le ? cours théorique est une initiation aux fondements méthodologiques Il est assorti d'exemples destinés à illustrer les principes La participation active des étudiants au cours devrait permettre à eux de pouvoir pleinement pro ?ter des travaux dirigés qui complètent le cours théorique et d'être pris dans une démarche de recherche Les travaux dirigés reposent sur un recueil d'exercices Dr Rindra Rakotomahefa Logique et Algorithme - CPlan du cours Date Activité février