Université M’hamed Bougara Boumerdes

Département : mécanique
Domaine: Sciences et Technologies
Filière : Electromécanique
Spécialité: Electromécanique
Nom Matricule
Walid toumi 202031039347
Rayan kari 192031073771
Mohamed chaib 202031027098
Falcou abderaouf 202031035787
Tp : logique combinatoire

Groupe : B
Electromécanique

1
 : Introduction
En logique mathématique, la logique combinatoire est une
théorie logique1 introduite par Moses Schönfinkel en 1920 lors d'une conférence et
développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables
en mathématiques, pour formaliser rigoureusement la notion de fonction et pour
minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la
suite de Henry M. Sheffer. Plus récemment, elle a été utilisée en informatique comme
modèle théorique de calcul et comme base pour la conception de langages de
programmation fonctionnels.
Le concept de base de la logique combinatoire est celui de combinateur qui est une
fonction d'ordre supérieur ; elle utilise uniquement l'application de fonctions et
éventuellement d'autres combinateurs pour définir de nouvelles fonctions d'ordre
supérieur. Chaque combinateur simplement typable est une démonstration à la
Hilbert en logique intuitionniste et vice-versa . On appelle ceci la correspondance de
Curry-Howard

 But de travaille :
Consolider les connaissances acquises pendant le cours par des travaux
Pratique pour mieux comprendre et assimiler le le contenu de cette matière

 Partie théorique :

Définition de MATLAB :
(« matrix laboratory ») est un langage de script émulé par
un environnement de développement du même nom ; il est utilisé à des fins
de calcul numérique. Développé par la société The MathWorks, MATLAB permet
de manipuler des matrices, d'afficher des courbes et des données, de mettre en
œuvre des algorithmes, de créer des interfaces utilisateurs, et peut s’interfacer
avec d’autres langages comme le C, C++, Java, et Fortran.

2
Les utilisateurs de MATLAB (environ 4 millions en 2019) sont de milieux très
différents tels que l’ingénierie, les sciences et l’économie, dans un contexte aussi
bien industriel que pour la recherche.
Matlab peut s’utiliser seul ou bien avec des toolboxes (« boîte à outils »).

Définition de Simulink :
Est une plate-forme de simulation multi-domaine et de modélisation de
systèmes dynamiques. Il fournit un environnement graphique et un ensemble de
bibliothèques contenant des blocs de modélisation qui permettent le design
précis, la simulation, l’implémentation et le contrôle de systèmes de
communications et de traitement du signal. Simulink est intégré à MATLAB,
fournissant ainsi un accès immédiat aux nombreux outils de développement
algorithmique, de visualisation et d’analyse de données de MATLAB.

Les portes logiques :

Les portes peuvent être classées suivant leur nombre d'entrées :

« portes » sans entrée : VRAI, FAUX ;

portes à une entrée : NON (NOT), OUI ;

portes à deux entrées : ET (AND), NON-ET (NAND), OU (OR), NON-OU (NOR), OU

exclusif

(XOR), Coïncidence (informatique) dite aussi NON-OU exclusif ou équivalence

(XNOR),

implication ;

À partir de trois entrées, le nombre de fonctions commence à subir l'influence de

l'explosion

combinatoire. On note toutefois l'existence de : ET, OU, etc. à plus de deux

entrées.

3
4
 partie expérimental :

5
6
7
8
9
10
 Conclusion :
Une porte logique prend en entré un ou plusieurs bits et génère
en sortie un bit de résultat. Ce résultat dépend de l’état des bits
en entrée et du type de la porte logique. On représente alors
l’ensemble des valeurs d’entrée possibles et leurs résultats en
sortie dans un tableau nommé la table de vérité. Attention, il
existe deux représentations pour chaque porte logique, une
Américaine et une Européenne

11