Discussione:Logica di Hoare
Vai alla navigazione
Vai alla ricerca
Ma la regola condizionale ?[modifica wikitesto]
Manca la casistica sull'if, cercherò di inserire un paragrafo dedicato --Domenico Biancardi (msg) 12:18, 5 feb 2016 (CET)
Citazione non compresa[modifica wikitesto]
Ma perchè è stata messa una citazione su un titolo? Quell'assioma è parte integrante della teoria di hoare quindi sono necessarie le fonti su tutto l'articolo, cosa che farò appena avrò un attimo di tempo --Domenico Biancardi (msg) 11:18, 6 feb 2016 (CET)