vict85 ha scritto:Solo una domanda: che programma ha questo pensantissimo fondamenti di informatica? Sinceramente trovo che in nessuna facoltà al mondo ci sia un fondamenti di informatica che richieda quasi 2 mesi di studio per essere preparato. Specialmente per qualcuno interessato all'informatica e ai computer come in teoria è un ingegnere elettronico. Ma se mi dici il programma potrei avere una idea più precisa, seppur io sia un matematico (ma mi interesso da anni all'informatica).
Sono passati 12 anni da questo post; eppure, ho sentito il bisogno di iscrivermi pur di rispondere. Mannaggia! Fondamenti di informatica non vuol dire ASSOLUTAMENTE rudimenti di programmazione! Sono le basi di informatica teorica richieste ad un corso di laurea in informatica, uno dei corsi più difficili!
Un esempio di programma:
Linguaggi e grammatiche,
Automi a stati finiti e linguaggi regolari,
Linguaggi liberi da contesto, forme normali e automi a pila,
Classificazione di Chomsky (cenni).
Nozione intuitiva di algoritmo,
Modelli formali per il calcolo: Macchine di Turing/funzioni ricorsive/programmi While,
Tesi di Church,
Goedelizzazione,
Universalità e Teorema s-m-n,
Problemi solubili e non: problema della terminazione,
Metaprogrammazione: compliazione,
interpretazione e specializzazione,
Insiemi ricorsivi e r.e.,
Teoremi di Ricorsione e Teorema di Rice,
Riducibilità funzionale: Insiemi completi, creativi e produttivi.
Tutte cose che uno che "si interessa all'informatica", almeno a livello pratico, vorrebbe evitare come la peste.