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 80 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 146 p.
Call n° : 00000181

00A30 ; 03-XX ; 03AXX

Location : Ouvrage RdC (HEYT)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 292 p.
Call n° : 00012088
automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates

03-XX ; 68-XX ; 94-XX

Location : Collection 1er étage

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 324 p.
Call n° : 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

Location : Collection 1er étage

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 280 p.
Call n° : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire

03-XX ; 03-99 ; 03A05

Location : Ouvrage RdC (GIRA)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 567 p.
Call n° : 00029925
logique mathématique # théorie de la démonstration # épistémologie

03-XX ; 03A05

Location : Ouvrage RdC (GIRA)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 493 p.
Call n° : 00012736
logique classique

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

Location : Ouvrage RdC (Hand)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 176 p.
Call n° : 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

Location : Disparu;Ouvrge RdC (KRIV)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 704 p.
Call n° : 00015511
algèbre de Lie # algèbre différentielle # algèbre universelle # anneau # anneau non associatif # catégorie # combinatoire # corps # corps oblique # groupe # géométrie # géométrie algébrique # logique

00B25 ; 03-XX ; 06-XX ; 08-XX ; 11-XX

Location : Collection 1er étage

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 519 p.
Call n° : 00003223
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis[-]
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...[+]

03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx

Location : Ouvrage RdC (RASI)

Bookmarks Report an error