14 recherche sur le mot-clé 'Logic mathematical'   

      Affiner la recherche  Générer le flux rss de la recherche   Partager le résultat de cette recherche   Faire une suggestion

The Theory of Gambling and Statistical Logic / Richard A. Epstein (2013)

Titre : The Theory of Gambling and Statistical Logic Type de document : texte imprimé Auteurs : Richard A. Epstein, Auteur Mention d'édition : 2nd. Ed Editeur : Amsterdam : Elsevier Année de publication : 2013 Importance : XIII-451 P. Présentation : Relié. Graph. Format : 23 cm ISBN/ISSN/EAN : 978-0-12-397857-8 Langues : Anglais (eng) Catégories : (02.50) Theorie des Probabilites, processus stochastiques et statistiques. Theorie de l'information Mots-clés : Logic mathematical Index. décimale : 02.50 Résumé : 1 Kubeiagenesis- 2 Mathematical preliminaries - 3 Fundamental principles of a theory of gambling - 4 Parrondo's principle - 5 Coins, wheels and oddments - 6 Coups and games with dice - 7 the play of the cards - 8 Blackjack - 9 Statistical logic and statistical games - 10 Games of pure skill and competitives computers - 11 Fallacies and sophistries

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003296	02.50.36	texte imprimé	Bibli FERMI 3R4	Recherche	Emprunté par: Stefano Paggi Sorti jusqu'au 10/01/2025

Bayesian logical data analysis for the physical sciences / P.C. Gregory (2005)

Titre : Bayesian logical data analysis for the physical sciences : a comparative approach with Mathematica support Type de document : texte imprimé Auteurs : P.C. Gregory, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2005 Importance : XVII-468 p. Présentation : Relié. Couv. Ill. en coul., graph. Format : 25 cm ISBN/ISSN/EAN : 978-0-521-84150-4 Langues : Anglais (eng) Catégories : (05.20) Mecanique statistique classique et quantique Mots-clés : Data management  Probability theory  Logic mathematical  Inference methods  Statistical theories  Monte Carlo method  Nonlinear symmetries Index. décimale : 05.20 Résumé : 1 Role of probability theory in science - 2 Probability theory as extended logic - 3 The how-to of Bayesian inference - 4 Assigning probabilities - 5 Frequent statistical inference - 6 What is a statistic - 7 Frequentist hypothesis testing - 8 Maximum entropy probabilities - 9 Bayesian inference with Gaussian errors - 10 Linear model fitting (Gaussian errors) - 11 Nonlinear model fitting -12 Markov chain Monte Carlo -13 Bayesian revolution in spectral analysis - 14 Bayesian inference with Poisson sampling

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ002691	05.20.GRE	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

Probability theory / E.W. Jaynes (2003)

Titre : Probability theory : the logic of science Type de document : texte imprimé Auteurs : E.W. Jaynes, Auteur ; G.L. Bretthorst, Éditeur scientifique Editeur : Cambridge : Cambridge University Press Année de publication : 2003 Importance : XXIX-727 p. Présentation : Relié. Couv. en coul., graph. Format : 25 cm ISBN/ISSN/EAN : 978-0-521-59271-0 Langues : Anglais (eng) Catégories : (02.50) Theorie des Probabilites, processus stochastiques et statistiques. Theorie de l'information Mots-clés : Probability theory  Logic mathematical  Algebraic methods  Distribution theory  Statistical theories Index. décimale : 02.50 Résumé : Part I Principles and elementary applications - Part II Advanced applications

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ002671	02.50.26	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

Introduction à la logique. Théorie de la démonstration. / René David (2003)

Titre : Introduction à la logique. Théorie de la démonstration. : cours et exercices corrigés Type de document : texte imprimé Auteurs : René David, Auteur ; Karim Nour, Auteur ; Christophe Raffali, Auteur ; Pierre-Louis Curien, Préfacier, etc. Mention d'édition : 2nd. Ed Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XIII-352 p. Présentation : Broché. Couv.ill.en coul., graph. Format : 26 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Français (fre) Catégories : (02.10) Logique, theorie des ensembles et algebre, theorie des groupes Mots-clés : Logic mathematical Index. décimale : 02.10 Résumé : 1 formules et démonstration de la logique du premier ordre - 2 Complétude de la logique du premier ordre - 3 Exemples de théorie - 4 Logique intuitionniste et modèle de Kripke - 5 Calculs des séquents - 6 Logiques d'ordre supérieur - 7 Démonstration automatique - Le logiciel Phox

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003049	02.10.DAV	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

Rigorous software development / José Bacelar Almeida (2011)

Titre : Rigorous software development : an introduction to program verification Type de document : texte imprimé Auteurs : José Bacelar Almeida, Auteur ; Maia Joao Frade, Auteur Editeur : New York : Springer Verlag Année de publication : 2011 Collection : Undergraduate topics in computer science Importance : XII-263 P. Présentation : Broche. Couv. en coul., graph. Format : 23 cm ISBN/ISSN/EAN : 978-0-85729-017-5 Langues : Anglais (eng) Catégories : (02.60) Analyse numerique et informatique Mots-clés : Computer interfaces  Computational techniques  Logic mathematical Index. décimale : 02.60 Résumé : 1 An Overview of Formal Methods Tools and Techniques - 2 Propositional Logic - 3 First-Order Logic - 4 Hoare Logic - 5 Generating Verification Conditions - 6 Safety Properties - 7 Procedures and Contracts - 8 Specifying C Programs - 9 Verifying C Programs -

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003772	02.60.ALM	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

Calcul des probabilités / A. Renyi (1966)

Permalink

Le cercle des problèmes incongrus / Alex Bellos (2018)

Permalink

L'héritage de Kolmogorov en mathématiques / Éric Charpentier (2004)

Permalink

Introduction à la philosophie mathématique / Bertrand Russel (1991)

Permalink

Logique, informatique et paradoxes / Jean-Paul Delahaye (1993)

Permalink

Logique mathématique. Tome 1, calcul propositionnel, algèbre de Boole, calcul des prédicats / René Cori (2003)

Permalink

Logique mathématique. Tome 2, fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles / René Cori (2003)

Permalink

Logique et raisonnements / Michael Freund (2016)

Permalink

La Pensée mathématique contemporaine / Frédéric Patras (2002)

Permalink