Informatica teorica

linguaggi di programmazione

• gestione esplicita della memoria (C)
• tipizzazione degli oggetti (Java)
• sottoclassi e sottoinsiemi (Java)
• programmazione guidata da eventi (Java)
• linguaggi di scripting (lua), embeddings
• linguaggi funzionali
• linguaggi a stack
• linguaggi logici

rappresentazioni numeriche

• architettura dei calcolatori
• numeri positivi
• numeri negativi
• numeri frazionari
• caratteri e altri dati

logica applicata

• valori booleani, condizioni e linguaggi basati sulla logica
• rappresentazione dati
• circuiti elettronici, sintesi
• rilevazione e correzione di errori
• soluzione di problemi per riduzione

grafi

• memorizzazione
• problemi su grafi
• implementazioni alternative
• estensioni
• complessità

linguaggi formali

• espressioni regolari
• automi
• grammatiche
• grep, sed, flex, bison

grafica

• postscript: draw+stroke, matrice di trasformazione
• algoritmi: linea, antialiasing, interpolazione
• cairo, alpha: Porter/Duff compositing operators

compressione

• dizionario, su testo
• zip o gzip

algoritmi fondamentali

• ricerca binaria
• ricerca locale
• backtracking
• branch and bound

strutture dati

• alberi
• tabelle hash
• b-tree

calcolabilità e complessità

• calcolabilità
• complessità