Documents disponibles écrits par cet auteur

Atelier de fabrication de poutres de section réctangulaire / Mohamed Mezghiche 

Public ISBD Titre : Atelier de fabrication de poutres de section réctangulaire Type de document : texte imprimé Auteurs : Mohamed Mezghiche, Auteur ; Evgueni Bardokine, Directeur de thèse Editeur : [S.l.] : [s.n.] Année de publication : 1981 Importance : 95 f. Présentation : ill. Format : 30 cm. Accompagnement : 8 planches Note générale : Mémoire de Projet de Fin d’Études : Génie Mécanique : Alger, Université des Sciences et de la Technologie Houari Boumedienne. École Nationale Polytechnique : 1981 Bibliogr. [2] f Langues : Français (fre) Mots-clés : Atelier  de  fabrication Poutres  rectangulaire Soudage Index. décimale : PM00981 Résumé : Ce travail consiste à étudier et concevoir un atelier de fabrication par soudage de colonnes (poteaux-consoles) en acier faiblement alliés. Les aciers faiblement alliés, dont le comportement vis à vis du soudage à l'arc est nettement différent de celui des aciers courants de construction, et dans la présente étude on impose de prendre des précautions et des mesures sur les choix des moyens et des conditions de fabrication afin de sortir avec la meilleure qualité. Atelier de fabrication de poutres de section réctangulaire [texte imprimé] / Mohamed Mezghiche, Auteur ; Evgueni Bardokine, Directeur de thèse . - [S.l.] : [s.n.], 1981 . - 95 f. : ill. ; 30 cm. + 8 planches. Mémoire de Projet de Fin d’Études : Génie Mécanique : Alger, Université des Sciences et de la Technologie Houari Boumedienne. École Nationale Polytechnique : 1981 Bibliogr. [2] f Langues : Français (fre) Mots-clés : Atelier  de  fabrication Poutres  rectangulaire Soudage Index. décimale : PM00981 Résumé : Ce travail consiste à étudier et concevoir un atelier de fabrication par soudage de colonnes (poteaux-consoles) en acier faiblement alliés. Les aciers faiblement alliés, dont le comportement vis à vis du soudage à l'arc est nettement différent de celui des aciers courants de construction, et dans la présente étude on impose de prendre des précautions et des mesures sur les choix des moyens et des conditions de fabrication afin de sortir avec la meilleure qualité.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
PM00981	PM00981	Papier + ressource électronique	Bibliothèque centrale	Projet Fin d'Etudes	Disponible	Genie_mecanique	Consultation sur place/Téléchargeable

Documents numériques

MEZGHICHE.Mohamed.pdf URL

Intertraduction entre le calcul et la logique combinatoire / Mohamed Mezghiche 

Public ISBD Titre : Intertraduction entre le calcul et la logique combinatoire Type de document : texte imprimé Auteurs : Mohamed Mezghiche, Auteur ; André Chauvin, Directeur de thèse Editeur : Université Paris VII Année de publication : 1983 Importance : 134 f. Présentation : ill. Format : 27 cm. Note générale : Thèse de Doctorat : Informatique : Paris, Université Paris VII : 1983 Bibliogr. [1] f Langues : Français (fre) Mots-clés : Logique  combinatoire Index. décimale : D001383 Résumé : A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs. Leurs auteurs sont partis de la même motivation: donner un nouveau fondement aux mathématiques en réduisant les notions mathématique de base au plus petit nombre possible. Pour chacun de ces auteurs la notion essentielle en mathématiques est celle de fonction qu'il ramène à la notion de l'opération binaire d'application. Church, parti de l'idée de fonction comme primitive et fondamentale introduit en plus de l'opération binaire d'application de Schönfinkel l'opération d'abstraction qui lui permet de se passer des combinateurs de schönfinkel et d'introduire grâce aux termes d'abstraction, les fonctions ordinaires (extensionnelles). Cette dernière notion de fonction manque à la théorie de schönfinkel. Intertraduction entre le calcul et la logique combinatoire [texte imprimé] / Mohamed Mezghiche, Auteur ; André Chauvin, Directeur de thèse . - [S.l.] : Université Paris VII, 1983 . - 134 f. : ill. ; 27 cm. Thèse de Doctorat : Informatique : Paris, Université Paris VII : 1983 Bibliogr. [1] f Langues : Français (fre) Mots-clés : Logique  combinatoire Index. décimale : D001383 Résumé : A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs. Leurs auteurs sont partis de la même motivation: donner un nouveau fondement aux mathématiques en réduisant les notions mathématique de base au plus petit nombre possible. Pour chacun de ces auteurs la notion essentielle en mathématiques est celle de fonction qu'il ramène à la notion de l'opération binaire d'application. Church, parti de l'idée de fonction comme primitive et fondamentale introduit en plus de l'opération binaire d'application de Schönfinkel l'opération d'abstraction qui lui permet de se passer des combinateurs de schönfinkel et d'introduire grâce aux termes d'abstraction, les fonctions ordinaires (extensionnelles). Cette dernière notion de fonction manque à la théorie de schönfinkel.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D001383	D001383	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

MEZGHICHE.Mohamed.pdf URL