Calculabilité et décidabilité : Une introduction / Jean-Michel AUTEBERT

Titre : Calculabilité et décidabilité : Une introduction Type de document : texte imprimé Auteurs : Jean-Michel AUTEBERT Editeur : Masson Année de publication : 1992 Importance : 118 p. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale : Table des matières Avant-propos Bibliographie Index Catégories : Automates cellulaires Calcul formel Décidabilité (logique mathématique) Fonctions calculables Logique symbolique et mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : Introduction Le modèle des machines RAM Le modèle des machines de Turing Thèse de Church Les problèmes indécidables Aperçu sur la complexité

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000654	511.3 AUT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Information complexité et hasard / Jean-Paul DELAHAYE

Titre : Information complexité et hasard Type de document : texte imprimé Auteurs : Jean-Paul DELAHAYE Mention d'édition : 2e édition revue Editeur : Hermès Science Publications Année de publication : 1999 Collection : Langue, Raisonnement, Calcul Importance : 275 p. ISBN/ISSN/EAN : 978-2-7462-0026-5 Note générale : Table des matières Préface de l'édition 1999 Présentation Bibliographie Index Remerciements Catégories : Complexité de calcul (informatique) Hasard Information, Théorie de l' Logique symbolique et mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Résumé : L'information Les suites aléatoires Cinq classes d'idées Modèles formels pour l'induction L'importance des indécidables Calculabilité et physique Le monde est-il récursif ? La solution des paradoxes sématiques

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005983	511.3 DEL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

Linear and Nonlinear Waves / WHITHAM, G., B.

Titre : Linear and Nonlinear Waves Type de document : texte imprimé Auteurs : WHITHAM, G., B. Editeur : John Wiley & Sons, Inc. Importance : 636 p. ISBN/ISSN/EAN : 978-0-471-94090-6 Note générale : Preface Contents References Index Catégories : Logique symbolique et mathématique Ondes de choc Ondes non linéaires Index. décimale : 620.3 Vibration mécanique Résumé : Introduction and general outline HYPERBOLIC WAVES Waves and first order equations Specific problems Burgers' equation Hyperbolic systems Gas dynamics The wave equation Shock dynamics The propagation of weak shocks Wave hierarchies DISPERSIVE WAVES Linear dispersive waves Wave patterns Water waves Nonlinear dispersion and the variational method Group velocities, instability and higher order dispersion Applications of the nonlinear theory Exact solutions ; interacting solitary waves

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00003768	620.3 WHI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	600 - Sciences appliquées - Technologie	Disponible

Logique numérique / Annabelle GUILLEMARD

Titre : Logique numérique Type de document : texte imprimé Auteurs : Annabelle GUILLEMARD, Auteur ; Muriel MOUTARLIER, Auteur Editeur : Groupe Studyrama Année de publication : 2008 Importance : 158 p. ISBN/ISSN/EAN : 978-2-7590-0366-2 Note générale : Introduction Langues : Français (fre) Catégories : Logique symbolique et mathématique Tests d'intelligence Index. décimale : 153.9 Intelligence et aptitudes intellectuelles Résumé : Le calcul Les fractions Les racines Les puissances La proportionnalité et les pourcentages Les unités de mesure Les problèmes de temps et de vitesse Les périmètres, aires et volumes Les équations et la mise en équation Le dénombrement et les probabilités

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008722	153.9 GUI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	100 - Philosophie - Psychologie	Disponible

Les techniques binaires et le traitement de l'information / H. SOUBIES-CAMY

Titre : Les techniques binaires et le traitement de l'information Type de document : texte imprimé Auteurs : H. SOUBIES-CAMY ; P. NASLIN, Préfacier, etc. Mention d'édition : 2e édition Editeur : Dunod Année de publication : 1966 Collection : Bibliothèque de l'automaticien Importance : 539 p. Note générale : Préface Avant-propos Table des matières Annexe 1 : Etude qualitative des différents types de bascules à transistors rencontrés dans les techniques binaires Bibliographie Index alphabétique Catégories : Commutation, Théorie de la Logique symbolique et mathématique Système binaire (mathématiques) Index. décimale : 519.7 Programmation mathématique Résumé : Principes de l'algèbre logique et opérations de base Fonctions de commutation Technologie des circuits logiques de base Comptage binaire et décimal Opérations et circuits arithmétiques Notions sur les techniques de programmation et l'agencement de l'unité centrale d'un calculateur numérique Problèmes particuliers posés par la réalisation des calculateurs numériques industriels La mise en mémoire des informations. Méthodes d'enregistrement et de lecture des informations Organes d'entrée et de sortie Traduction analogique-digitale des informations Traduction digitale-analogique des informations Générateurs de fonctions et calculateurs d'interpolation numériques Commande numérique des machines-outils Les techniques binaires appliquées aux télétransmissions d'information Les techniques numériques et l'instrumentation électronique

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000792	519.7 SOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

---

1 (1 - 5 / 5) Par page : 25 50 100 200