m

F Nous contacter

0

Documents  03B10 | enregistrements trouvés : 30

O

-A +A

P Q

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


ISBN 978-0-8405-0073-1

SMS , 0021

Localisation : Salle de manutention

grammaire à deux variables # grammaire à trois variables # grammaire à une variable # logique du premier ordre # modèle généralisé # modèle relativisé # modèle standard # relation d'égalité non-standard # relativisation # système déductif # système logique avec nombre fini de symboles # univers relativisé

03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05

... Lire [+]

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

- 344 p.
ISBN 978-0-201-07028-6

Localisation : Ouvrage RdC (SHOE)

langage du premier ordre # logique mathématique # réccurence # théorie des ensembles # théorie des modèles

03-01 ; 03B10 ; 03B65 ; 03Bxx ; 03Cxx

... Lire [+]

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

- 170 p.
ISBN 978-0-19-853163-0

Oxford logic guide

Localisation : Ouvrage RdC (TROE)

logique des prédicats # mathématique intuitioniste # opération logique # suite du choix

03B10 ; 03B20 ; 03F55

... Lire [+]

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

- 674 p.
ISBN 978-0-521-06791-1

Localisation : Ouvrage RdC (WHIT)

arithmétique cardinale # classe # déduction # fonction de vérité # logique mathématique # principe de mathématiques # relation inductive # sélection # théorie des propositions # Whitehead # oeuvres complètes

03B05 ; 03B10 ; 03B15 ; 03B22 ; 03Bxx

... Lire [+]

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

- 212 p.

University mathematics series

Localisation : Ouvrage RdC (ROBB)

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

... Lire [+]

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

- 378 p.

Princeton mathematical series , 0017

Localisation : Ouvrage RdC (CHUR)

calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique

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

... Lire [+]

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

- 211 p.

Localisation : Ouvrage RdC (MARG)

calcul des prédicats # logique du premier ordre classique # logique mathématique du premier ordre

03B05 ; 03B10

... Lire [+]

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

- 158 p.
ISBN 978-3-540-04099-6

Ergebnisse der mathematik und ihrer grenzgebiete , 0043

Localisation : Ouvrage RdC (SMUL)

compacité # complétude # définabilité de Beth # ensemble magique # interpolation de Craig # logique du premier ordre # logique proportionnelle # propriété de consistance synthétique # système d'axiomes pour théorie de quantification # système de Gentzen # système de raisonnement linéaire # tableaux Prenex # tableaux analytiques # élimination

03-02 ; 03B05 ; 03B10 ; 03C10

... Lire [+]

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

- 302 p.
ISBN 978-0-521-34632-0

Cambridge tracts in theoretical computer science , 0002

Localisation : Ouvrage RdC (PAUL)

calcul lambda # langage # logique # logique formelle

03B05 ; 03B10 ; 03B40 ; 03Bxx

... Lire [+]

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

Memoirs of the american mathematical society , 0426

Localisation : Collection 1er étage

logique du premier ordre # treilles

03B10

... Lire [+]

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

- 211 p.
ISBN 978-0-486-66269-5

Localisation : Ouvrage RdC (MARG)

logique classique # logique du premier ordre

03B10

... Lire [+]

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

- 112 p.
ISBN 978-2-87209-186-7

Cahier du centre de logique , 0007

Localisation : Ouvrage RdC (Anti)

anti-fondation # complétude # décoration ensembliste de graphes par approximations # fondation faible # hyperunivers positivement compréhensible # logique # logique du premier ordre # théorie des ensembles # théorie naïve des ensembles

03A05 ; 03B10 ; 03Exx ; 04-XX ; 05C78

... Lire [+]

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

- 521 p.
ISBN 978-0-201-53082-7

Localisation : Ouvrage RdC (PAPA)

NP et co NP # algorithme # approximabilité # calcul aléatorisé # calcul parallèle # calculabilité # complexité de calcul # cryptographie # espace logarithmique # espace polynomial # indécidabilité en logique # logique booléenne # logique du premier ordre # machine de Turing # problème NP complet # relation entre classes de complexité # réduction et complétude

03B10 ; 03B25 ; 03D10 ; 03D15 ; 03D35

... Lire [+]

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

- 226 p.
ISBN 978-0-8176-3719-4

Progress in theoretical computer science

Localisation : Ouvrage RdC (STRA)

automate fini # jeu de théorie des modèles # langage formel # langage régulier # langage régulier et complexité de circuit # logique du premier ordre # logique formelle # mot et langage # quantificateur modulaire # semi-groupe et homomorphisme # semi-groupe fini # théorème de Krohn-Rhodes # théorème de catégorie

03B10 ; 03Cxx ; 03D05 ; 20F10 ; 20M35

... Lire [+]

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

- 370 p.
ISBN 978-2-225-82104-2

Etudes et recherches en informatique

Localisation : Ouvrage RdC (LALE)

algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

... Lire [+]

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

- 287 p.
ISBN 978-2-225-81900-1

Logique mathématiques informatique , 0003

Localisation : Ouvrage RdC (MARG)

Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité

03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17

... Lire [+]

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

- 288 p.
ISBN 978-2-225-81953-7

Logique mathématiques informatique , 0004

Localisation : Ouvrage RdC (MARG)

Pascal # analyse des algorithmes # complexité des algorithmes # dérécursification # langage de programmation # logique du premier ordre # preuve de programme # récursivité # standard # vérification de programme

03B10 ; 68N05 ; 68N15 ; 68Q25

... Lire [+]

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

- 166 p.
ISBN 978-2-225-82567-5

Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

... Lire [+]

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

- 482 p.
ISBN 978-3-540-57073-8

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BORG)

classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # ...

03-02 ; 03B10 ; 03B25 ; 03C13 ; 03D15

... Lire [+]

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

- 344 p.
ISBN 978-1-56881-135-2

Localisation : Ouvrage RdC (SHOE)

langage du premier ordre # logique mathématique # réccurence # théorie des ensembles # théorie des modèles

03-01 ; 03B10 ; 03B65 ; 03Bxx ; 03Cxx

... Lire [+]

Z