Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Mathematical Reasoning with Diagrams

Main
Mathematics
Mathematical Reasoning with Diagrams

Mathematical Reasoning with Diagrams

Mateja Jamnik

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Категории:

Год:

2001

Издательство:

CSLI Publications

Язык:

english

Страницы:

206

ISBN 10:

1575863243

ISBN 13:

9781575863245

Файл:

PDF, 1.55 MB

IPFS:

,

english, 2001

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Gerard Allwein, Jon Barwise — Logical Reasoning with Diagrams

Matt Kaufmann Lawrence C. Paulson (Eds.) — Interactive Theorem Proving(2010)

Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors) — The Nature of Mathematical Proof

Michael Detlefsen (edt) — Proof, Logic and Formalization

Bundy A., Atiyah M., Macintyre A., MacKenzie D. eds. — The nature of mathematical proof

Paolo Mancosu — The Philosophy of Mathematical Practice

Paolo Mancosu — Philosophy of Mathematical Practice

Detlefsen M. (Ed) — Proof, Logic and Formalization

Michael Detlefsen — Proof, Logic and Formalization

L.J.M. Claesen, M.J.C. Gordon — Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1

Wang, Hao — From mathematics to philosophy

Richard L. Epstein, Walter A Carnielli — Computability: computable functions, logic, and the foundations of mathematics

Karine Chemla — The History of Mathematical Proof in Ancient Traditions

Hao Wang — From Mathematics to Philosophy

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Gila Hanna, Hans Niels Jahnke, Helmut Pulte (auth.), Gila Hanna, Hans Niels Jahnke, Helmut Pulte (eds.) — Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Sandip Ray (auth.) — Scalable Techniques for Formal Verification

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Mateja Jamnik — Mathematical Reasoning with Diagrams

Lito Perez Cruz — Theoremus

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.) — Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

B. Chandrasekaran (auth.), Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.) — Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings

Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.) — Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Judson Chambers Webb (auth.) — Mechanism, Mentalism and Metamathematics: An Essay on Finitism

Ключевые слова