m

F Nous contacter

0

Documents  03B05 | enregistrements trouvés : 47

O

-A +A

P Q

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

- 723 p.
ISBN 978-0-8218-0479-7

DIMACS series in discrete mathematics and theoretical computer science , 0035

Localisation : Disparu

algorithme de calcul # calcul des propositions # classe de complexité # intelligence artificielle # logique # mathématique de l'économie # optimisation combinatoire # problème de satisfaction # programmation mathématique # réécriture de système # théorie de la décision # théorie de preuve # économie mathématique

03B05 ; 68Q42 ; 68T15 ; 90A05 ; 90C27

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

- 249 p.
ISBN 978-0-8218-1004-0

DIMACS series in discrete mathematics and theoretical computer science , 0046

Localisation : Collection 1er étage

algorithmique # classe de complexité # communication optique # complexité # informatique théorique # mathématique économique # mathématiques discrètes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche opérationnelle # réécriture de système # théorie de la décision

03B05 ; 68Q25 ; 68Q42 ; 68R10 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

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

- 318 p.
ISBN 978-0-8218-0916-7

DIMACS series in discrete mathematics and theoretical computer science , 0043

Localisation : Collection 1er étage

algorithmes # biomathématique # informatique théorique # intelligence artificielle # langage formel # mathématique économique # optimisation # processus stochastique # théorie de la decision # théorie du controle # économétrie

03B05 ; 68Q10 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

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

- 461 p.
ISBN 978-0-8218-0834-4

DIMACS series in discrete mathematics and theoretical computer science , 0040

Localisation : Collection 1er étage

analyse combinatoire # analyse de réseaux # informatique théorique # mathématiques de l'économie # mathématiques discretes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche optionnelle # théorie de la décision # théorie de recherche # économétrie

03B05 ; 68Q15 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

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

- 135 p.
ISBN 978-0-8218-2793-2

Contemporary mathematics , 0284

Localisation : Collection 1er étage

opérateur de Toeplitz # espace Beryman # algèbre ternaire # forme quadratique binaire # système dynamique ergodique # caractérisation spectrale # système cohérent vague # treillis # analyse de données spaciale # quantisation local

01A30 ; 28D05 ; 92B05 ; 92B99 ; 81Q99 ; 03B05 ; 03E72 ; 90B10 ; 47A15 ; 37A30

... Lire [+]

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

- 89 p.
ISBN 978-0-7100-7923-7

Localisation : Ouvrage RdC (WITT)

logique et philosophie # mystique # nature de l'inférence logique # principe de la physique # structure logique des propositions # théorie de la connaissance # éthique

00A30 ; 00A79 ; 00A99 ; 03B05 ; 68T30

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

- 127 p.

Synthèse library , 0127

Localisation : Ouvrage RdC (BOWE)

calcul des prédicats # calcul modal des prédicats # complétude de modèle # consistance de joint # extension de modèle # forcing fini # interpolation # limite directe # logique modale # modèle de Kripke # morphisme # tableau sémantique # théorie des modèles # théorie inductive # théorème de Lowenheim-Skolem # ultrapoint

03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40

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

- 519 p.

Monografie matematyczne , 0041

Localisation : Ouvrage RdC (RASI)

algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...

03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx

... Lire [+]

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

- 52 p.

Collection de logique mathématique série A , 0021

Localisation : Ouvrage RdC (DIEG)

algèbre de Hilbert # algèbre topologique # calcul des propositions # mathématique intuitionniste

03B05 ; 03F55 ; 46K15

... Lire [+]

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

- 246 p.

Collection de logique mathématque. Série A , 0016

Localisation : Disparu;Ouvrage RdC (TARS)

calcul des propositions # logique mathématique # méthode déductive # méthodologie # théorie des relations

03B05 ; 03B80 ; 03F55 ; 03F65

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

- 87 p.

Ergebnisse der mathematik und ihrer grenzgebiete , 0042

Localisation : Ouvrage RdC (SCHU)

logique des prédicats # logique intuitioniste # logique modale

03B05 ; 03B45 ; 03F55

... Lire [+]

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

- 250 p.
ISBN 978-0-8218-3063-5

American mathematical society translations series 2 , 0113

Localisation : Collection 1er étage

03B05 ; 02C15 ; 08A05 ; 20C05 ; 20Mxx

... Lire [+]

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


ISBN 978-2-7056-5544-0

Collection l'esprit et la main

Localisation : Disparu

03A05 ; 03B05

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

Z