Codice PHP:
$ptr_mysqls=mysql_connect("localhost","root","")                                 
or die(
"Impossibile connettersi al server.\n"); 
mysql_select_db("orari"$ptr_mysqls)                                            
or die(
"Impossibile aprire il database.\n"); 


if(
$_POST['fav_cor'] == "info")                                                 


    if(
$_POST['fav_sem'] == "primo")                                           //controlla il semestre 
    

            if(
$_POST['fav_anno'] == "prian")                                  //controlla l'anno 
            

                
$query="SELECT Acronimo, NomeCorso FROM informatica WHERE AnnodiCorso = 1 AND Semestre = 'P' ";                                                      
                
$ptr_risultato_query=mysql_query($query$ptr_mysqls); 
                while( 
$record=mysql_fetch_array($ptr_risultato_queryMYSQL_ASSOC))   {  
                 
$ontatore++
                                            print(
"<input type=\"checkbox\" name=\"NomeCorso" $contatore "[]\" value=\"$valore_campo\" checked>"); 
                        print 
$valore_campo
                     
                    print(
"
"
); 
                } 

hai già provato una cosa del genere?