Grundkurs Theoretische Informatik

Informatica teorica - il compagno di lezioni. La calcolabilità, i linguaggi formali, gli algoritmi e la teoria della complessità sono argomenti teorici con rilevanza pratica, per i quali esistono approcci altrettanto pratici. Puoi aspettarti un approccio didattico moderno che collega lo stretto formale con l'intuizione, elabora in un modo facile da imparare e infine presenta campi di applicazione dell'informatica per ogni argomento. Stefan Neubert non solo ama l'informatica teorica in prima persona, ma è anche appassionato di insegnarla all'inizio e nel corso del programma di Bachelor. Un'introduzione con molti compiti ed esempi, adatta anche all'autoapprendimento.

Dal contenuto:

Notazione matematica di base
Modelli e limiti della calcolabilità
Linguaggi formali: Automati finiti, grammatiche libere dal contesto, lemmi di pompaggio e altro
Metodi di prova per la correttezza e il tempo di esecuzione degli algoritmi
Paradigmi per la progettazione di algoritmi
Analisi ammortizzata e limite inferiore per i tempi di esecuzione
Completezza e riduzione NP.