Search
Feedback
About UniCat 
Help
News
| Listing 1 - 7 of 7 |
Sort by
|
Book
ISBN: 9782711740369 2711740366 Year: 2008 Publisher: Paris: Vuibert,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Probabilities --- Chance --- Induction (Mathematics) --- Probabilités --- Hasard --- Induction (Mathématiques) --- History --- Histoire --- Probabilités --- Induction (Mathématiques)
Book
Year: 2013 Publisher: [Princeton (N. J.)] : The Univalent foundations program,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
"Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians."
Homotopy theory. --- Logic, Symbolic and mathematical. --- Homotopy equivalences. --- Induction (Mathematics) --- Homotopie. --- Logique mathématique. --- Équivalences d'homotopie. --- Induction (mathématiques)
Book
ISBN: 2020438593 9782020438599 Year: 2002 Publisher: Paris: Seuil,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Probabilities --- Induction (Mathematics) --- Mathematical statistics --- Probabilités --- Induction (Mathématiques) --- Statistique mathématique --- History --- Histoire --- Probabilites --- Induction (Mathematiques) --- Statistique mathematique --- Histoire. --- Probabilités --- Induction (Mathématiques) --- Statistique mathématique --- Probabilites - Histoire --- Induction (Mathematiques) - Histoire --- Statistique mathematique - Histoire --- Probabilities - History --- Induction (Mathematics) - History --- Mathematical statistics - History --- Aspect social
Book
ISBN: 0416669700 9780416669701 Year: 1973 Publisher: London: Methuen,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Probabilities --- Induction (Mathematics) --- Probabilités --- Induction (Mathématiques) --- INDUCTION (Mathematics) --- Probability --- Statistical inference --- Combinations --- Mathematics --- Chance --- Least squares --- Mathematical statistics --- Risk --- Mathematical induction --- Induction (Logic) --- Probabilities. --- Induction (Mathematics). --- Probabilités --- Induction (Mathématiques) --- Epistemics. --- Logique épistémique. --- Probabilités. --- Epreuve d'hypothese
ISSN: 00659266 ISBN: 0821819518 Year: 2000 Publisher: Providence, R.I.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Category theory. Homological algebra --- 515.14 --- Functor theory --- Homology theory --- Induction (Mathematics) --- Mathematical induction --- Induction (Logic) --- Mathematics --- Cohomology theory --- Contrahomology theory --- Algebraic topology --- Functorial representation --- Algebra, Homological --- Categories (Mathematics) --- Functional analysis --- Transformations (Mathematics) --- 515.14 Algebraic topology --- Functor theory. --- Homology theory. --- Foncteurs, Théorie des --- Induction (mathématiques) --- Homologie --- Foncteurs, Théorie des. --- Homologie.
Book
ISBN: 963714921X Year: 1999 Publisher: Budapest : University of veterinary science, Department of biomathematics and informatics,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*I23 <063> --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Induction (mathématiques) --- Induction (Mathematics) --- Programmation logique. --- Logic programming. --- Intelligence artificielle. --- Artificial intelligence. --- Induction (mathématiques)
ISBN: 0720422760 9780080954899 0080954898 1283525739 9781283525732 9786613838186 6613838187 044410545X 9780444105455 0720422000 9780720422764 0444104925 0720422779 0444105379 0720422809 9786613838179 1283525720 0080954871 9780720422771 9780720422801 9780720422009 0720422795 0720422825 0720422817 0720422833 9780720422832 0444106790 9780444106797 9780720422818 Year: 1975 Volume: v. 81 Publisher: [Place of publication not identified] Elsevier
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Recursion theory --- Théorie de la récursivité --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Congresses. --- Recursive Functions --- Logic, Symbolic and mathematical --- Proof theory. --- Mathematics --- Abstract structures --- Inductive definability. --- 510.6 --- 510.67 --- Logique mathématique --- Récursivité, Théorie de la --- Mathématiques --- 510.67 Theory of models --- Theory of models --- 510.6 Mathematical logic --- Logique mathématique. --- Récursivité, Théorie de la. --- Induction (mathématiques) --- Logic, Symbolic and mathematical. --- Recursion theory. --- Induction (Logic) --- Recursive functions. --- Induction (Mathematics) --- Proof theory --- Théorie de la preuve --- Recursive functions --- Fonctions récursives --- Induction (Mathématiques) --- Mathematical induction --- Functions, Recursive --- Algorithms --- Arithmetic --- Number theory --- Decidability (Mathematical logic) --- Foundations --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Logique mathematique --- Theorie de la preuve --- Théorie des modèles --- Set theory --- Théorie des ensembles --- Cardinal numbers. --- Nombres cardinaux --- Logique mathématique --- Philosophy --- Philosophy & Religion --- Logic
| Listing 1 - 7 of 7 |
Sort by
|