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 pila
• 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

grafica (non in programma)

• postscript
  • draw e stroke
  • interno ed esterno
  • maschere
  • matrice di trasformazione
• cairo e Python
  • operatori di composizione di Porter e Duff
  • trasparenza
  • grafica + eventi (javascript)
• algoritmi
  • linea
  • antialiasing
  • riempimento
  • interpolazione

algoritmi fondamentali (non in programma)

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

strutture dati (non in programma)

• alberi
• tabelle hash
• b-tree

calcolabilità e complessità

• calcolabilità
• macchine teoriche
• complessità