Grundkurs Theoretische Informatik

Informatica Teorica – il compagno di studio per le lezioni. La calcolabilità, i linguaggi formali, l'algoritmica e la teoria della complessità sono temi teorici con rilevanza pratica, ai quali si possono accedere anche in modo pratico. Aspettatevi una didattica moderna che collega rigorosamente il formale alla vostra intuizione, sviluppata in modo amichevole per l'apprendimento e che infine presenta per ogni argomento i campi di applicazione dell'informatica. Stefan Neubert non solo prova gioia per l'informatica teorica, ma si dedica anche con passione alla sua trasmissione all'inizio e nel corso del programma di laurea triennale. Un'introduzione con molti esercizi e esempi, adatta anche per lo studio autonomo.

Contenuti:

Notazione matematica di base
Modelli e limiti della calcolabilità
Linguaggi formali: automi finiti, grammatiche libere dal contesto, lemmi di pumping e altro
Procedure di dimostrazione per la correttezza e il tempo di esecuzione degli algoritmi
Paradigmi per la progettazione degli algoritmi
Analisi ammortizzata e limite inferiore per i tempi di esecuzione
NP-completezza e riduzione.