| 书目名称 | Constructivity in Computer Science |
| 副标题 | Summer Symposium, Sa |
| 编辑 | J. Paul Myers,Michael J. O‘Donnell |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and aprocedure for actuallyconstructing the object. Computerscience adds a new dimension of interestin constructivity,since a computer program is a formal description ofaconstructive procedure that can be executed automatically.It has beenover a decade since a conference was devoted toconstructivity, and never before has one been heldspecifically relating computer science toconstructivity.Thus, this proceedings volume is the most concentratedoffering ever produced of the diverse ways inwhichconstructivity and computer science are related. The paperscover semantics and type theory, logic and theorem proving,real and complexanalysis, topology and combinatorics,nonconstructive graph-theoretical techniques, and curriculumand pedagogic issues.The book offers aconcentrated view of the many ways inwhich constructivity has assumedimportance in computerscience, and contains results available nowhere else. |
| 出版日期 | Conference proceedings 1992 |
| 关键词 | Automat; computer; computer science; logic; proving; semantics; theorem proving |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0021078 |
| isbn_softcover | 978-3-540-55631-2 |
| isbn_ebook | 978-3-540-47265-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1992 |
发表于 2025-3-21 16:37:15
