Informatique Générale Informatique Générale Logique des ...

1Informatique générale - Logique des propositions et algèbre de Boole 1 Informatique Générale Guillaume HutzlerLaboratoire IBISC(Informatique Biologie Intégrative et Systèmes Complexes)urs Dokeos Informatique générale - Logique des propositions et algèbre de Boole 2 Plan et objectifs du cours • Objectifs du cours– Donner une vue d'ensemble de l'informatique• du point de vue historique• du point de vue des concepts• du point de vue des techniques– Donner un aperçu des métiers de l'informatique • Séances– 1-2 : Histoire de l'informatique– 3-4 : Fondements mathématiques de l'informatique– 5-6 : Architecture des ordinateurs et des micro-processeurs– 7-8

• algèbre de boole
• proposition arbitraire
• ¬a vraie–
• logique des propositions
• vv vv
• raisonnement par l'absurde ¶
• contraposée du sens direct du théorème de pythagore informatique générale
• informatique générale
• sens