Discussione:Teorema di Cook-Levin

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

Ho aggiunto il Teorema di Cook, traducendo dalla corrispondente pagina di en.wikipedia.org. Ho omesso la dimostrazione, per il momento, ma ho intenzione di tradurla in seguito.

La pagina è largamente incompleta, dato che è solo un inizio. Saluti Questo commento senza la firma utente è stato inserito da Ihsahn (discussioni · contributi) 15:09, 6 lug 2005‎ (CEST).[rispondi]

Rinominare questa voce in "Teorema di Cook-Levin"[modifica wikitesto]

Penso che questa voce debba essere rinominata in "Teorema di Cook-Levin", perché così è chiamato in parecchi libri, tra cui Arora,Barak Computational complexity e Sipser Introduction to the Theory of Computation e nelle wikipedia nelle altre lingue, ad esempio quella inglese. --Vitalij zad (msg) 13:23, 4 gen 2014 (CET)[rispondi]

Non avendo ricevuto riscontri di alcun tipo, ho proceduto a rinominare questa voce. Sono a disposizione per discussioni e chiarimenti. --Vitalij zad (msg) 16:18, 5 gen 2014 (CET)[rispondi]