Discussion :

[Machjaghjolu]

J'aimerai savoir si l'architecture (1.1 Calcul propositionnel naïf, 1.2 Propriétés des connecteurs logiques, 1.3 Règles de déduction, en gros ce qui se trouve dans le cours "débuter en programmation" du site) est nécessaire pour l'apprentissage à la programmation, en quoi est-ce nécessaire?

Oui, je sais c'est une question con vu que c'est dedans ca sert etc.. mais j'aimerai savoir en quoi etc...

[gangsoleil]

Quitte a me faire flageller sur la place publique : ca n'est pas d'une grande utilite pour la programmation en soit.
En revanche, le calcul propositionnel et les proprietes des connecteurs logiques sont extremement utiles en algorithmie, donc je te conseille quand meme de t'y interesser fortement.
les regles de deduction, on a essaye de me faire voir ca en lambda calcul (outil mathematique extremement puisant mais un peu complexe de mon point de vue - sert a la verification formelle), en compilation, et en theorie des langages.
C'est utile dans ce dernier aspect, c'est a dire si tu t'interesses un peu a "comment fonctionne un langage/compilo", mais si tu souhaites simplement apprendre a bien coder, oublies le 1.3 - dans un premier temps

PS : essaie d'etre plus clair dans tes messages, parce que les references de ton post ne sont pas claires (il eut ete plus simple de comprendre a quoi tu faisais reference si tu avais insere un lien par exemple, ou bien au moins cite la reference complete)

[Machjaghjolu]

le lien du cours c'est http://rmdiscala.developpez.com/cours/ ca se trouve dans le chapitre 1 partie 2
Sinon merci de tes précisions

[KORTA]

Jusqu'a présent dans mes travaux, ca ne m'a pas servi directement en programmation sauf en prolog (1.3) et en IA, mais probablement ca m'a aidé dans le raisonnement et dans la conception (algorithmique).
Il y a certainement d'autres domaines dans lesquels cela sert, mais je n'ai pas pratiqué personnellement

[moldavi]

En fait c'est trop utile pour effectuer des opérations logiques sur des nombres binaires. C'est la base pour comprendre ce qu'est un OU logique , un ET logique etc...

En programmation ça peut te servir à comparer deux nombres, à récupérer un bit particulier d'un nombre (ou plusieurs etc...).

Tu as déjà vu des lignes de code comme :

if ( nombre & 1 )

Même si le cours est plus que complet par rapport à ce genre d'utilisation, il te donne les bases.