Grundkurs Theoretische Informatik

Informatique théorique – le guide de cours. La calculabilité, les langages formels, l'algorithmique et la théorie de la complexité sont des sujets théoriques d'une pertinence pratique, pour lesquels il existe également des approches pratiques. Attendez-vous à une didactique moderne qui relie strictement le formel à votre intuition, qui est conçue de manière conviviale pour l'apprentissage et qui présente finalement des domaines d'application de l'informatique pour chaque sujet. Stefan Neubert ne se contente pas de prendre plaisir à l'informatique théorique, mais se consacre également avec passion à sa transmission au début et tout au long du cursus de licence. Une introduction avec de nombreux exercices et exemples, également adaptée à l'auto-apprentissage.

Au sommaire :

Notation mathématique fondamentale
Modèles et limites de la calculabilité
Langages formels : automates finis, grammaires hors contexte, lemmes de pompage et plus
Méthodes de preuve pour la correction et la complexité temporelle des algorithmes
Paradigmes pour la conception d'algorithmes
Analyse amortie et bornes inférieures pour les temps d'exécution
NP-complétude et réduction.