m

F Nous contacter

0

Documents  03F03 | enregistrements trouvés : 10

O
     

-A +A

P Q

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

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

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

Lecture notes in mathematics , 0125

Localisation : Collection 1er étage

axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve automatique # système d'axiome en preuve de théorème automatique # théorie de la preuve # théorie de la résolution # théorème de complétude de Herbrand # validité constructive axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve ...

03-06 ; 03F03 ; 03F50 ; 03Fxx ; 18C10

... Lire [+]

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

Lecture notes in mathematics , 0070

Localisation : Collection 1er étage

calcul des propositions de Lukasiewicz # classe de fonction récursive # fragment monadique de calcul des prédicats # logique symbolique # morphologie demi-anneau # oméga-règle # partition et modèle # quantificateur de Chang # schéma de compréhension Pi indice 1 puissance 1 # théorie de la preuve # théorie non catégorique # ultrafiltre hyperarithmétique # équivalence récursive

03-06 ; 03B05 ; 03D20 ; 03D50 ; 03F03

... Lire [+]

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

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

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

- xii; 439 p.
ISBN 978-0-19-537222-9

Localisation : Ouvrage RdC (SIEG)

histoire des mathématiques # philosophie des mathématiques # théorie de la démonstration # structure mathématique # réductionnisme # finitisme # métamathématique # imperfection # déduction naturelle

01-06 ; 00A30 ; 00B60 ; 01A55 ; 01A60 ; 01A61 ; 01A70 ; 03-03 ; 03A05 ; 03A10 ; 03F03

... Lire [+]

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

- xv; 356 p.
ISBN 978-1-4614-3630-0

Localisation : Ouvrage RdC (CUNN)

induction # logique mathématique # théorie des ensembles # démonstration mathématique # enseignement

97E50 ; 97E60 ; 97E30 ; 97E40 ; 03-01 ; 03B05 ; 03F03

... Lire [+]

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

- xv; 322 p.
ISBN 978-0-691-16044-3

Localisation : Ouvrage RdC (LOVE)

théorie de la démonstration # théorie de la calculabilité # logique philosophique

03-01 ; 03A05 ; 03B70 ; 03D10 ; 03D20 ; 03F03

... Lire [+]

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

- xv-142 p.
ISBN 978-0-691-15574-6

Localisation : Ouvrage RdC (TURING)

oeuvres # Alan Turing # histoire # logique # philosophie des mathématiques # 20ème siècle # théorie de la peuve

01A75 ; 03-03 ; 03A05 ; 00A30 ; 01A60 ; 03F03

... Lire [+]

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

- xix; 523 p.
ISBN 978-3-540-77532-4

Springer monographs in mathematics

Localisation : Ouvrage RdC (KOHL)

logique # théorie de la démonstration # fonctionnelle de Gödel # appoximation par des polynômes # unicité de la meilleure approximation # théorie du point fixe

03F03 ; 03F10 ; 03B30 ; 41A10 ; 41A52 ; 47H09 ; 47H99

... Lire [+]

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

- 175 p.
ISBN 978-0-8176-3593-0

Progress in computer science and applied logic , 0011

Localisation : Ouvrage RdC (SNYD)

démonstration automatique d'un théorème # théorie de la preuve # transformation # unification

03F03 ; 03Fxx

... Lire [+]

Z