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.
- 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.
- 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.
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.
- 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.
- 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.
- xv; 356 p.
ISBN 978-1-4614-3630-0
Localisation : Ouvrage RdC (CUNN)
induction # logique mathématique # théorie des ensembles # démonstration mathématique # enseignement
97E50 ; 97E60 ; 97E30 ; 97E40 ; 03-01 ; 03B05 ; 03F03
... 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.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- Pp. 383-794
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 [+]
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.
- 156 p.
ISBN 978-0-631-12497-9
Localisation : Ouvrage RdC (LEWI)
contre positivité # logique # logique des proposition # monde virtuel # philosophie # épistémologie # équation propositionnelle
03B05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-0595-4
Memoirs of the american mathematical society , 0604
Localisation : Collection 1er étage
algèbre de relation # décidabilité # indécidabilité # logique mathématique
03B05 ; 03B25 ; 03G15 ; 08B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 184 p.
Mathematisch-naturwissenschaftliche bibliothek , 0018
Localisation : Ouvrage RdC (ASSE)
logique # fonction de vérité # forme logique normale # calcul de prédicat # théorie d'axiomatisation # matrice # calcul propositionnel # automate # implication de Bolzano
03-01 ; 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 [+]
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.
- 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.
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 [+]
