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-01 105 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

Logique inductive et probabilité Boudot, Maurice | Librairie Armand Colin 1972

Ouvrage

- 333 p.
Cote : 00001511
logique et fondation # système formel non classique # théorie de la probabilité et prosessus stochastique # axiome

03B99 ; 00A30 ; 60A05 ; 03-03 ; 03-01 ; 60-03 ; 60-01

Localisation : Ouvrage RdC (BOUD)

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

Méthodes mathématiques pour l'informatique Velu, Jacques | Dunod Informatique 1987

Ouvrage

- 260 p.
Cote : 00011589
algèbre de Boole # algèbre linéaire # analyse combinatoire # arithmétique # calcul propositionnel # code détecteur # correction d'erreur # fonction booléennes # numération # outils mathématiques de l'informatique # relation # semble

03-01 ; 04-01 ; 05-01 ; 68Qxx

Localisation : Ouvrage RdC (VELU)

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

A first course in computability Smith, S. | Blackwell Scientific Publications 1986

Ouvrage

- 182 p.
Cote : 00012721
calculabilité

03-01 ; 03D15 ; 68Qxx

Localisation : Ouvrage RdC (RAYW)

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

Computability and unsolvability Davis, Martin D. | McGraw-Hill Book Company 1958

Ouvrage

- 210 p.
Cote : 00027579
calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

Localisation : Ouvrage RdC (DAVI)

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

Mathematical logic :
a first course Robbin, Joel W. | W. A. Benjamin 1969

Ouvrage

- 212 p.
Cote : 00002978
arithmétique et syntaxe # calcul propositionnel # logique du premier ordre ou du second ordre # logique mathématique # paradoxe du menteur # théorème d'incomplétude

03-01 ; 03B05 ; 03B10 ; 03B15

Localisation : Ouvrage RdC (ROBB)

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

Nonstandard analysis :
a practical guide with applications Lutz, Robert ; Goze, Michel | Springer 1981

Ouvrage

- 261 p.
Cote : 00026134
analyse non standard # modèle non standard # équation différentielle # topologie non standard

03H05 ; 03H10 ; 54J05 ; 03-01

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

an Introduction to non-classical logic:
from if to is Priest, Graham | Cambridge University Press 2008

Ouvrage

- xxxii; 613 p.
Cote : 00035578
logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire

03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55

Localisation : Ouvrage RdC (PRIE)

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

Set theory Jech, Thomas | Springer 2003

Ouvrage

- xiii; 769 p.
Cote : 00035606
axiome de théorie des ensembles # logique mathématique # nombre cardinal # théorie des ensembles # théorie des modèles # théorie descriptive des ensembles

03Exx ; 03-02 ; 03-01 ; 03E05 ; 03E45 ; 03E15 ; 03E40 ; 03E50 ; 03E55 ; 03E35 ; 03E60 ; 03E04 ; 03E10 ; 03E17 ; 03E02

Localisation : Ouvrage RdC (JECH)

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

Analysis I Amann, Herbert ; Escher, Joachim ; Brookfield, Gary | Birkhäuser 2005

Ouvrage

- xv; 426 p.
Cote : 00035766
approximation polynômiale # convergence de suites # convergence de séries # ensemble # fonction analytique # fonction continue # fonction dérivable # nombre # suite de fonctions # topologie

26-01 ; 26Axx ; 03-01 ; 30-01 ; 40-01 ; 54-01

Localisation : Ouvrage RdC (AMAN)

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

Algorithms and recursive functions Mal'Cev, A. I. | Wolters-Noordhoff Publishing 1970

Ouvrage

- 372 p.
Cote : 00037029
recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

Localisation : Ouvrage RdC (MALC)

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

Filtrer

Type

Auteurs

J Plus

Langue