Hola gjx2, $Codigo_Alumno se alimenta del codigo que ingresa el usuario en el formulario, se envia por metodo POST.
echo "<form action = 'Index_Aula.php' method = 'Post'>";
echo "<h3>Login de Usuario</h3>";
echo "<label = 'Codigo_Alumno'><p>Código de Usuario</label><br><br>";
echo "<input type = 'text' name = 'Codigo_Alumno'><br><br>";
echo "<input type = 'submit' name = 'Ingresar' value = 'Ingresar'>";
echo "</form>";
Ese es el formulario de login, los datos se envian por metodo post. Saludos