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.

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

... Lire [+]

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

- xxiv; 489 p.
ISBN 978-1-4822-3772-6

Textbooks in mathematics

Localisation : Ouvrage RdC (MEND)

logique mathématique # philosophie # théorie des ensembles de von Neumann-Bernays-Gödel # extension élémentaire # analyse non-standard # théorie de la quantification # théorème de complétude de Goedel # théorie formelle des nombres # arithmétique de premier ordre # calculabilité effective # algorithme

03-01 ; 03B05 ; 03B10 ; 03Cxx ; 03Dxx ; 03Exx ; 03Hxx

... Lire [+]

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

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

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

- x; 248 p.
ISBN 978-0-521-76324-0

Lecture notes in logic

Localisation : Ouvrage RdC (TENT)

Théorie des modèles # langages et structures du premier ordre # théories stables # théories simples

03-01 ; 03B10 ; 03Cxx

... Lire [+]

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

- 250 p.
ISBN 978-0-19-921562-1

Oxford texts in logic , 0003

Localisation : Ouvrage RdC (CHIS)

logique mathématique # logique du premier ordre # logique des propositions # déduction naturelle

03-01 ; 03B10 ; 03B05

... Lire [+]

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

- 79 p.

Mathématiques et sciences de l'homme , 0014

Localisation : Ouvrage RdC (GRIZ)

logique

03-01 ; 03B05 ; 03B10

... Lire [+]

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

- 385 p.
ISBN 978-2-10-005452-7

Localisation : Enseignement RdC (CORI)

logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude

03-01 ; 03B05 ; 03B10 ; 03G05

... Lire [+]

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

- 168 p.
ISBN 978-3-540-41654-8

Algorithms and combinatorics , 0022

Localisation : Ouvrage RdC (SPEN)

graphe # logique # graphe aléatoire # logique de premier ordre # structure finie # théorie des modèles # structure dénombrable # loi du zéro-un # structure discrète

05C80 ; 03-02 ; 03B10 ; 03C13 ; 03C15

... Lire [+]

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

- 303 p.
ISBN 978-2-10-004446-7

Localisation : Enseignement RdC (DEHO)

mathématique de l'informatique # informatique # enseignement # exercice # arbre # langage # monoïde # groupe libre # automate # grammaire formelle # arbre de dérivation machine de Turing # fonction récursive # complexité algorithmique # logique de Boole # logique booléenne # logique # langage algébrique

68-01 ; 03B70 ; 03B10 ; 03G05 ; 68Q30 ; 68Q45 ; 68Q55

... 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 [+]

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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

- 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.

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

Localisation : Ouvrage RdC (MARG)

logique classique # logique du premier ordre

03B10

... Lire [+]

Z