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.
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.
- 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.
- 305 p.
Monographie de l'enseignement mathématique , 0015
Localisation : Ouvrage RdC (KURA)
algèbre de Boole # calcul propositionnel # complexe # coupure du plan # espace compact # espace métrique # homologie # opération # relation d'ordre # simplexe # théorie des ensembles # topologie
03B05 ; 03Exx ; 03F10 ; 54D30 ; 54E35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 318 p.
ISBN 978-2-84074-065-0
Localisation : Ouvrage RdC (STER)
LIPS # PROLOG # Pascal # analyse syntaxique # automate # calcul # calcul propositionnel # fonction récursive # fondement # grammaire # langage # le LIPS # machine de Turing # mathématique de l'informatique # turbo pascal
03B05 ; 03D05 ; 03D20 ; 68Q05 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-10-001683-9
Localisation : Disparu
arbre arborescence # automate # composant d'ordinateur # description récursive des motifs # données relationnelles # expression régulière # graphe # informatique # logique des propositions # logique des prédicats # motif # programme # traitement de données
03B05 ; 03Dxx ; 68-01 ; 68Nxx ; 68Pxx
... 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.
- 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.
- 462 p.
ISBN 978-2-13-044371-1
Epiméthée
Localisation : Ouvrage RdC (HUSS)
Husserl # arithmétique # histoire # logique de l'arithmétique # numération symbolique # philosphie # représentation de nombre # équivalence
00A30 ; 03A05 ; 03B05 ; 11-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 248 p.
ISBN 978-2-86601-380-6
Traité des nouvelles technologies
Localisation : Ouvrage RdC (LASS)
calcul informatique # calcul lambda # fonction recursive # fondement de l'informatique # fondement des mathématiques # incomplétude # indécidabilité # logiciel d'enseignement # logique # logique de proposition # logique du premier ordre # logique déductive # machine de Turing
03B05 ; 03B15 ; 03B40 ; 03Bxx ; 03Dxx
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
