UE Informatique

1. Les concepts de bases des bases de données relationnelles. Il s'agit de présenter les concepts ainsi que l'algèbre relationnelle.
2. Langages d’interrogation et de manipulation. L’accent est mis sur SQL et ses fondements.
3. Conception d’un schéma relationnel. Il s’agit de savoir définir un schéma relationnel complet et correct, comprenant des tables, des contraintes, des vues.

Des travaux pratiques avec le SGBD SQLite permettent de mettre en œuvre les techniques étudiées en cours. L’accent est donc plutôt mis sur les notions de base (qu’est-ce qu’un SGBD, qu’une base de données, qu’un langage d’interrogation) et leur application pratique.

Voir la page complète

Ce cours propose une introduction à la théorie des langages formels et à la
théorie du calcul. Nous débutons par la distinction entre langages naturels
et langages formels. Les éléments constitutifs d’un langage formel (symbole,
alphabet, mot) sont introduits, ainsi que les opérateurs (union, produit, étoile
de Kleene) et propriétés associés. La notion d’automate est liée à celle d’une
machine permettant de reconnaître les mots d’un langage. Automates à états
finis déterministes et non déterministes sont alors distingués et les processus de
déterminisation et de minimisation étudiés. Les différents types de grammaire
générative proposés par Noam Chomsky sont exposés en tant qu’ensembles de
règles permettant de générer les mots d’un langage. Il est ensuite montré que les
limites des automates à états finis peuvent être dépassées grâce aux automates
à piles. Enfin, les machines de Turing sont introduites en tant qu’instruments
de manipulation de symboles extrêmement basiques qui, malgré leur simplicité,
peuvent être adaptées pour simuler la logique d’un ordinateur

Voir la page complète

: Ce cours présente les grandes lignes de la programmation logique et le langage de programmation Prolog :

- faits, règles, requêtes

- unification, parcours de résolution

- listes

- programmation avec et sans accumulateur

- coupure (cut)

- création dynamique de faits et règles

- arbres et grammaires en Prolog

- débogage

- fondements logiques (prédicats, clauses, principe de résolution)

Voir la page complète