En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03-XX 80 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Le point aveugle, cours de logique. Tome 1 :
Cours de logique vers la perfection Girard, Jean-Yves | Hermann 2006

Ouvrage

- 280 p.
Cote : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire

03-XX ; 03-99 ; 03A05

Localisation : Ouvrage RdC (GIRA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Le point aveugle. Vol. II :
Cours de logique vers l'imperfection Girard, Jean-Yves | Hermann 2007

Ouvrage

- 567 p.
Cote : 00029925
logique mathématique # théorie de la démonstration # épistémologie

03-XX ; 03A05

Localisation : Ouvrage RdC (GIRA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Intuitionism :
an introduction Heyting, A. | North-Holland Publishing Co. 1971

Ouvrage

- 146 p.
Cote : 00000181

00A30 ; 03-XX ; 03AXX

Localisation : Ouvrage RdC (HEYT)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata theory and formal languages 2nd gi conference :
conference held in kaiserslautern#May 20-23 Brakhage, H. | Springer-Verlag 1975

Congrès

- 292 p.
Cote : 00012088
automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates

03-XX ; 68-XX ; 94-XX

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Theoretical computer science 4th gi conference#March 26-28 Weihrauch, K. | Springer-Verlag 1979

Congrès

- 324 p.
Cote : 00012099
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages

03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Handbook of philosophical logic. Vol. I :
elements of classical logic Gabbay, D. ; Guenthner, F. | D. Reidel Publishing Company 1983

Ouvrage

- 493 p.
Cote : 00012736
logique classique

03-XX ; 03B05 ; 03B30 ; 03B48

Localisation : Ouvrage RdC (Hand)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Lambda-calcul types et modèles Krivine, Jean-Louis | Masson 1990

Ouvrage

- 176 p.
Cote : 00016128
fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

Localisation : Disparu;Ouvrge RdC (KRIV)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Gesammelte Abhandlungen Dritter Band
analysis. Grundlagen der Mathematik. Physik. Verschiedenes. Nebst einer Lebensgeschichte Hilbert, David | Chelsea Publishing Co. 1935

Ouvrage

- 435 p.
Cote : 00001218
Hilbert # analyse # applicati on continue # axiome # biographie # calcul des varations # droite # fonction analytique # fonction rationnelle entière # fondement des mathématiques # logique # nombres # oeuvres complètes # physique # principe de Dirichlet # rayonnement # représentation conforme # surface # système d'équations # système d'équations intégrales # équation différentielle

01A70 ; 01A75 ; 03-XX ; 11-XX ; 81-XX

Localisation : Oeuvres complètes RdC (HILB)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Collected works. Vol. IV :
continuous geometry and other topics Von Neumann, J. ; Taub, A. H. | Pergamon Press 1976

Ouvrage

- 516 p.
Cote : 00001390
Von Neumann # algèbre de Boole # anneau continu # anneau régulier # bombardement # différence successive du carré des moyennes à la variance # espace croisé de transformation linéaire # géométrie continue # géométrie métrique # induction transfinie # logique de mécanique quantique # logique quantique # mesure de Haar # mesure en espace fonctionnel # mécanique classique # oeuvres complètes # opérateur auto-adjoint # opérateur normal # opérateur unitaire en espace de Hilbert # représentation unitaire du groupe de Lie semi-simple # spectre d'opérateur intégral # théorie quantique des collisions[-]
Von Neumann # algèbre de Boole # anneau continu # anneau régulier # bombardement # différence successive du carré des moyennes à la variance # espace croisé de transformation linéaire # géométrie continue # géométrie métrique # induction transfinie # logique de mécanique quantique # logique quantique # mesure de Haar # mesure en espace fonctionnel # mécanique classique # oeuvres complètes # opérateur auto-adjoint # opérateur normal # opérateur ...[+]

03-XX ; 10-XX ; 22-XX ; 47-XX ; 81-XX

Localisation : Oeuvres complètes RdC

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Nonlinear Analysis and Optimization I : Nonlinear Analysis
A Conference in Celebration of Alex Ioffe's 70th and Simeon Reich's 60th Birthdays
Haifa # June 18-24, 2008 Leizarowitz, Arie ; Mordukhovich, Boris S. ; Shafrir, Itai ; Zaslavski, Alexander J. | American Mathematical Society ; Bar-Ilan University 2010

Congrès

- xxi, 263 p.
Cote : 00036173
théorie non-linéaire # optimisation # théotie du point fixe # biologie # stabilité de Mosco # EDP # semi-goupe

03-XX ; 11-XX ; 14-XX ; 20-XX ; 26-XX ; 30-XX ; 34-XX ; 35-XX ; 39-XX ; 41-XX ; 46-XX ; 47-XX ; 49-XX ; 52-XX ; 54-XX ; 55-XX ; 57-XX ; 58-XX ; 65-XX ; 76-XX ; 90-XX

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun