Cours de niveau M2 au MPRI: Logique, complexité descriptive et théorie des bases de données