REPARTITION DES ACTIVITES SCIENTIFIQUES ENTRE ACTEURS ET REMPLACEMENT DU SCIENTIFIQUE DANS LE PROCESSUS ETUDIER L’HISTOIRE POUR DETERMINER LES LIMITES DE L’OUVERTURE DE LA SCIENCE Des historiens des sciences ainsi que des sociologues ont apporté des éclairages fondamentaux sur l’évolution de...

Introduction : Formalisation du raisonnement | les logiques 1 Systemes formels : exemples introductifs 1.1 Exemple 1 : generation de theoremes de l'arithmetique 1.2 Exemple 2 : calcul d'integrales 1.3 Exemple 3 : arithmetique de Peano 2 Calcul des propositions...

RESUME THEORIQUE I. Logique booléenne I.1 Définition I.2 Les lois de l’algèbre de Boole I.3 Les Théorèmes de l’algèbre de Boole I.4 Postulats de l’algèbre de Boole I.5 Simplification algébrique des équations booléennes II. Les systèmes de numération II.1 Base...

- Historique & Introduction - Logique des propositions - Logique des prédicats Historique & Introduction Quelques dates de l’histoire de La logique - En -300 : Aristote (considéré souvent comme le père de la ‘Logique’ comme discipline) définit les concepts de...

Addition binaire Demi-additionneur Addition et soustraction sont deux opérations arithmétiques de base. Commençons par l'addition de deux nombres binaires, la soustraction sera étudiée dans le prochain paragraphe. En base 2 l'addition de deux bits s'écrit : Comme en décimal, nous...

Systèmes binaires et algèbre de Boole Actuellement, alors que les ordinateurs analogiques sont encore du domaine de la recherche, les informations traitées par les systèmes informatiques sont codées sous forme binaire. Un système binaire (signal, circuit, etc…) est un système...