Category calcul littéral

Ce premier chapitre porte sur le langage littéral, à travers l’étude de programmes de calcul. Nous révisons les équations et apprenons à développer et réduire des expressions littérales à l’aide de la double distributivité. Nous découvrons les identités remarquables et utilisons le langage littéral pour prouver des conjectures.