TY - BOOK ID - 1790174 TI - Constructivity in computer science : summer symposium, San Antonio, TX, June 1991. Proceedings AU - MYERS, J. Paul AU - O'Donnell, Michael J. PY - 1992 VL - vol 613 SN - 3540556311 0387556311 3540472657 PB - Berlin : Springer-Verlag, DB - UniCat KW - Mathematical analysis KW - Computer science KW - -681.3*F32 KW - 681.3*F33 KW - 681.3*F41 KW - 681.3*I23 KW - Informatics KW - Science KW - Mathematics KW - -Congresses KW - Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - Studies of program constructs: control primitives; functional constructs; program and recursion schemes; type structure (Logics and meanings of programs)-- See also {681.3*D32}; {681.3*D33} KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*F33 Studies of program constructs: control primitives; functional constructs; program and recursion schemes; type structure (Logics and meanings of programs)-- See also {681.3*D32}; {681.3*D33} KW - 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - 681.3*F32 KW - Mathematics&delete& KW - Congresses KW - Computer science - Mathematics - Congresses. KW - Information theory. KW - Mathematics. KW - Computer science. KW - Artificial intelligence. KW - Logic design. KW - Theory of Computation. KW - Applications of Mathematics. KW - Mathematical Logic and Formal Languages. KW - Artificial Intelligence. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Math KW - Communication theory KW - Communication KW - Cybernetics UR - https://www.unicat.be/uniCat?func=search&query=sysid:1790174 AB - Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else. ER -