m

Documents  Barkley Rosser, J. | enregistrements trouvés : 6

O
     

-A +A

P Q

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

- 65 p.

Collection de logique mathématique. Serie A , 0007

Localisation : Ouvrage RdC (ROSS)

logique # logique combinatoire et lambda-conversion # modèle de logique formelle

03B40 ; 03Cxx

... Lire [+]

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

Pure and applied mathematics , 0031

Localisation : Ouvrage RdC (R)

GCH généralisé # algèbre de Boole # forcing # indépendance de AxC # indépendance de V=L # indépendance de l'hypothèse du continu # modèle à valeurs booléennes de la théorie des ensembles # preuve d'indépendance simplifiée # qu'est-ce-que la vérité ?

03Fxx ; 03G05

... Lire [+]

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

- 530 p.

International setries in pure and applies mathematics

Localisation : Ouvrage RdC (ROSS)

appartenance à une classe # axiome du choix # calcul d'affirmation ou des prédicats restreint # dénombrement # logique mathématique # logique symbolique # nombre cardinal ou ordinal # relation et fonction

03Bxx ; 03E10

... Lire [+]

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

- 296 p.

Lectures in applied mathematics , 0005

Localisation : Collection 1er étage

mécanique des particules et des systèmes # mouvement elliptique # système différentiel # mécanique de Lagrange # théorie de Hamilton-Jacobi # petite oscillation # système mécanique # satellite # procession # mutation # problème de trois corps # problème de n-corps # dynamique stellaire # régularisation

70-06 ; 70-XX

... Lire [+]

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

- 258 p.

Lectures in applied mathematics , 0006

Localisation : Collection 1er étage

mécanique des particules et des systèmes # mécanique analytique # satellite artificiel # géodésique # commande optimale # ellipsoïde liquide

70-XX

... Lire [+]

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

- 310 p.

Lectures in applied mathematics , 0007

Localisation : Collection 1er étage

mécanique des particules et des systèmes # mécanique des fluides # satellite artificiel # onde de choc # analyse numérique # équation différentielle # chimie # équation différentielle non linéaire

70-XX

... Lire [+]

Z