Teoria della calcolabilità
Buonasera,
non sapevo bene dove postare, al limite lo spostate voi. In ogni caso la questione è la seguente, sono al primo anno della triennale in matematica e tutto sommato mi trovo bene, però da un po' di tempo ho sentito parlare di alcune questioni inerenti la teoria della calcolabilità, e come materia mi stuzzica molto. Vorrei sapere quali sono, secondo voi, i prerequisiti per iniziare a studiare questa materia e in caso se mi potete anche dire qualche titolo di testi validi oppure qualche dispensa completa.
Grazie mille
non sapevo bene dove postare, al limite lo spostate voi. In ogni caso la questione è la seguente, sono al primo anno della triennale in matematica e tutto sommato mi trovo bene, però da un po' di tempo ho sentito parlare di alcune questioni inerenti la teoria della calcolabilità, e come materia mi stuzzica molto. Vorrei sapere quali sono, secondo voi, i prerequisiti per iniziare a studiare questa materia e in caso se mi potete anche dire qualche titolo di testi validi oppure qualche dispensa completa.
Grazie mille
Risposte
Nessuno???
Penso la sola logica matematica del primo ordine. Non è un argomento che compare molto nei corsi di matematica, se non te lo vai a cercare. Sulla pagina di wiki ho visto che ci sono dei riferimenti bibliografici, hai provato a sfogliarli?
Ciao jJjjJ 
I prerequisiti essenziali, come diceva vict85 nel suo post, sono essenzialmente concetti di logica matematica del primo ordine. Mi sento di dire che sicuramente male non fanno molte nozioni di informatica teorica su teoria della complessità e linguaggi formali. Dico questo perché dove ho studiato io (università di Venezia) ma non solo in realtà, questo corso assume la denominazione di "Calcolabilità e linguaggi formali" e, come puoi intuire dal nome, i sopracitati elementi di informatica teorica tornano sicuramente molto utili per chi voglia affrontare lo stesso.
Se hai bisogno di qualche testo in particolare ti posso dire chi contattare, magari ci sentiamo in privato. Con il professore che ha tenuto questo corso tra l'altro ci ho pure svolto la tesi magistrale, anche se non direttamente inerente alla calcolabilità.
I prerequisiti essenziali, come diceva vict85 nel suo post, sono essenzialmente concetti di logica matematica del primo ordine. Mi sento di dire che sicuramente male non fanno molte nozioni di informatica teorica su teoria della complessità e linguaggi formali. Dico questo perché dove ho studiato io (università di Venezia) ma non solo in realtà, questo corso assume la denominazione di "Calcolabilità e linguaggi formali" e, come puoi intuire dal nome, i sopracitati elementi di informatica teorica tornano sicuramente molto utili per chi voglia affrontare lo stesso.
Se hai bisogno di qualche testo in particolare ti posso dire chi contattare, magari ci sentiamo in privato. Con il professore che ha tenuto questo corso tra l'altro ci ho pure svolto la tesi magistrale, anche se non direttamente inerente alla calcolabilità.
Grazie ad entrambi per le risposte, da wikipedia sono arrivato al pdf http://www.dis.uniroma1.it/~ausiello/In ... o/main.pdf che mi sembra buono per iniziare, solo che volevo capire se magari c'era prima qualche altro argomento utile da studiare prima di iniziare a leggere quelle dispense.
@vict85 in effetti anche nel nostro cdl non c'è quasi niente di quegli argomenti, si trovano un po' più ad informatica ( ma nemmeno troppo, soprattutto alla specialistica) però mi interesserebbe approfondirli.
@vict85 in effetti anche nel nostro cdl non c'è quasi niente di quegli argomenti, si trovano un po' più ad informatica ( ma nemmeno troppo, soprattutto alla specialistica) però mi interesserebbe approfondirli.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo