Advances in linear logic / Jean-Yves Girard

Public ISBD Titre : Advances in linear logic Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-55961-4 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Index. décimale : 511 Principes généraux des mathématiques Résumé : Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher. Advances in linear logic [texte imprimé] / Jean-Yves Girard, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-55961-4 Catégories : Mathématiques Mathématiques:Principes généraux des mathématiques Index. décimale : 511 Principes généraux des mathématiques Résumé : Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521559614MIT001	511/075	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521559614MIT002	511/075	Livre	Maths&Informatique	Fonds mathématiques	Disponible

An introduction to support vector machines / Nello Cristianini

Public ISBD Titre : An introduction to support vector machines : and other kernel-based learning methods Type de document : texte imprimé Auteurs : Nello Cristianini (1968-..), Auteur ; John Shawe-Taylor, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press Année de publication : 2000 ISBN/ISSN/EAN : 978-0-521-78019-3 Langues : Anglais (eng) Catégories : Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle Mots-clés : Algorithms  Kernel functions  Machine learning  Intelligence artificielle  Apprentissage automatique  Acquisition des connaissances (systèmes experts)  Modèles stochastiques d'apprentissage  Traitement vectoriel  Noyaux (analyse fonctionnelle)  Algorithmes Index. décimale : 006.3 Intelligence artificielle Résumé : This is the first comprehensive introduction to Support Vector Machines (SVMs), a new generation learning system based on recent advances in statistical learning theory. SVMs deliver state-of-the-art performance in real-world applications such as text categorisation, hand-written character recognition, image classification, biosequences analysis, etc., and are now established as one of the standard tools for machine learning and data mining. Students will find the book both stimulating and accessible, while practitioners will be guided smoothly through the material required for a good grasp of the theory and its applications. The concepts are introduced gradually in accessible and self-contained stages, while the presentation is rigorous and thorough. Pointers to relevant literature and web sites containing software ensure that it forms an ideal starting point for further study. Equally, the book and its associated web site will guide practitioners to updated literature, new applications, and on-line software. An introduction to support vector machines : and other kernel-based learning methods [texte imprimé] / Nello Cristianini (1968-..), Auteur ; John Shawe-Taylor, Auteur . - Cambridge (U.K.) : Cambridge University Press, 2000. ISBN : 978-0-521-78019-3 Langues : Anglais (eng) Catégories : Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle Mots-clés : Algorithms  Kernel functions  Machine learning  Intelligence artificielle  Apprentissage automatique  Acquisition des connaissances (systèmes experts)  Modèles stochastiques d'apprentissage  Traitement vectoriel  Noyaux (analyse fonctionnelle)  Algorithmes Index. décimale : 006.3 Intelligence artificielle Résumé : This is the first comprehensive introduction to Support Vector Machines (SVMs), a new generation learning system based on recent advances in statistical learning theory. SVMs deliver state-of-the-art performance in real-world applications such as text categorisation, hand-written character recognition, image classification, biosequences analysis, etc., and are now established as one of the standard tools for machine learning and data mining. Students will find the book both stimulating and accessible, while practitioners will be guided smoothly through the material required for a good grasp of the theory and its applications. The concepts are introduced gradually in accessible and self-contained stages, while the presentation is rigorous and thorough. Pointers to relevant literature and web sites containing software ensure that it forms an ideal starting point for further study. Equally, the book and its associated web site will guide practitioners to updated literature, new applications, and on-line software.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521780193MIT001	006.3/029	Livre	Maths&Informatique	Fonds informatique	Disponible
9780521780193MIT002	006.3/029	Livre	Maths&Informatique	Fonds informatique	Disponible

Compact matrix quantum groups and their combinatorics. / Freslon AMAURY

Public ISBD Titre : Compact matrix quantum groups and their combinatorics. Type de document : texte imprimé Auteurs : Freslon AMAURY, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press Année de publication : 2023 ISBN/ISSN/EAN : 978-1-00-934569-9 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Mathématiques (manuels scolaires, mathématiques pures) Index. décimale : 510 Mathématiques Générales Résumé : An organised step-by-step introduction to the theory of compact quantum groups, starting with examples coming from quantum physics, which stems from the basic undergraduate mathematics curriculum. Introducing more abstract concepts along the way when needed, the reader is led from the fundamentals of the theory to recent research results. The emphasis is put on the combinatorics underlying compact quantum groups, which is very elementary to describe but leads to profound results. This book includes many exercises to help students work through new concepts and ideas and consolidate their understanding. The theory itself is illustrated by an array of examples, some related to other fields of Mathematics such as free probability theory or graph theory. The book is intended for graduate students, motivated undergraduate students and researchers. Compact matrix quantum groups and their combinatorics. [texte imprimé] / Freslon AMAURY, Auteur . - Cambridge (U.K.) : Cambridge University Press, 2023. ISBN : 978-1-00-934569-9 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Mathématiques (manuels scolaires, mathématiques pures) Index. décimale : 510 Mathématiques Générales Résumé : An organised step-by-step introduction to the theory of compact quantum groups, starting with examples coming from quantum physics, which stems from the basic undergraduate mathematics curriculum. Introducing more abstract concepts along the way when needed, the reader is led from the fundamentals of the theory to recent research results. The emphasis is put on the combinatorics underlying compact quantum groups, which is very elementary to describe but leads to profound results. This book includes many exercises to help students work through new concepts and ideas and consolidate their understanding. The theory itself is illustrated by an array of examples, some related to other fields of Mathematics such as free probability theory or graph theory. The book is intended for graduate students, motivated undergraduate students and researchers.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9781009345699MIT002	510/220	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9781009345699MIT001	510/220	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Extensions of first order logic / Maria Manzano

Public ISBD Titre : Extensions of first order logic Type de document : texte imprimé Auteurs : Maria Manzano, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press ISBN/ISSN/EAN : 978-0-521-35435-6 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Algèbre Index. décimale : 511 Principes généraux des mathématiques Résumé : Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. Extensions of first order logic [texte imprimé] / Maria Manzano, Auteur . - Cambridge (U.K.) : Cambridge University Press, [s.d.]. ISBN : 978-0-521-35435-6 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Algèbre Index. décimale : 511 Principes généraux des mathématiques Résumé : Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9780521354356MIT001	511/074	Livre	Maths&Informatique	Fonds mathématiques	Disponible
9780521354356MIT002	511/074	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Introduction to probability for computing. / HARCHOL-BALTER Mor

Public ISBD Titre : Introduction to probability for computing. Type de document : texte imprimé Auteurs : HARCHOL-BALTER Mor, Auteur Editeur : Cambridge (U.K.) : Cambridge University Press Année de publication : 2024 ISBN/ISSN/EAN : 978-1-00-930907-3 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Mathématiques appliquées et probabilités Mathématiques:Mathématiques appliquées et probabilités :Probabilités Index. décimale : 519.2 Probabilités Résumé : Learn about probability as it is used in computer science with this rigorous, yet highly accessible, undergraduate textbook. Fundamental probability concepts are explained in depth, prerequisite mathematics is summarized, and a wide range of computer science applications is described. Throughout, the material is presented in a “question and answer” style designed to encourage student engagement and understanding. Replete with almost 400 exercises, real-world computer science examples, and covering a wide range of topics from simulation with computer science workloads, to statistical inference, to randomized algorithms, to Markov models and queues, this interactive text is an invaluable learning tool whether your course covers probability with statistics, with stochastic processes, with randomized algorithms, or with simulation. The teaching package includes solutions, lecture slides, and lecture notes for students. Introduction to probability for computing. [texte imprimé] / HARCHOL-BALTER Mor, Auteur . - Cambridge (U.K.) : Cambridge University Press, 2024. ISBN : 978-1-00-930907-3 Langues : Anglais (eng) Catégories : Mathématiques Mathématiques:Mathématiques appliquées et probabilités Mathématiques:Mathématiques appliquées et probabilités :Probabilités Index. décimale : 519.2 Probabilités Résumé : Learn about probability as it is used in computer science with this rigorous, yet highly accessible, undergraduate textbook. Fundamental probability concepts are explained in depth, prerequisite mathematics is summarized, and a wide range of computer science applications is described. Throughout, the material is presented in a “question and answer” style designed to encourage student engagement and understanding. Replete with almost 400 exercises, real-world computer science examples, and covering a wide range of topics from simulation with computer science workloads, to statistical inference, to randomized algorithms, to Markov models and queues, this interactive text is an invaluable learning tool whether your course covers probability with statistics, with stochastic processes, with randomized algorithms, or with simulation. The teaching package includes solutions, lecture slides, and lecture notes for students.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9781009309073MIT001	519.2/065	Livre	Maths&Informatique	Fonds mathématiques	Disponible

Linear algebra for data science, machine learning, and signal processing. / FESSLER Jeffrey A.

Permalink

Normal Forms and Bifurcation of Planar Vector fields / Shui-Nee Chow

Permalink

Riemannien Geometry / Isaac Chavel

Permalink

Stability, instability and chaos / Paul Glendinning

Permalink

---

1 (1 - 9 / 9)