IST Syllabus L1 Programme UE Informatique 1 : logique et programmation

Semestre 1
54 heures – 6,5 ECTS

EC Algorithmique et programmation en python 1
9h de CM & 18h de TD

EC Logique propositionnelle et logique des prédicats
9h de CM & 18h de TD

Prérequis
Aucun

******************************************************************************************

EC Algorithmique et programmation en python 1

Compétences visées
Analyser des problèmes simples, les transposer en algorithmes et savoir les programmer en langage Python.

Contenu du cours

1 - Algorithmique et Python
    1.1 - définition 
    1.2 - formalisme pseudo-code
    1.3 - présentation du langage python
    1.4 - environnement de développement

2 - Variables et opérations
    2.1 - définition
    2.2 - typage et conversions
    2.3 - opérateurs
    2.4 - interaction utilisateur

3 - Branchements conditionnels
    3.1 - définition
    3.2 - opérateurs de comparaison
    3.3 - opérateurs logiques

4- Fonctions   
    4.1 - définition
    4.2 - déclaration
    4.3 - communication entre 2 fonctions
    4.4 - séparation affichages et traitements   

5 - Boucles
    5.1 - définition
    5.2 - boucle "pour"
    5.3 - boucle "tant que"

6 - Structures de données
    6.1 - tableaux et listes
    6.2 - chaines de caractères
    6.3 - tuples
    6.4 - boucle en mode "itérateur"
    6.5 - passage par valeur et référence

******************************************************************************************

EC Logique propositionnelle et logique des prédicats

Compétences visées
A la fin de ce module, l'étudiant saura :
- reconnaître et comprendre la structure d'une formule booléenne,
- évaluer, trouver la table de vérité d'une formule,
- reformuler et simplifier une formule,
- reconnaître et comprendre la structure d'une formule en logique des prédicats,
- appliquer les simplifications de la logique propositionnelle à une formule de logique des prédicats,
- démontrer une formule.

Contenu du cours

0) Introduction à la logique

1) Syntaxe de la logique propositionnelle
Structure d'une formule
Expression bien parenthésée
Représentation en arbre, hauteur

2) Sémantique de la logique propositionnelle
Evaluation d'une formule
Notions de tautologie, de formule satisfaisable
Tables de vérité
Formules avec constantes
Raisonnements par équivalence
Raisonnements par disjonction de cas
Formes normales conjonctive, disjonctive

3) Logique des prédicats
Syntaxe
Variable libre, variable close
Evaluation d'une formule
Reformulation, calcul de la négation d'une formule
Démonstration d'une formule