From François Boulier

Main: Initiation à la Recherche

(:notabs:)

Je suis responsable du cours d'initiation à la recherche à Polytech'Lille, dans la filière Génie Informatique et Statistique 4ème année. La formation que j'assure est composée de 3 cours magistraux de deux heures. Elle est complétée par une série d'événements.

Événements

Cours

  1. Introduction à l'épistémologie. Inductivisme, falsificationisme, structure des révolutions scientifiques.
  2. Crise en mathématiques et naissance de l'informatique. Première partie : le problème de l'arrêt, les machines de Turing comme modèles d'algorithmes, la thèse de Church. Seconde partie : la notion de vérité en mathématiques, l'axiomatisation des théories, le programme de Hilbert, l'Entscheidungsproblem, le dixième problème de Hilbert.
  3. Pratiques de la « science normale » en informatique et en 2012. Le cours commence par une interrogation écrite. Articles de recherche, bibliographie, évaluations des articles, des chercheurs et des journaux. Conclusion.

Documents

Liens

Retrieved from http://www.lifl.fr/~boulier/pmwiki/pmwiki.php/Main/InitRech
Page last modified on January 30, 2013, at 09:37 AM