Sélection
Découvrir les Fonctions mathématiques - Page 97
![[tel-00415845, v1] Etude d un $ lambda$-calcul issu d une logique classique](https://img.uscri.be/pth/b627eab6b39ca6635b15807424c01b8f395d3532)
Documents
[tel-00415845, v1] Etude d'un $ lambda$-calcul issu d'une logique classique
Documents
Sciences humaines et sociales
[tel-00415845, v1] Etude d'un $ lambda$-calcul issu d'une logique classique
115 pages
English
Lire
Infos
Documents
What is the East Harlem Tutorial Program
Documents
The Excellence of the Rosary - Conferences for Devotions in Honor of the Blessed Virgin
Documents
Littérature
The Excellence of the Rosary - Conferences for Devotions in Honor of the Blessed Virgin
41 pages
English
Lire
Infos
Documents
Split feasibility problems for total quasi-asymptotically nonexpansive mappings
Documents
Savoirs
Split feasibility problems for total quasi-asymptotically nonexpansive mappings
11 pages
English
Lire
Infos
Documents
Study of a Coupled Fluid Structure System
Documents
J Math Pures Appl p
Documents
J Ramanujan Math Soc No
Documents
J Math Anal Appl www elsevier com locate jmaa
Documents
Compositio Math
Documents
Math Proc Camb Phil Soc
Documents
Nonlinear Microlocale Analysis
Documents
Document Interlinking in a Digital Math Library by Claude Goutorbe
Documents
Cours
Document Interlinking in a Digital Math Library by Claude Goutorbe
17 pages
English
Lire
Infos
Documents
PUBLICATION LIST of ALEXANDRU DIMCA
Documents
References Revues avec Comite de Lecture
Documents
Small Group Intensive Mathematics Tutorial Model 3u 2009-10
Documents
Savoirs
Small Group Intensive Mathematics Tutorial Model 3u 2009-10
2 pages
English
Lire
Infos
Documents
Overview of This Tutorial
Documents
INTRODUCTION This application note provides some utility math routines for Microchip's PIC16C5X and PIC16CXXX series of bit microcontrollers The following math outlines are provided: 8x8 unsigned multiply 16x16 double precision multiply Fixed Point Division Table 16x16 double precision addition 16x16 double precision subtraction BCD Binary Coded Decimal to binary conversion
Documents
Rapports de stage
INTRODUCTION This application note provides some utility math routines for Microchip's PIC16C5X and PIC16CXXX series of bit microcontrollers The following math outlines are provided: 8x8 unsigned multiply 16x16 double precision multiply Fixed Point Division Table 16x16 double precision addition 16x16 double precision subtraction BCD Binary Coded Decimal to binary conversion
95 pages
English
Lire
Infos
Documents
Under consideration for publication in Math Struct in Comp Science
Documents
Rapports de stage
Under consideration for publication in Math Struct in Comp Science
4 pages
English
Lire
Infos
Documents
Mathematical intuition and the cognitive roots of mathematical concepts1 Giuseppe Longo Arnaud Viarouge CNRS et Ecole Normale Superieure Psychology and Human Development Dpt et CREA Ecole Polytechnique Paris Fr Peabody College Vanderbilt University http: www di ens fr users longo Nashville TN USA Abstract The foundation of Mathematics is both a logico formal issue and an epistemological one By the first we mean the explicitation and analysis of formal proof principles which largely a posteriori ground proof on general deduction rules and schemata By the second we mean the investigation of the constitutive genesis of concepts and structures the aim of this paper This genealogy of concepts so dear to Riemann Poincaré and Enriques among others is necessary both in order to enrich the foundational analysis by this too often disregarded aspect the cognitive and historical constitution of mathematical structures and because of the provable incompleteness of proof principles also in the analysis of deduction For the purposes of our investigation we will hint here to the philosophical frame as well as to the some recent advances in Cognition that support our claim the cognitive origin and the constitutive role of mathematical intuition From Logic to Cognition Over the course of the XXth century the relationships between Philosophy and Mathematics have been dominated by Mathematical Logic A most interesting area of Mathematics which from onwards year of one of the major mathematical results of the century Gödelian Incompleteness enjoyed the double status of a discipline that is both technically profound and philosophically fundamental From the foundational point of view Proof Theory constituted its main aspect also on account of other remarkable results Ordinal Analysis after Gentzen Type Theory in the manner of Church Gödel Girard various forms of incompleteness independence in Set Theory and Arithmetics and produced spin offs which are in the course of changing the world: the functions for the computation of proofs ...
Documents
Rapports de stage
Mathematical intuition and the cognitive roots of mathematical concepts1 Giuseppe Longo Arnaud Viarouge CNRS et Ecole Normale Superieure Psychology and Human Development Dpt et CREA Ecole Polytechnique Paris Fr Peabody College Vanderbilt University http: www di ens fr users longo Nashville TN USA Abstract The foundation of Mathematics is both a logico formal issue and an epistemological one By the first we mean the explicitation and analysis of formal proof principles which largely a posteriori ground proof on general deduction rules and schemata By the second we mean the investigation of the constitutive genesis of concepts and structures the aim of this paper This genealogy of concepts so dear to Riemann Poincaré and Enriques among others is necessary both in order to enrich the foundational analysis by this too often disregarded aspect the cognitive and historical constitution of mathematical structures and because of the provable incompleteness of proof principles also in the analysis of deduction For the purposes of our investigation we will hint here to the philosophical frame as well as to the some recent advances in Cognition that support our claim the cognitive origin and the constitutive role of mathematical intuition From Logic to Cognition Over the course of the XXth century the relationships between Philosophy and Mathematics have been dominated by Mathematical Logic A most interesting area of Mathematics which from onwards year of one of the major mathematical results of the century Gödelian Incompleteness enjoyed the double status of a discipline that is both technically profound and philosophically fundamental From the foundational point of view Proof Theory constituted its main aspect also on account of other remarkable results Ordinal Analysis after Gentzen Type Theory in the manner of Church Gödel Girard various forms of incompleteness independence in Set Theory and Arithmetics and produced spin offs which are in the course of changing the world: the functions for the computation of proofs ...
18 pages
English
Lire
Infos
Documents
Invent math Inventiones mathematicae Springer Verlag
Documents
Rapports de stage
Invent math Inventiones mathematicae Springer Verlag
23 pages
English
Lire
Infos
Documents
Commun Math Phys Communications in Mathematical
Documents
Rapports de stage
Commun Math Phys Communications in Mathematical
35 pages
English
Lire
Infos
Documents
Submitted to the Annals of Statistics arXiv: math PR
Documents
Rapports de stage
Submitted to the Annals of Statistics arXiv: math PR
36 pages
English
Lire
Infos
Documents
Dep of Math Meth in Phys
Documents
Math Model Nat Phenom Vol No pp
Documents
Digital mathematics libraries: The good the bad the ugly
Documents
Cours
Digital mathematics libraries: The good the bad the ugly
174 pages
English
Lire
Infos
Documents
Forward Look on a
Documents
Digital mathematics libraries: The good the bad the ugly
Documents
Cours
Digital mathematics libraries: The good the bad the ugly
40 pages
English
Lire
Infos
Documents
A new iterative algorithm for solving common solutions of generalized mixed equilibrium problems, fixed point problems and variational inclusion problems with minimization problems
Documents
Savoirs
A new iterative algorithm for solving common solutions of generalized mixed equilibrium problems, fixed point problems and variational inclusion problems with minimization problems
27 pages
English
Lire
Infos
Documents
Sequence and structural analysis of BTB domain proteins
Documents
Savoirs
Sequence and structural analysis of BTB domain proteins
18 pages
English
Lire
Infos
Documents
Support vector machine prediction of enzyme function with conjoint triad feature and hierarchical context
Documents
Savoirs
Support vector machine prediction of enzyme function with conjoint triad feature and hierarchical context
11 pages
English
Lire
Infos
