Grundkurs Theoretische Informatik

Informatique théorique - le compagnon de cours. La calculabilité, les langages formels, l'algorithmique et la théorie de la complexité sont des thèmes théoriques d'importance pratique, auxquels il existe des approches tout aussi pratiques. Réjouissez-vous d'une didactique moderne qui associe le strictement formel à votre intuition, l'élabore de manière à faciliter l'apprentissage et présente finalement pour chaque thème des champs d'application de l'informatique. Stefan Neubert n'aime pas seulement l'informatique théorique, il se consacre aussi avec passion à son enseignement au début et au cours des études de bachelor. Une introduction avec de nombreux exercices et exemples, également adaptée à l'auto-apprentissage.

Au sommaire :

Notation mathématique de base
Modèles et limites de la calculabilité
Les langages formels : Automates finis, grammaires sans contexte, lemmes de pompage et plus encore
Procédures de preuve de l'exactitude et de la durée d'exécution des algorithmes
Paradigmes pour la conception d'algorithmes
Analyse amortie et limite inférieure pour les temps d'exécution
NP-complétude et réduction.