[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia

Език Английски езикАнглийски език
Книга С твърди корици
Книга Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia Jacques Fleuriot
Код Либристо: 05260523
Издателство Springer London Ltd, юни 2001
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style... Цялото описание
? points 324 b
252.31 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Kidnapped By A Sex Maniac Christopher Pierce / С меки корици
common.buy 32.01 лв
Bergsonism Deleuze / С меки корици
common.buy 46.51 лв
International Directory of Company Histories Tina Grant / С твърди корици
common.buy 1 243.95 лв
Byzantine Trade, 4th-12th Centuries / С твърди корици
common.buy 420.05 лв
Down by the Riverside / С меки корици
common.buy 87.59 лв
Cybercrime / С меки корици
common.buy 84.87 лв
Complete Your Dissertation or Thesis in Two Semesters or Less Evelyn Hunt Ogden / С меки корици
common.buy 43.39 лв
Breastfeeding Your Baby Jane Moody / С меки корици
common.buy 49.33 лв
Morality, Mortality: Volume I: Death and Whom to Save From It Frances Myrna Kamm / С меки корици
common.buy 266.91 лв
In the Public Domain Lori Cox Han / С меки корици
common.buy 95.24 лв
Anatomy of Terror Andrew Sinclair / С меки корици
common.buy 65.64 лв
Arthurian Literature IX Richard Barber / С твърди корици
common.buy 261.37 лв
ПОДГОТВЯМЕ
Advances in Human-Computer Interaction Volume 5 Jakob Nielsen / С меки корици
common.buy 146.28 лв
ADD: The 20-Hour Solution Mark Steinberg Ph D / С меки корици
common.buy 27.88 лв
Chronicle of William of Puylaurens W.A. Sibly / С твърди корици
common.buy 243.85 лв

Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.§In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.

Информация за книгата

Пълно заглавие Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Автор Jacques Fleuriot
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2001
Брой страници 140
Баркод 9781852334666
ISBN 1852334665
Код Либристо 05260523
Издателство Springer London Ltd
Тегло 890
Размери 155 x 235 x 13

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Mathematics & Science > Mathematics > Geometry
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo