Documents

Opérations - Connecteurs - énoncés mathématiques - Applications - Prédicats - Relations - Précidats unaires - opérations ensemblistes - Relations binaires

enseignement des mathématiques ; application ; calcul des prédicats ; ensemble ; relation binaire ; connecteur

... Lire [+]

Sélection

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

V

Lecture notes in mathematics

Cote : M/A1(447)
ISBN/ISSN : 3-540-07149-0

calcul des prédicats ; démonstration ; nombre

... Lire [+]

Sélection

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

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(10)
ISBN/ISSN : 0-8218-1210-6

calcul des prédicats ; logique

... Lire [+]

Sélection

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

V

Oxford paperbacks university series

Cote : CROSSLEY w

calcul des prédicats ; ensemble ; logique ; machine de Turing ; théorème de Gödel

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : BELL m
ISBN/ISSN : 0-7204-2054-7

algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance

... Lire [+]

Sélection

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

V

Studies in logic and the foundations of mathematics

Cote : BELL m

algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle mathématique ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance

... Lire [+]

Sélection

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

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(51)

calcul des prédicats ; hiérarchie ; logique

... Lire [+]

Sélection

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

V

Memoirs of the American Mathematical Society (Memoirs of the AMS)

Cote : M/A4(10)

calcul des prédicats ; logique

... Lire [+]

Sélection

Documents calcul des prédicats 10 résultats

Quantification relativiste Unterberger, André | SMF 1991 Nouveau

Predicative arithmetic Nelson, Edward | Princeton university press 1986 Nouveau

Initiation au langage mathématique : analyse d'une expérience d'enseignement Adda, Josette ; Freudenthal, Hans | Régionale Parisienne de l'Association des Professeurs de Mathématiques de l'Enseignement Public 1975 Nouveau

Tableau systems for first order number theory and certain higher order theories Toledo, Sue | Springer 1975 Nouveau

Two papers on the predicate calculus Kleene, Stephen Cole | AMS 1972 Nouveau

What is mathematical logic ? Crossley, J. N. ; Ash, C. J. ; Brickhill, C. J. ; Stillwell, J. C. ; Williams, N. H. | Oxford University Press 1972 Nouveau

Models and ultraproducts : an introduction Bell, J. L. ; Slomson, A. B. | North-Holland 1971 Nouveau

Models and ultraproducts : an introduction Bell, J. L. ; Slomson, A. B. | North-Holland 1969 Nouveau

Hierarchies of predicates of finite type Clarke, D. A. | AMS 1964 Nouveau

Two papers on the predicate calculus Kleene, Stephen Cole | AMS 1952 Nouveau