Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Stewart Ian Название: Foundations of Mathematics ISBN: 019870643X ISBN-13(EAN): 9780198706434 Издательство: Oxford Education Рейтинг: Цена: 4750.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide.
Автор: Stewart Ian Название: Foundations of Mathematics ISBN: 0198706448 ISBN-13(EAN): 9780198706441 Издательство: Oxford Academ Рейтинг: Цена: 10930.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide.
Автор: Rafal Urbaniak Название: Le?niewski`s Systems of Logic and Foundations of Mathematics ISBN: 3319344161 ISBN-13(EAN): 9783319344164 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school.
Автор: Andrea Cantini; Ettore Casari; Pierluigi Minari Название: Logic and Foundations of Mathematics ISBN: 0792356594 ISBN-13(EAN): 9780792356592 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science.
Автор: Wiktor Marek; Janusz Onyszkiewicz Название: Elements of Logic and Foundations of Mathematics in Problems ISBN: 9027710848 ISBN-13(EAN): 9789027710840 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Rafal Urbaniak Название: Le?niewski`s Systems of Logic and Foundations of Mathematics ISBN: 3319004816 ISBN-13(EAN): 9783319004815 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school.
Автор: Hugues Leblanc; Elliott Mendelson; A. Orenstein Название: Foundations: Logic, Language, and Mathematics ISBN: 9048184061 ISBN-13(EAN): 9789048184064 Издательство: Springer Рейтинг: Цена: 22354.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Jack John Bulloff; Thomas Campell Holyoke; S.W. Ha Название: Foundations of Mathematics ISBN: 3642867472 ISBN-13(EAN): 9783642867477 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty- fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac- ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme supported by the late Director of The Institute for Advanced Study at Princeton, New Jersey, Dr. J. ROBERT OPPENHEIMER: "Logic, and Its Relations to Mathematics, Natural Science, and Philosophy." The symposium also celebrated the founding of Section L (Mathematical Sciences) of the Ohio Academy of Science. Salutations to Dr. GODEL were followed by the reading of papers by S. F. BARKER, H. B. CURRY, H. RUBIN, G. E. SACKS, and G. TAKEUTI, and by the announcement of in-absentia papers contributed in honor of Dr. GODEL by A. LEVY, B. MELTZER, R. M. SOLOVAY, and E. WETTE. A short discussion of "The II Beyond Godel's I" concluded the session.
Автор: C.B. Thomas; Erwin Engeler Название: Foundations of Mathematics ISBN: 3642780547 ISBN-13(EAN): 9783642780547 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Our mathematics students, having been drilled for years in high-school and college, and having studied the immense edifice of analysis, regrettably come away convinced that they understand the concepts of real numbers, Euclidean space, and algorithm.
Автор: Baaz Название: Kurt G?del and the Foundations of Mathematics ISBN: 1107677998 ISBN-13(EAN): 9781107677999 Издательство: Cambridge Academ Рейтинг: Цена: 9821.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume commemorates the life, work and foundational views of Kurt Goedel by exploring the impact of his work on current research and its future implications not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
