thierry-bouquet documents

Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), dopérations (+, ), de relations (=, ) Axiomes : ce sont des
Documents Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), dopérations (+, ), de relations (=, ) Axiomes : ce sont des