Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Bulletin of the Belgian mathematical society Simon Stevin

Cote : BOFFA l

analyse non standard ; enseignement des mathématiques ; logique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Prépublication de l'IRMA

Cote : M/A8(1995/013)

analyse non standard ; équation différentielle ; feuilletage

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publications mathématiques de l'Université Paris VII

Cote : M/A7(31/2)

analyse non standard ; mathématique finitaire

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publications mathématiques de l'Université Paris VII

Cote : M/A7(31/1)

analyse non standard ; mathématique finitaire

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publication de l'IRMA : Université Louis Pasteur Strasbourg

Cote : M/A8(424)

analyse non standard ; canard ; équation différentielle ; perturbation singulière

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publication de l'IRMA : Université Louis Pasteur Strasbourg

Cote : M/A9(35)

analyse harmonique ; analyse non standard ; équation de Bethe-Salpeter ; opérateur de transition ; opérateur de Volterra ; perturbation singulière ; probabilité ; spectroscopie moléculaire ; vibration de symétrie

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publication de l'IRMA : Université Louis Pasteur Strasbourg

Cote : M/A8(222)

analyse non standard ; équation différentielle ; fonction différentiable ; forme de Pfaff ; optimisation ; perturbation singulière

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Astérisque

Cote : M/A3(109-110)

analyse non standard ; équation différentielle

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Studies in logic and the foundations of mathematics

Cote : BARWISE k
ISBN/ISSN : 0-444-85345-6

analyse non standard ; automate ; ensemble projectif ; fonction récursive ; intuitionisme ; logique ; thèse de Church

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(369)
ISBN/ISSN : 3-540-06656-X

analyse non standard ; fonction réelle ; modèle non standard

... Lire [+]

Sélection

Documents analyse non standard 47 résultats

Logique dans l'enseignement des mathématiques Boffa, M. ; Pétry, A. | Société mathématique de Belgique 1998 Nouveau

Colloque trajectorien : à la mémoire de Georges Reeb et Jean-Louis Callot Fruchard, Augustin ; Troesch, Albert ; Reeb, Georges ; Callot, Jean-Louis | Université Louis Pasteur 1995 Nouveau

Mathématiques finitaires et analyse non standard : Vol. 2 Diener, Marc ; Wallet, Guy | Université de Paris 7 1989 Nouveau

Mathématiques finitaires et analyse non standard : Vol. 1 Diener, Marc ; Wallet, Guy | Université de Paris 7 1989 Nouveau

2ème colloque phénomènes micro et macroscopiques : Rencontre Oran-Mulhouse | Université Louis Pasteur 1987 Nouveau

R.C.P. 25 : Conférences de : P. Cartier, A. Guichardet et G. A. Viano Cartier, Pierre ; Guichardet, Alain ; Viano, G. A. | Université Louis Pasteur 1985 Nouveau

Bakundi (1) 1981-1983 : traces d'un séminaire Bobo Seke ; Bebbouchi, Rachid | Université Louis Pasteur 1983 Nouveau

IIIe rencontre de géométrie du Schnepfenried : Feuilletages - Géométrie symplectique et de contact - Analyse non standard et applications : 10-15 mai 1982, Vol. 2 Bernard, Daniel ; Hangan, Théodor ; Lutz, Robert | SMF 1983 Nouveau

The Kleene symposium : Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Barwise, Jon ; Keisler, H. Jerome ; Kunen, Kenneth | North-Holland 1980 Nouveau

Victoria symposium on nonstandard analysis Hurd, A. E. ; Loeb, Peter | Springer 1974 Nouveau