A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
7 résultat(s) recherche sur le mot-clé 'calculabilité' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesLe calculable et la complexité / Alain CARDON (1992)
Titre : Le calculable et la complexité Type de document : texte imprimé Auteurs : Alain CARDON, Auteur ; IREM de Rouen, Editeur scientifique Editeur : Saint-Etienne du Rouvray : IREM de Rouen Année de publication : 1992 Importance : 30 p. ISBN/ISSN/EAN : 978-2-86239-037-6 Langues : Français Mots-clés : complexité calculabilité algorithmes Résumé : Dans cette brochure, après une présentation de la notion de calculabilité, au sens de Turing et celle d'algorithme, l'auteur fait une présentation de différentes notions de complexité et de différents modèles de calcul, séquentiels et parallèles ainsi qu'une présentation d'une hiérarchie de classes de problèmes difficiles à définir.
Voici le plan de la brochure :
- Introduction
- La complexité des algorithmes
- L'insurmontable complexité
- La complexité organisée.Note de contenu : index, bibliogr. En ligne : http://numerisation.irem.univ-mrs.fr/RO/IRO92012/IRO92012.pdf Format de la ressource électronique : Le calculable et la complexité [texte imprimé] / Alain CARDON, Auteur ; IREM de Rouen, Editeur scientifique . - Saint-Etienne du Rouvray : IREM de Rouen, 1992 . - 30 p.
ISBN : 978-2-86239-037-6
Langues : Français
Mots-clés : complexité calculabilité algorithmes Résumé : Dans cette brochure, après une présentation de la notion de calculabilité, au sens de Turing et celle d'algorithme, l'auteur fait une présentation de différentes notions de complexité et de différents modèles de calcul, séquentiels et parallèles ainsi qu'une présentation d'une hiérarchie de classes de problèmes difficiles à définir.
Voici le plan de la brochure :
- Introduction
- La complexité des algorithmes
- L'insurmontable complexité
- La complexité organisée.Note de contenu : index, bibliogr. En ligne : http://numerisation.irem.univ-mrs.fr/RO/IRO92012/IRO92012.pdf Format de la ressource électronique : Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i3249 B/ROU/1992 Livre IREM Salle Disponible
Titre : Aufzählbarkeit, entscheidbarkeit, berechenbarkeit : einführung in die theorie der rekursiven funktionen Type de document : texte imprimé Auteurs : Hans HERMES, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1961 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 109 Importance : IX-246 p. ISBN/ISSN/EAN : 978-3-540-08869-1 Langues : Allemand Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Aufzählbarkeit, entscheidbarkeit, berechenbarkeit : einführung in die theorie der rekursiven funktionen [texte imprimé] / Hans HERMES, Auteur . - Berlin : Springer-Verlag, 1961 . - IX-246 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 109) .
ISBN : 978-3-540-08869-1
Langues : Allemand
Catégories : 03D20 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5081 HER/02/2595 Livre Recherche Salle Disponible Computations in higher types / Johan MOLDESTAD (1977)
Titre : Computations in higher types Type de document : monographie Auteurs : Johan MOLDESTAD, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 574 ISBN/ISSN/EAN : 978-3-540-08132-6 Note générale : Index Langues : Anglais Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Computations in higher types [monographie] / Johan MOLDESTAD, Auteur . - Berlin : Springer-Verlag, 1977. - (Lecture Note in Mathematics, ISSN 0075-8434; 574) .
ISBN : 978-3-540-08132-6
Index
Langues : Anglais
Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5229 LN 574 Livre Recherche Salle Disponible
Titre : Enumerability, decidability, computability : an introduction to the theory of recursive functions Type de document : texte imprimé Auteurs : Hans HERMES, Auteur ; G.T. HERMAN, Traducteur ; O. PLASSMANN, Traducteur Editeur : Berlin : Springer-Verlag Année de publication : 1965 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 127 ISBN/ISSN/EAN : 978-3-540-04501-4 Langues : Anglais Langues originales : Allemand Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Enumerability, decidability, computability : an introduction to the theory of recursive functions [texte imprimé] / Hans HERMES, Auteur ; G.T. HERMAN, Traducteur ; O. PLASSMANN, Traducteur . - Berlin : Springer-Verlag, 1965. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 127) .
ISBN : 978-3-540-04501-4
Langues : Anglais Langues originales : Allemand
Catégories : 03F60 Mots-clés : théorie des fonctions récursives énumérabilité décidabilité calculabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 129 HER/02/2632 Livre Recherche Salle Disponible
Titre : Gödel : Logique et folie Type de document : texte imprimé Auteurs : Pierre CASSOU-NOGUES, Auteur Editeur : Paris : Les belles lettres Année de publication : 2008 Collection : Figures du savoir num. 34 Importance : 190 p. Langues : Français Mots-clés : histoire des sciences épistémologie philosophie logique incomplétude calculabilité Résumé : Kurt Gödel (1906-1978), mathématicien, logicien et philosophe, est incontestablement l'un des plus grands esprits de notre temps. Ses réponses aux questions radicales posées par le XXe siècle au langage, aux mathématiques et à la pensée rationnelle ont modifié de façon décisive l'assise du savoir contemporain
Existe-t-il une langue qui permette d'isoler les phrases vraies dans tout monde possible ? Pouvons-nous ou prouver ou réfuter chacune des phrases que nous pouvons y énoncer ? Ou bien, dans une langue donnée, existe-t-il des phrases indécidables ? Plus largement, existe-t-il des phrases absolument indécidables, qui, dans aucune langue plausible, ne seront ni prouvées ni réfutées ? Sommes-nous des machines ? Si nous pensons correctement, notre pensée doit pouvoir s'énoncer dans une langue univoque mais, en utilisant une langue définie, nous écrivons comme une machine. Existe-t-il des machines capables d'écrire tout ce que nous pouvons penser ? Existe-t-il des objets qui ne sont ni dans l'espace ni dans le temps et que nous ne pouvons percevoir qu'avec nos esprits ? Les nombres sont-ils de tels objets ? Les mathématiques apparaissent comme le modèle de l'activité rationnelle et l'arithmétique donne le modèle de la certitude mathématique. Mais pouvons-nous donner un fondemen
à l'arithmétique élémentaire ? On présente ici les réponses de Gödel, en suivant son œuvre logique et philosophique, depuis sa démonstration de la complétude sémantique du calcul des prédicats (1929) à sa réflexion sur le continu chez Cantor (1947), en passant par so
théorème dit d'incomplétude (1931) - théorème qui a rendu Gödel fameux au-delà de son domaine et influencé jusqu'au psychanalyste Jacques Lacan.Note de contenu : bibliogr. Gödel : Logique et folie [texte imprimé] / Pierre CASSOU-NOGUES, Auteur . - Paris (75006) : Les belles lettres, 2008 . - 190 p.. - (Figures du savoir; 34) .
Langues : Français
Mots-clés : histoire des sciences épistémologie philosophie logique incomplétude calculabilité Résumé : Kurt Gödel (1906-1978), mathématicien, logicien et philosophe, est incontestablement l'un des plus grands esprits de notre temps. Ses réponses aux questions radicales posées par le XXe siècle au langage, aux mathématiques et à la pensée rationnelle ont modifié de façon décisive l'assise du savoir contemporain
Existe-t-il une langue qui permette d'isoler les phrases vraies dans tout monde possible ? Pouvons-nous ou prouver ou réfuter chacune des phrases que nous pouvons y énoncer ? Ou bien, dans une langue donnée, existe-t-il des phrases indécidables ? Plus largement, existe-t-il des phrases absolument indécidables, qui, dans aucune langue plausible, ne seront ni prouvées ni réfutées ? Sommes-nous des machines ? Si nous pensons correctement, notre pensée doit pouvoir s'énoncer dans une langue univoque mais, en utilisant une langue définie, nous écrivons comme une machine. Existe-t-il des machines capables d'écrire tout ce que nous pouvons penser ? Existe-t-il des objets qui ne sont ni dans l'espace ni dans le temps et que nous ne pouvons percevoir qu'avec nos esprits ? Les nombres sont-ils de tels objets ? Les mathématiques apparaissent comme le modèle de l'activité rationnelle et l'arithmétique donne le modèle de la certitude mathématique. Mais pouvons-nous donner un fondemen
à l'arithmétique élémentaire ? On présente ici les réponses de Gödel, en suivant son œuvre logique et philosophique, depuis sa démonstration de la complétude sémantique du calcul des prédicats (1929) à sa réflexion sur le continu chez Cantor (1947), en passant par so
théorème dit d'incomplétude (1931) - théorème qui a rendu Gödel fameux au-delà de son domaine et influencé jusqu'au psychanalyste Jacques Lacan.Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i394 CAS/IREM/H-E Livre IREM Salle Disponible
Permalink
Permalink
