No es nada complicado.
Aprender leyendo libros de ejercicios, es una forma de aprender penosa.
Lo ideal es leerse primero y tenerla siempre a mano la especificación del lenguaje que pretendes aprender. Y a partir de ahí cualquier libro de los anteriores (o de donde sea que uno saque la info), es fácil entenderla y aprenderla.

Sin conocer la especificación, no logras saber el alcance ni límites de cada proposición del lenguaje, luego se convierte en una aventura de descubrimiento... y que, como un isla, aquellos 'sitios que no visites', (del lenguaje) no tendrás ni pajolera idea de cómo funciona ni si te puede ser útil. Es decir en definitiva de ese modo solo aprendes con la experiencia, lo que no experimentas, no lo conoces... La teoría está uno obligado a conocerla y la práctica lo que te permite luego es dominarlo al detalle y en profundidad, pero sin lo previo, siempre estarás cojeando del lenguaje...

...esto es cosa de C y su 'demónica' herencia...
Al parecer pueden complicarse las barbas exasperadamente pero son incapaces de usar el mismo operador para expresar igualdad y asignación, eso les parece algo irresoluble .

igualdad :: 'If' expresion "=" expresion ['then'] ...
asignacion:: variable "=" expresion


...igual que lo anterior, a fin de cuentas...

...eso es simplemente la sintaxis, lo que se te reclama que pongas para que tenga dicho significado... No hay que darle más vueltas. Si tienes un amigo que se llama Pedro y él se empeña en que le llames Perico, pues lo llamas así si quieres que te atienda y ya.

Reutilizar variables, era algo adecuado cuando la memoria era extremadamente limitada. Entonces una misma variable que no se utilizaba más en su contexto, podía servir para otro contexto, asignando el valor propicio al caso...
Eso daba lugar a varios problemas:
--- El nombre debía ser abstracto, para poder utilizarla en varios contextos sin confusión...
--- Si un valor no se establecía cuando cambiaba de contexto, podía generar errores difíciles de localizar.
--- El código era difícil de leer, al usar nombres abstractos para las variables, era fácil perderse... imagina que vas al hopital y tienes que llamar Antonio a un médico, pero también a 2 enfermeros, a varios medicamentos, a ciertos tratamientos incluso a la referencia a alguna planta, ascensor y habitación... después de dar explicaciones a alguien con tantos 'Antonio', tú crees que habrá sido capaz de seguirte o que estará perdido en esa jungla de maleza de idéntico nombre pero distinta definición???

Considera además que un compilador realiza optimizaciones, por lo que uno debe despreocuparse de 'reutilizar' variables, tu usa nombres (significativos) el compilador se encargará de las direcciones...

Sí y no. Un bucle for es un bucle contador, como te decía en el mensaje anterior, basa su fundamento en un valor conocido, por lo general previamente. Esto es, no requiere que sea constante:
para x = 5 a 20 <--- usa constantes
para x = j a k <--- usa variables, el límite final puede ir variando durante los ciclos...

Si un bucle contador no satisface tus necesidades, es ahí donde los bucles 'while... loop' tienen su utilidad.

Más que equivocado, perdido... Tienes conocimientos muy sesgados que te limitan en exceso (a mi parecer).

No entiendo esto último... si quieres un ejemplo de uso, ya te sugerí (en el mensaje previo) que programaras generar la función granizo, con ambos tipos de bucles...

Esta analogía me dejó pensando!