LinksUtili < Calcolabilita

<font size="+2"> [[LinksUtili]] 
</font>
<p>
Qui un<a href="http://oxfordquantum.org/"> tutorial sul modello quantistico </a>
<p>
Un ricordo e un omaggio a Cobham: <a href="http://recursed.blogspot.it/2014/11/alan-cobham-appreciation.html/"> nel blog di Jeffrey Shallit "Recurrent thoughts about mathematics, science, politics, music, religion, and ... "</a>
<p>
Questa è la   homepage di <a href="http://davidsjohnson.net">David S. Johnson </a> che insieme a <a href="http://cm.bell-labs.com/cm/ms/former/mrg/index.html">Mike Garey </a> ha pubblicato il testo in cui c'è la prima collezione ragionata di problemi NP-completi.
<a href="http://www.amazon.com/Computers-Intractability-NP-Completeness-Mathematical-Sciences/dp/0716710455">Computers and Intractability: A Guide to the Theory of NP-Completeness</a>. Nella pagina di Johnson trovate un link a un file pdf con un catalogo aggiornato di problemi NP-completi.
<p>Questa &egrave; la pagina del corso di<a href="http://stellar.mit.edu/S/course/6/fa11/6.893/index.html">Philosophy and Theoretical Computer Science</a>, tenuto al MIT da S. Aaronson, dove trovate il link a vari articoli interessanti.
<p><a href="http://www.jflap.org/">In questa pagina  </a>trovate un'applicazione Java, JFLAP, che vi consente di costruire automi a stati finiti di vario tipo, grammatiche e macchine di Turing, eseguirli  su particolari input e verificare alcune costruzioni.
<p>Cliccando <a href="http://www.claymath.org/millennium-problems">qui</a>
andrete alla pagina dove il The Clay Mathematics Institute di Cambridge,
Massachusetts (CMI) presenta sette problemi da un milione di dollari, tra
cui <i>P</i> vs <i>NP</i>.
<br>
<a href = "http://www.acm.org/awards/taward.html"> Qui </a>trovate l'elenco dei vincitori del  Turing Award, il Nobel per l'Informatica.
<p>
<a href = "http://www.computerhistory.org/"> Qui </a> potete documentarvi sulla storia del calcolatore e trovare i vincitori del premio annuale conferito dal Computer History Museum.
<p>I link seguenti vi porteranno alle pagine bibliografiche di matematici, logici o infomatici citati durante le lezioni
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Church.html">CHURCH</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Godel.html">GODEL</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Kleene.html">KLEENE</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Post.html">POST</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Thue.html">THUE</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Turing.html">TURING</a>
<br><a href="http://www.student.cs.uwaterloo.ca/~cs462/Hall/robinson.html">ROBINSON</a>
<br><a href="http://www.student.cs.uwaterloo.ca/~cs462/Hall/greibach.html">GREIBACH</a>
<br><a href="http://www.student.cs.uwaterloo.ca/~cs462/Hall/chomsky.html">CHOMSKY</a>
<br><a href="http://web.mit.edu/linguistics/people/faculty/chomsky/index.html">CHOMSKI</a>
<br><a href="http://www.student.cs.uwaterloo.ca/~cs462/Hall/rabin.html">RABIN</a>
<br><a href="http://www.student.cs.uwaterloo.ca/~cs462/Hall/karp.html">KARP</a>
<br><a href="http://logic.pdmi.ras.ru/~yumat/">MATIYASEVICH</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Hilbert.html">HILBERT</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Russell.html">RUSSEL</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Cantor.html">CANTOR</a>
<br><a href="http://web.mit.edu/invent/iow/hopper.html">HOPPER</a>
<br><a href="http://www.thoralf.uwaterloo.ca/htdocs/scav/peano/peano.html">PEANO</a>
<br><a href="http://www.thoralf.uwaterloo.ca/htdocs/scav/frege/frege.html">FREGE</a>
<p><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Ackermann.html">ACKERMANN</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Herbrand.html">HERBRAND</a>
<br><a href="http://www-groups.dcs.st-and.ac.uk:80/~history/Mathematicians/Curry.html">CURRY</a>
</body>
</html>
This topic: Calcolabilita > LinksUtili
Topic revision: r25 - 2015-09-22 - EmanuelaFachini