Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Salle de manutention
algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne
algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'ap...
03B25 ; 03D20 ; 11Dxx ; 68U05 ; 92B20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87601-0
North-holland mathematics studies , 0099
Localisation : Colloque 1er étage (LYON)
classe de structure # combinatoire # condition de chaine # effectivité # groupe ordonné # science sociale # taxonomie mathématique # théorie des ensembles # théorie des modèles # théorie des relations # topologie # treillis
06-06 ; 06Fxx
... Lire [+]
