Informatique fondamentale

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Actualités

    • UE Libres

      Du lundi 10 septembre 2018 (7h) au dimanche 23 septembre 2018 (23h) vous devez vous inscrire à une UE libre pour les semestres impairs (S3, S5).

      Lire la suite

Trouver une formation

Informatique fondamentale

Présentation

  1. Calculabilité et modèle de Machine de Turing
  2. Problème de terminaison d'un algorithme
  3. Correction d'un algorithme
  4. Complexité d'un algorithme et Classes de complexité

Objectifs

  • Formaliser les notions de Calculabilité/Décidabilité et d'Algorithmes
  • Apprendre à vérifier si un algorithme se termine, prouver sa correction et estimer son efficacité en calculant sa complexité

Conditions d'admission

Algorithmique - Structures de données - Algèbre 1

Volume horaire

  • CM : 19,5 h
  • TD : 19,5 h

Examens

Contrôle continu (50%)

Examen terminal (50 %)

En bref

Crédits ECTS 4

Nombre d'heures 39

Langue d'enseignement
Français

Contact(s)

Responsable(s)

Ouriachi Khadir

Responsable de la Licence

UFR Sciences et Techniques
Avenue de l'Université - BP 1155
64013 PAU Cédex
Tél : +33 559407648

Email : khadir.ouriachi @ univ-pau.fr

Lieu(x)

  • Pau