Coverart for item
The Resource Proofs and algorithms : an introduction to logic and computability, Gilles Dowek

Proofs and algorithms : an introduction to logic and computability, Gilles Dowek

Label
Proofs and algorithms : an introduction to logic and computability
Title
Proofs and algorithms
Title remainder
an introduction to logic and computability
Statement of responsibility
Gilles Dowek
Creator
Subject
Language
eng
Summary
Proofs and Algorithms: An Introduction to Logic and Computability Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: An Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself. Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Dowek, Gilles
Dewey number
005.13/1
Index
index present
Language note
English
LC call number
QA9
LC item number
.D69 2011
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Undergraduate topics in computer science
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Algorithms
  • Informatique
  • Algorithms
  • Logic, Symbolic and mathematical
Label
Proofs and algorithms : an introduction to logic and computability, Gilles Dowek
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Part 1. Proofs -- Predicate Logic -- Models -- Part 2. Algorithms -- Computable functions -- Computation as a sequence of small steps -- Part 3. Proofs and algorithms -- Church's theorem -- Automated theorem proving -- Decidable theories -- Constructivity
Control code
704393907
Dimensions
unknown
Extent
1 online resource (xii, 155 pages).
Form of item
online
Isbn
9780857291219
Lccn
2011282450
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-0-85729-121-9
http://library.link/vocab/ext/overdrive/overdriveId
978-0-85729-120-2
Specific material designation
remote
System control number
(OCoLC)704393907
Label
Proofs and algorithms : an introduction to logic and computability, Gilles Dowek
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Part 1. Proofs -- Predicate Logic -- Models -- Part 2. Algorithms -- Computable functions -- Computation as a sequence of small steps -- Part 3. Proofs and algorithms -- Church's theorem -- Automated theorem proving -- Decidable theories -- Constructivity
Control code
704393907
Dimensions
unknown
Extent
1 online resource (xii, 155 pages).
Form of item
online
Isbn
9780857291219
Lccn
2011282450
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-0-85729-121-9
http://library.link/vocab/ext/overdrive/overdriveId
978-0-85729-120-2
Specific material designation
remote
System control number
(OCoLC)704393907

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...