Mudança de nome

Fala Michael! Tudo bem?

Na prática o que ele está fazendo é apenas apagar os arquivos compilados(no seu caso provavelmente está com o nome programa.exe) e em seguida renomear o programa.c. Caso seja mais fácil para você pode fazer isso diretamente pelo windows explorer, indo até a pasta e apagando o programa.exe e renomeando o programa.c.

Mas caso queira fazer pelo terminal sempre que não conhecer um comando você consegue procurar facilmente na internet qual é o comando do windows equivalente à um do Mac que o professor utilizar, nesse caso ele utilizou dois comandos:

Apagar arquivo: No windows o equivalente é o del, você pode usar um "del programa.exe".

Renomear arquivo: No windows o equivalente é o ren, você pode usar um "ren programa.c michael.c" .