Tutti i Forum  Magistrale - Primo Anno  Metodi formali dell'Informatica  Cook e Formula booleana quantificata

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra: 640 x 480 800 x 600 1024 x 768 1280 x 1024 Nome Utente: Password: Modo: Base  Aiuto  Finestra  Formato: Carattere Andale Mono Arial Arial Black Book Antiqua Century Gothic Comic Sans MS Courier New Georgia Impact Lucida Console Script MT Bold Stencil Tahoma Times New Roman Trebuchet MS Verdana   Grandezza 1 2 3 4 5 6   Colore Nero Rosso Giallo Rosa Verde Arancione Viola Blu Beige Bordò Verde Oliva Blu Marino Marrone Verde Limone Icona Messaggio:                             Messaggio:   * Il codice HTML è OFF * Il Codice Forum è ON Smilies [quote][i]Messaggio inserito da Domenicoxx85[/i] [br]Ragazzi, volevo sapere se per lo scritto di metodi formali si dovrebbe studiare anke il metodo di cook e la formula booleana quantificata che sono inserite nella dispense date da professore? Non ci sono nel programma!!!!! [/quote]    Allega file   Clicca qui per inserire la tua firma nel messaggio. Clicca qui per sottoscrivere questa Discussione.