m

Documents  Critères de recherche : "Fondements des mathématiques" | enregistrements trouvés : 19

O
     

-A +A

P Q

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

Collection de logique mathématiques. Série A , 0019

Localisation : Colloque 1er étage (TIHA)

ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de symbôle # théorie abstraite des automates et des calculatrices électro # théorie des circuits # traduction automatique # transport # tube électronique # typologie des langues ALGOL # algorithme # algèbre de Boole # application des calculatrices à l'économie # automatisation # calculatrice digitale et programmation # fonction récursive # fondement des mathématiques # graphe 2- terminal # inférence inductive # intelligence aritificielle # linguistique mathématique # logique mathématique # machine de Turing # machine mathématique # machine à auto-apprentissage # reconnaissance de structure syntactique de chaîne de ...

03-06 ; 03Dxx ; 68-06 ; 68Qxx ; 68Txx

... Lire [+]

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

- 317 p.

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

Localisation : Colloque 1er étage (TIHA)

fondement des mathématiques # machine # linguistique # logique # économie # ordinateur

00B25 ; 03-06 ; 68-06

... Lire [+]

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

- pag. mult.

Localisation : Ouvrage RdC (PAVE)

reconnaissance des formes # théorie des automates mathématiques

68Q70 ; 68T10 ; 68-01

... Lire [+]

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

- 243 p.

Localisation : Ouvrage RdC (GONS)

00A30 ; 03-XX ; 03A05 ; 83-XX

... Lire [+]

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

- 331 p.

Collection mir traduction francaise

Localisation : Ouvrage RdC (KORC)

automatique # cybernétique # mathématique de l'ingenieur # télémécanique

92-01 ; 93Bxx ; 93Cxx ; 93Exx ; 94-01

... Lire [+]

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

- 332 p.
ISBN 978-2-85367-052-4

Bibliotheque scientifique albert blanchard

Localisation : Ouvrage RdC (HEIN)

épistémologie # fondements des mathématiques # histoire des mathématiques # philosophie des mathématiques

00A30 ; 01A55 ; 01A60 ; 01A70 ; 03A05

... Lire [+]

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

- 447 p.
ISBN 978-2-228-88483-9

Bibliotheque scientifique payot

Localisation : Ouvrage RdC (Logi)

Bolzano # Boole # Cantor # épistémologie # fondement des mathématiques # Frege # Hilbert # logique # logique et mathématique # Peirce # Zermelo

03-03

... Lire [+]

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

- 241 p.

Collection de logique mathématique séries a , 0001

Localisation : Ouvrage RdC (BETH)

aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

... Lire [+]

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

- 241 p.

Collection de logique mathématique séries a , 0001

Localisation : Ouvrage RdC (BETH)

aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

... Lire [+]

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

- 334 p.

L'histoire des sciences textes et études

Localisation : Ouvrage RdC (DUGA)

fonction algébrique # théorie des nombres algébriques

01A55 ; 01A60 ; 11R58 ; 11Sxx

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

- 336 p.
ISBN 978-2-87647-047-7

Localisation : Ouvrage RdC (NEUM)

développement axiomatique de la théorie # espace abstrait de Hilbert # espace de Hilbert # fondement mathématique # mesure macroscopique # mécanique quantique # processus de mesure # réversibilité # statistique quantique # théorie des transformations # équilibre

01A60 ; 81-03 ; 81Pxx

... Lire [+]

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

Mémorial des Sciences Mathématiques publié sous le patronage de l'Académie des Sciences de Paris , 0086

Localisation : Périodique 1er étage

condition de plasticité # fondement mathématique # plasticité # potentiel d'un tenseur # potentiel plastique # problème plan complet # problème plan de l'équilibre plastique # tenseur des efforts # tenseur des vitesses de déformation # théorie des corps plastiques isotropes # élasticité # équation du mouvement

73-03 ; 73Cxx ; 73Exx

... Lire [+]

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

- 715 p.

Collection de logique mathématique Série B , 0002

Localisation : Ouvrage RdC (LADR)

arithmétisation LFG et lemne de Gögel # arithmétisation et fonction récursive # autre fait de limitation # axiomatique # démonstration de Gentzen # fondement de mathématique # formalisation des mathématiques # formalisme # formalisme LFG # indécidabilité # langage # langue # les théorèmes de Tarski # limitation propre au logique combinatoire # logique # metathéorie # modèle non régulier # méthode de Prost # méthode sémantique # notation # paradoxe # philosophie des mathématiques # résultat de Kleene et de Turing # système formel # théorie des prédicats de Kleenne # théorème de Church # théorème de Gödel # théorème de Henkin # théorème de Kleene # théorème de Mostowski # théorème de Rosser # théorème de limitation # épistémologie des mathématiques arithmétisation LFG et lemne de Gögel # arithmétisation et fonction récursive # autre fait de limitation # axiomatique # démonstration de Gentzen # fondement de mathématique # formalisation des mathématiques # formalisme # formalisme LFG # indécidabilité # langage # langue # les théorèmes de Tarski # limitation propre au logique combinatoire # logique # metathéorie # modèle non régulier # méthode de Prost # méthode sémantique # notation # ...

01Axx ; 03-02 ; 03A05 ; 03A30 ; 03Bxx

... Lire [+]

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

- 174 p.
ISBN 978-2-84134-040-8

concepts

Localisation : Ouvrage RdC (GAUT)

logique mathématique # philosophie des mathématiques # épistémologie des mathématiques

00A30 ; 03-01 ; 03A35

... Lire [+]

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

- 607 p.
ISBN 978-2-7475-1518-4

Localisation : Ouvrage RdC (HILB)

histoire des mathématiques # logique # fondement des mathématiques # logique # philosophie # récursivité # arithmétique # axiomatique # théorie des nombres # raisonnement # prédicat

01A75 ; 03-03

... Lire [+]

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

- 624 p.
ISBN 978-2-7475-1519-1

Localisation : Ouvrage RdC (HILB)

histoire des mathématiques # logique # fondement des mathématiques # variable # preuve # théorie des nombres # prédicat

01A75 ; 03-03

... Lire [+]

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

- 336 p.

Localisation : Ouvrage RdC (VONN)

mécanique quantique # espace de Hilbert # théorème de Von Neumann # statistique quantique

01A60 ; 81-03 ; 81Pxx

... Lire [+]

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

- 865 p.
ISBN 978-2-226-10583-7

Localisation : Encyclopédie de math. RdC

dictionnaire # fondement des mathématiques # probabilités

00A05 ; 00A06 ; 00A08 ; 00A20

... Lire [+]

Z