Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 16
Book Description
Notas e comunicações de matemática
Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 16
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 16
Book Description
Leading Singularity of the Scattering Kernel for Moving Obstacles with Dissipative Boundary Condition
Author: Fernando Cardoso
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 32
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 32
Book Description
Mathematical Logic and Formal Systems
Author: Alcantara
Publisher: CRC Press
ISBN: 9780824773304
Category : Mathematics
Languages : en
Pages : 328
Book Description
This unique collection of research papers provides an important contribution to the area of Mathematical Logic and Formal Systems. Exploring interesting practical applications as well as problems for further investigation, this single-source reference discusses the interpretations of the concept of probability and their relationship to statistical methods ... illustrates the problem of set theoretical foundations and category theory ... treats the various aspects of the theory of large cardinals including combinatorial properties of some sets naturally related to them ... resolves an open problem in the theory of relations ... and characterizes interpretations of elementary theories as functors between categories whose objects are structures. Written by world-renowned authorities in their fields, Mathematical Logic and Formal Systems is important reading for logicians, pure and applied mathematicians, and graduate students in logic courses. Book jacket.
Publisher: CRC Press
ISBN: 9780824773304
Category : Mathematics
Languages : en
Pages : 328
Book Description
This unique collection of research papers provides an important contribution to the area of Mathematical Logic and Formal Systems. Exploring interesting practical applications as well as problems for further investigation, this single-source reference discusses the interpretations of the concept of probability and their relationship to statistical methods ... illustrates the problem of set theoretical foundations and category theory ... treats the various aspects of the theory of large cardinals including combinatorial properties of some sets naturally related to them ... resolves an open problem in the theory of relations ... and characterizes interpretations of elementary theories as functors between categories whose objects are structures. Written by world-renowned authorities in their fields, Mathematical Logic and Formal Systems is important reading for logicians, pure and applied mathematicians, and graduate students in logic courses. Book jacket.
National Union Catalog
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 618
Book Description
Includes entries for maps and atlases.
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 618
Book Description
Includes entries for maps and atlases.
Manfredo P. do Carmo – Selected Papers
Author: Manfredo P. do Carmo
Publisher: Springer Science & Business Media
ISBN: 3642255884
Category : Mathematics
Languages : en
Pages : 492
Book Description
This volume of selected academic papers demonstrates the significance of the contribution to mathematics made by Manfredo P. do Carmo. Twice a Guggenheim Fellow and the winner of many prestigious national and international awards, the professor at the institute of Pure and Applied Mathematics in Rio de Janeiro is well known as the author of influential textbooks such as Differential Geometry of Curves and Surfaces. The area of differential geometry is the main focus of this selection, though it also contains do Carmo's own commentaries on his life as a scientist as well as assessment of the impact of his researches and a complete list of his publications. Aspects covered in the featured papers include relations between curvature and topology, convexity and rigidity, minimal surfaces, and conformal immersions, among others. Offering more than just a retrospective focus, the volume deals with subjects of current interest to researchers, including a paper co-authored with Frank Warner on the convexity of hypersurfaces in space forms. It also presents the basic stability results for minimal surfaces in the Euclidean space obtained by the author and his collaborators. Edited by do Carmo's first student, now a celebrated academic in her own right, this collection pays tribute to one of the most distinguished mathematicians.
Publisher: Springer Science & Business Media
ISBN: 3642255884
Category : Mathematics
Languages : en
Pages : 492
Book Description
This volume of selected academic papers demonstrates the significance of the contribution to mathematics made by Manfredo P. do Carmo. Twice a Guggenheim Fellow and the winner of many prestigious national and international awards, the professor at the institute of Pure and Applied Mathematics in Rio de Janeiro is well known as the author of influential textbooks such as Differential Geometry of Curves and Surfaces. The area of differential geometry is the main focus of this selection, though it also contains do Carmo's own commentaries on his life as a scientist as well as assessment of the impact of his researches and a complete list of his publications. Aspects covered in the featured papers include relations between curvature and topology, convexity and rigidity, minimal surfaces, and conformal immersions, among others. Offering more than just a retrospective focus, the volume deals with subjects of current interest to researchers, including a paper co-authored with Frank Warner on the convexity of hypersurfaces in space forms. It also presents the basic stability results for minimal surfaces in the Euclidean space obtained by the author and his collaborators. Edited by do Carmo's first student, now a celebrated academic in her own right, this collection pays tribute to one of the most distinguished mathematicians.
Mathematical Reviews
Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 678
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 678
Book Description
Ω-Bibliography of Mathematical Logic
Author: Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653
Book Description
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.
Publisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653
Book Description
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.
Integer Programming and Related Areas A Classified Bibliography 1976–1978
Author: D. Hausmann
Publisher: Springer Science & Business Media
ISBN: 3642463835
Category : Business & Economics
Languages : en
Pages : 326
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642463835
Category : Business & Economics
Languages : en
Pages : 326
Book Description
Current Serials Received
Author: British Library. Lending Division
Publisher:
ISBN:
Category : Library catalogs
Languages : en
Pages : 478
Book Description
Publisher:
ISBN:
Category : Library catalogs
Languages : en
Pages : 478
Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405
Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405
Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic