L'informatique fondamentale est le langage de l'informatique. Les concepts, les notations et les techniques de résolution de problèmes présentés dans ce cours sont utiles pour étudier et décrire des objets et des problèmes dans toutes les branches de l'informatique, comme les algorithmes, les langages de programmation, la cryptographie, la démonstration automatique de théorèmes, le développement de logiciels, la robotique, le développement de jeux (moteurs), etc.
L'objectif principal de ce cours est de vous apprendre à utiliser la logique mathématique pour résoudre des problèmes réels. Il est très important d'être capable de comprendre et de formaliser les problèmes, les algorithmes et les structures de données pour pouvoir passer à la programmation.
Ce cours vous fournira les outils nécessaires pour devenir non seulement un programmeur, mais un bon programmeur !
Dans ce cours on introduire quelques notions théoriques indispensables de l'informatique : logique booléenne, ensembles et fonctions, dénombrement, automates et Machine de Turing, automates cellulaires, calculabilité, complexité, ainsi que des bases d'algèbre.
Annonces concernant la suite du cours :
-- lundi 8/3/2024 -> 9h00-12h00, (A160)
-- jeudi 11/3/2024 -> 15h00-18h00.
