Les mathématiques ont beaucoup de symboles. Certains pourraient dire trop de symboles. Permet donc de faire quelques calculs avec des images. Permet d'avoir un papier, sur lequel nous allons puiser. Pour commencer le papier est vide, on dira que c'est équivalent à ou vrai
L'utilisation des dix inférences du système de déduction naturelle prouve les lois de DeMorgan . Les règles de déduction naturelle Introduction à la négation: {(P → Q), (P → ¬Q)} ⊢ ¬P Élimination de la négation: {(¬P → Q), (¬P → ¬Q)} ⊢ P Et introduction: {P, Q} ⊢ P ʌ Q Et élimination: P ʌ Q ⊢ {P,...
Étant donné un niveau d'imbrication d'entier positif net une chaîne sde caractères ascii imprimables ( à ~, produire un programme qui, lorsqu'il est exécuté dans la même langue, génère un programme qui génère un programme ... qui génère la chaîne s. Un total de nprogrammes doit être généré, tous...
Étant donné des entiers positifs, et h produisent w colonnes et h lignes de texte comme décrit ci-dessous.wwwhhhwwwhhh La première rangée commence avec 11 0s, la deuxième rangée avec 10 1s, la troisième avec neuf 2s et ainsi de suite la dixième rangée avec deux 9s. Sur chacune de ces dix premières...