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.
- 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.
- 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.
- 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.
- 152 p.
ISBN 978-0-19-853173-9
Oxford logic guides , 0005
Localisation : Ouvrage RdC (SEGE)
langage proportionnel # logique booléenne # logique classique # logique commune # logique modale # logique pré- classique # opérateur proportionnel classique
03-03 ; 03B05 ; 03B45 ; 03Bxx ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 448 p.
ISBN 978-0-07-039910-5
McGray-Hill computer science series
Localisation : Ouvrage RdC (MANNA)
algorithme # automate # calcul des prédicats # informatique théorique # logique # machine de Turing # mathématique de l'informatique # programmation # théorie du point fixe # vérification de programme
03B05 ; 68Q05 ; 68Q60 ; 68Q68 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Memoirs of the american mathematical society , 0051
Localisation : Collection 1er étage
bon ordonnancement récursif relativement # degré d'insolvabilité récursive # degré d'opérateur de saut # degré de prédicat complet # dual d'opérateur existentiel # définition explicite # hiérarchie de prédicats de type fini # hiérarchie finie # hiérarchie transfinie # opérateur de saut itéré # post # restriction de type # réduction de la définition de O puissance ) gauche m indice # théorème d'énumération # théorème de hiérarchie
03B05 ; 03D20 ; 03Dxx ; 11-XX ; 11Uxx
... 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.
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.
- 131 p.
Collection de mathématiques économiques , 0002
Localisation : Ouvrage RdC (CARV)
algèbre de Boole # anal yse booléenne # calcul binaire # ensemble # fon ction de Boole # fonction caractéristique # graphe # logique des propositions # logique symbolique # réseau # équation de Boole
03B05 ; 03G05 ; 04A05 ; 06Exx ; 68Q40
... 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.
- 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.
- 347 p.
ISBN 978-2-225-84079-1
Axiomes
Localisation : Ouvrage RdC (CORI)
algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude
03B05 ; 03C35 ; 03G05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 382 p.
ISBN 978-0-7923-1512-4
Nijhoff international philosophy series , 0044
Localisation : Oeuvres complètes RdC (LESN)
Lesniewski # epistémologie # fondement des mathématiques # groupe abelien # histoire de la logique # logique # logique des propositions # logique mathématique # logique symbolique # oeuvres complètes # preuve # principe ontologique # théorie de la déduction # théorie des ensembles
01A75 ; 03A05 ; 03B05 ; 03B20 ; 03Bxx
... Lire [+]