Formal Proofs in Elementary Set Theory: Rules of Logic for Formal Proofs in Zermelo Set Theory
暫譯: 初等集合論中的正式證明：在澤梅洛集合論中的邏輯規則
Suryanarayan, Krishna
- 出版商: Springer
- 出版日期: 2026-08-03
- 售價: $2,530
- 貴賓價: 9.5 折 $2,403
- 語言: 英文
- 頁數: 134
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032222389
- ISBN-13: 9783032222381
-
相關分類:
Algorithms-data-structures
海外代購書籍(需單獨結帳)
商品描述
The book gives a summary of the rules of logic required to write formal proofs. The book gives formal proofs for theorems in elementary set theory based on Zermelo axioms. The book includes a proof of the existence of a Peano system which provides a foundation for the number theory. The book helps the reader to write formal proofs. The book serves as a reference for a course on formal proofs. It can be used to develop a software that can be used to write and verify formal proofs.
商品描述(中文翻譯)
本書總結了撰寫正式證明所需的邏輯規則。書中基於澤梅洛公理提供了初等集合論定理的正式證明。書中包括了佩阿諾系統存在性的證明，該系統為數論提供了基礎。本書幫助讀者撰寫正式證明，並作為正式證明課程的參考資料。它可以用來開發一個用於撰寫和驗證正式證明的軟體。
作者簡介
Krishna Suryanarayan is an Associate Professor of Electrical Engineering at Indian Institute of Technology Madras, Chennai, India. He received B.E. degree from Bangalore University in 1995 and M.E. and Ph.D. degrees from Indian Institute of Science, Bangalore, in 1999 and 2003, respectively. He worked with Kirloskar Electric, Bangalore, from 1995 to 1997 and M.S. Ramaiah Institute of Technology, Bangalore, from 2003 to 2008. His areas of research interest are power system studies and formal proofs. He was an Associate Editor of SADHANA, a Journal of the Indian Academy of Sciences, from 2013 to 2015. He has authored a book titled "An Introduction to Modelling of Power System Components".
作者簡介(中文翻譯)
克里希納·蘇里亞納揚（Krishna Suryanarayan）是印度馬德拉斯印度科技學院（Indian Institute of Technology Madras, Chennai, India）電機工程的副教授。他於1995年獲得班加羅爾大學（Bangalore University）的工程學士學位，並於1999年和2003年分別獲得班加羅爾印度科學院（Indian Institute of Science, Bangalore）的碩士和博士學位。他曾於1995年至1997年在班加羅爾的基爾洛斯卡電氣公司（Kirloskar Electric）工作，並於2003年至2008年在班加羅爾的M.S. 拉馬亞技術學院（M.S. Ramaiah Institute of Technology）任職。他的研究興趣領域包括電力系統研究和形式證明。他曾於2013年至2015年擔任《SADHANA》期刊的副編輯，該期刊是印度科學院的出版物。他著有一本名為《電力系統元件建模入門》（An Introduction to Modelling of Power System Components）的書籍。
