m

Documents  Critères de recherche : "Symbolic logic" | enregistrements trouvés : 14

O
     

-A +A

P Q

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


ISBN 978-0-444-86465-9

Studies in logic and the foundations of mathematics , 0108

Localisation : Colloque 1er étage (PRAG)

addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de ...

03-06 ; 03Fxx

... Lire [+]

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

- 229 p.

Proceedings of the Steklov institute of mathematics , 0098

Localisation : Collection 1er étage

03-06

... Lire [+]

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

Localisation : Colloque 1er étage (PARI)

logique symbolique

03-06

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

- 419 p.
ISBN 978-0-521-63550-9

London mathematical society lecture note series , 0259

Localisation : Collection 1er étage

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

... Lire [+]

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

- 436 p.
ISBN 978-0-521-63549-3

London mathematical society lecture note series , 0258

Localisation : Collection 1er étage

combinatoire # logique # logique de propositions # logique de prédicats # modèle de calcul # théorie d'ensembles # théorie de preuve

03-06 ; 03Exx ; 03Fxx

... Lire [+]

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


ISBN 978-1-56881-113-0

Lecture notes in logic , 0013

Localisation : Colloque 1er étage (PRAG)

logique # logique mathématique # logique symbolique

03-06

... Lire [+]

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

- 408 p.
ISBN 978-1-56881-293-9

Lecture notes in logic , 0024

Localisation : Colloque 1er étage (HELS)

logique mathématique

03-06 ; 00B25

... Lire [+]

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

- xii, 220 p.
ISBN 978-0-521-88424-2

Lecture Notes in Logic , 0029

Localisation : Colloque 1er étage (TORI)

logique mathématique # ultrafiltre Hausdorff # tore maximal # théorie des ensembles # théorie constructive # fonction zéta # hypergraphe # groupe permutation # comportement intelligent # cohomologie

00B25 ; 03-06 ; 08A30

... Lire [+]

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

- xiii; 272 p.
ISBN 978-0-521-88425-9

Lecture notes in logic , 0028

Localisation : Colloque 1er étage (ATHE)

logique

03-06 ; 00B25

... Lire [+]

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

- xiii; 267 p.
ISBN 978-0-521-76065-2

Lecture notes in logic

Localisation : Colloque 1er étage (WROC)

logique mathématique # théorie de la preuve # logique formelle

03-06 ; 03Fxx ; 00B25

... Lire [+]

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

- 444 p.
ISBN 978-0-486-24004-6

Dover books on western philosophy

Localisation : Ouvrage RdC (REIC)

analyse du langage de la conversation # calcul de classe # calcul de fonction # calcul des propositions # interpolation modale d'opération connective # logique symbolique

03A05 ; 03B05 ; 03Bxx

... Lire [+]

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

- 331 p.
ISBN 978-0-12-170350-9

Computer science classics

Localisation : Ouvrage RdC (CHAN)

démonstration automatique # logique

68T15

... Lire [+]

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

- xx; 662 p.
ISBN 978-981-4583-46-6

Localisation : Ouvrage RdC (STEE)

C++ # Java # SymbolicC++ # langage de programmation # fractale # ondelette # modèle de Markov caché # chaos # automate cellulaire # réseau neurologique

37-01 ; 68-00 ; 37-04 ; 68-04 ; 68T05 ; 03E72 ; 28A80 ; 93C10

... Lire [+]

Z