University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 510-Mathématique
Ajouter le résultat dans votre panier Affiner la recherche
La courbure généralisée d’une courbe et surface : Approche infinitésimale / Chaima Benbouriche
Titre : La courbure généralisée d’une courbe et surface : Approche infinitésimale Type de document : texte imprimé Auteurs : Chaima Benbouriche, Auteur ; Safa Bouchenak, Auteur ; Nabil Beroual, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Analyse Non Standard
Décomposition de Goze
Courbure
Point régulier et singulier.Index. décimale : 510-Mathématique Résumé : En utilisant des méthodes d'analyse non standard fondé par A. Robinson et axiomatisées par E. Nelson et en
utilisant le théorème de décomposition de Goze, nous essayons dans cette étude d'établir la courbure
généralisée d'une courbe plane γ(t) aux points réguliers et aux points infiniment proches d'un point singulier.
On sait que le rayon de courbure d'une courbe plane γ(t) est la limite du rayon d'un cercle circonscrit à un
triangle ABC où B et C sont des points de γ infiniment proches de A. Notre but est de donner une preuve
non standard de ce fait. Plus précisément, si A est un point standard d'une courbe standard γ et B, C sont
des points de γ définis par B = γ (t + α) et C = γ (t + β ) où α et β sont des réels infinitésimaux, on essaie de
calculer la quantité (tan A)/(||BC||) dans les cas où A est birégulier, régulier, singulier ou singulier d'ordre p =
By using methods of non standard analysis is given by A. Robinson and axiomatized by E. Nelson and
depending on the theorem of Decomposition of Goze, we try in this reshearch to establish the generalized
curvature of a plane curve γ(t) at regular points and at points infinitely close to a singular point. It is known
that the radius of curvature of a plane curve γ(t) is the limit of the radius of a circle circumscribed to a
triangle ABC where B and C are points of γ infinitely close to A. Our goal is to give a non standard proof of
this fact. More precisely, if A is a standard point of a standard curve γ and B, C are points of γ defined by B
= γ (t + α) and C = γ (t + β ) where α and β are reals infinitesimals, we intend to calculate the quantity
in the cases where A is biregular, regular, singular or singular of order p.
This study show that the non standard approach provides us with methods simple to use in studying the
curvature of the curve at the mentioned points.Côte titre : MAM/0672 En ligne : https://drive.google.com/file/d/1EkCuN4nRtW40nKGnEeDLuKajtYXV23jK/view?usp=drive [...] Format de la ressource électronique : La courbure généralisée d’une courbe et surface : Approche infinitésimale [texte imprimé] / Chaima Benbouriche, Auteur ; Safa Bouchenak, Auteur ; Nabil Beroual, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Analyse Non Standard
Décomposition de Goze
Courbure
Point régulier et singulier.Index. décimale : 510-Mathématique Résumé : En utilisant des méthodes d'analyse non standard fondé par A. Robinson et axiomatisées par E. Nelson et en
utilisant le théorème de décomposition de Goze, nous essayons dans cette étude d'établir la courbure
généralisée d'une courbe plane γ(t) aux points réguliers et aux points infiniment proches d'un point singulier.
On sait que le rayon de courbure d'une courbe plane γ(t) est la limite du rayon d'un cercle circonscrit à un
triangle ABC où B et C sont des points de γ infiniment proches de A. Notre but est de donner une preuve
non standard de ce fait. Plus précisément, si A est un point standard d'une courbe standard γ et B, C sont
des points de γ définis par B = γ (t + α) et C = γ (t + β ) où α et β sont des réels infinitésimaux, on essaie de
calculer la quantité (tan A)/(||BC||) dans les cas où A est birégulier, régulier, singulier ou singulier d'ordre p =
By using methods of non standard analysis is given by A. Robinson and axiomatized by E. Nelson and
depending on the theorem of Decomposition of Goze, we try in this reshearch to establish the generalized
curvature of a plane curve γ(t) at regular points and at points infinitely close to a singular point. It is known
that the radius of curvature of a plane curve γ(t) is the limit of the radius of a circle circumscribed to a
triangle ABC where B and C are points of γ infinitely close to A. Our goal is to give a non standard proof of
this fact. More precisely, if A is a standard point of a standard curve γ and B, C are points of γ defined by B
= γ (t + α) and C = γ (t + β ) where α and β are reals infinitesimals, we intend to calculate the quantity
in the cases where A is biregular, regular, singular or singular of order p.
This study show that the non standard approach provides us with methods simple to use in studying the
curvature of the curve at the mentioned points.Côte titre : MAM/0672 En ligne : https://drive.google.com/file/d/1EkCuN4nRtW40nKGnEeDLuKajtYXV23jK/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0672 MAM/0672 Mémoire Bibliothéque des sciences Français Disponible
DisponibleLes Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité / DOWEK,Gilles
Titre : Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité Type de document : texte imprimé Auteurs : DOWEK,Gilles Editeur : Palaiseau : École polytechnique Année de publication : 2010 Importance : 1 vol. (193 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 510-Mathématique Résumé :
La 4e de couverture indique : "Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même."Note de contenu :
Sommaire
Les démonstrations
Les algorithmes
Les démonstrations et les algorithmesCôte titre : Fs/6970-6971,Fs/6906-6909 Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité [texte imprimé] / DOWEK,Gilles . - Palaiseau : École polytechnique, 2010 . - 1 vol. (193 p.) ; 24 cm.
ISBN : 978-2-7302-1569-5
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Mathématique Mots-clés : Logique mathématique Index. décimale : 510-Mathématique Résumé :
La 4e de couverture indique : "Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même."Note de contenu :
Sommaire
Les démonstrations
Les algorithmes
Les démonstrations et les algorithmesCôte titre : Fs/6970-6971,Fs/6906-6909 Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité Fs/6906 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6907 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6908 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6909 Fs/6906-6909 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6970 Fs/6970-6971 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6971 Fs/6970-6971 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Deux métaheuristiques pour résoudre le problème de transport Type de document : texte imprimé Auteurs : Yasmina Aoula, Auteur ; Bariza Kherfallah ; Rachid Zitouni, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (52 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Mathématique Index. décimale : 510-Mathématique Côte titre : MAM/0699 En ligne : https://drive.google.com/file/d/1B-NQvLCC28_eGiUWhx8rsauqMWjSJaiW/view?usp=drive [...] Format de la ressource électronique : Deux métaheuristiques pour résoudre le problème de transport [texte imprimé] / Yasmina Aoula, Auteur ; Bariza Kherfallah ; Rachid Zitouni, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (52 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Mathématique Index. décimale : 510-Mathématique Côte titre : MAM/0699 En ligne : https://drive.google.com/file/d/1B-NQvLCC28_eGiUWhx8rsauqMWjSJaiW/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0699 MAM/0699 Mémoire Bibliothéque des sciences Français Disponible
DisponibleDiscovering calculus with Mathematica / Knoll, Cecilia A.
Titre : Discovering calculus with Mathematica Type de document : texte imprimé Auteurs : Knoll, Cecilia A., Auteur ; Michael D Shaw Editeur : New York : John wiley&sons Année de publication : 1995 Importance : 1 vol (340 p.) Format : 26 cm ISBN/ISSN/EAN : 978-0-471-00976-4 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Mathématique Mots-clés : Calculus - Traitement de données.
Mathematica (fichier informatique)
Mathematica (programme d'ordinateur)Index. décimale : 510-Mathématique Résumé :
Un complément enrichi à un cours de calcul classique. Utilise le programme Mathematica comme un outil pour explorer le calcul au-delà du niveau des calculs par calcul et des problèmes de gabarit à travers des tâches de laboratoire structurées en plusieurs étapes. Problèmes présentés comme des exercices de laboratoire de déchirure avec un espace pour les étudiants de montrer leur travail. Aucune connaissance préalable de Mathematica n'est requise.
Note de contenu :
Sommaire
1- Functions and graphs
2- Limits
3- Differentiation
4- Applications of the derivative
5- Riemann sums and integration
6- Applications of the integral
7- Logarithmic and exponential functions
8- Hyperbolic and inverse trigonometric functions
9- Numerical integration
10- Improper integrals
11- Infinite series
12- Polar coordinates and parametric equations
13- Vectors and vector valued functions
14- Partial derivatives
15- Multiple integrals and line integrals
16- Differential equationsCôte titre : Fs/14475 Discovering calculus with Mathematica [texte imprimé] / Knoll, Cecilia A., Auteur ; Michael D Shaw . - New York : John wiley&sons, 1995 . - 1 vol (340 p.) ; 26 cm.
ISBN : 978-0-471-00976-4
Langues : Anglais (eng) Langues originales : Anglais (eng)
Catégories : Mathématique Mots-clés : Calculus - Traitement de données.
Mathematica (fichier informatique)
Mathematica (programme d'ordinateur)Index. décimale : 510-Mathématique Résumé :
Un complément enrichi à un cours de calcul classique. Utilise le programme Mathematica comme un outil pour explorer le calcul au-delà du niveau des calculs par calcul et des problèmes de gabarit à travers des tâches de laboratoire structurées en plusieurs étapes. Problèmes présentés comme des exercices de laboratoire de déchirure avec un espace pour les étudiants de montrer leur travail. Aucune connaissance préalable de Mathematica n'est requise.
Note de contenu :
Sommaire
1- Functions and graphs
2- Limits
3- Differentiation
4- Applications of the derivative
5- Riemann sums and integration
6- Applications of the integral
7- Logarithmic and exponential functions
8- Hyperbolic and inverse trigonometric functions
9- Numerical integration
10- Improper integrals
11- Infinite series
12- Polar coordinates and parametric equations
13- Vectors and vector valued functions
14- Partial derivatives
15- Multiple integrals and line integrals
16- Differential equationsCôte titre : Fs/14475 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/14475 Fs/14475 Livre Bibliothéque des sciences Anglais Disponible
DisponibleLes Distribution / GUELFAND,I.M.
Titre : Les Distribution Type de document : texte imprimé Auteurs : GUELFAND,I.M., Auteur Editeur : Paris : Dunod Année de publication : 1962 Importance : 1 vol (376 p.) Format : 24 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathématique Mots-clés : Distribution des produits: Études de cas Index. décimale : 510-Mathématique Note de contenu : Sommaire
1- Définition des distributions Propriétés élémentaires
2- Transformation de fourier des distributions
3- Etude de quelques types particuliers de distributionsCôte titre : Fs/14408 Les Distribution [texte imprimé] / GUELFAND,I.M., Auteur . - Paris : Dunod, 1962 . - 1 vol (376 p.) ; 24 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Mathématique Mots-clés : Distribution des produits: Études de cas Index. décimale : 510-Mathématique Note de contenu : Sommaire
1- Définition des distributions Propriétés élémentaires
2- Transformation de fourier des distributions
3- Etude de quelques types particuliers de distributionsCôte titre : Fs/14408 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fs/14408 fs/14408 livre Bibliothéque des sciences Français Disponible
DisponibleDistributions and fourier transforms / DONOGHUE,William F.
PermalinkDistributions:Théorie et problèmes / CHOQUET-BRUHAT,Y
PermalinkElementary theory, Volume I. Fundamentals of the theory of operator algebras / Richard V. Kadison
PermalinkPermalinkÉtude et analyse de quelques méthodes numériques pour la résolution d'EDP elliptiques / Randa Aaitouche
PermalinkEtude de certaines méthodes du gradient conjugué pour la programmation nonlinéaire. / Hadjer Laidoudi
PermalinkEtude comparative entre la technique des fonctions minorantes et majorantes pour la programmation linéaire / Oumaima Boudra
PermalinkEtude du comportement asymptotique d’un problème hyperbolique à données périodiques / Raounek Bennekaa
PermalinkEtude du comportement asymptotique d’un problème hyperbolique à données périodiques / Raounek Bennekaa
PermalinkPermalink