Logic, mathematics, and computer science : modern foundations with practical applications
Resource Information
The work Logic, mathematics, and computer science : modern foundations with practical applications represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Logic, mathematics, and computer science : modern foundations with practical applications
Resource Information
The work Logic, mathematics, and computer science : modern foundations with practical applications represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Logic, mathematics, and computer science : modern foundations with practical applications
 Title remainder
 modern foundations with practical applications
 Statement of responsibility
 Yves Nievergelt
 Language
 eng
 Summary
 This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography ℗♭ 2002 Birkhlluser, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory.℗l The focus is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and℗l provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided. Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive? Why are there no recipes to design proofs? Where do these numerous mathematical rules come from? What issues in logic, mathematics, and computer science still remain unresolved? And the perennial question: In what ways are we going to use this material? ℗l℗lAdditionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's e quilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few. From the reviews of the first edition: " ... All the results are proved in full detail from first principles ... remarkably, the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions! ... This is a valuable reference text and a useful companion for anybody wondering how basic mathematical concepts can be rigorously developed within set theory." ĺlMATHEMATICAL REVIEWS "Rigorous and modern in its theoretical aspect, attractive as a detective novel in its applied aspects, this paper book deserves the attention of both beginners and advanced students in mathematics, logic and computer sciences as well as in social sciences." ĺlZentralblatt MATH ℗l
 Cataloging source
 NUI
 Dewey number
 511.3
 Illustrations
 illustrations
 Image bit depth
 0
 Index
 no index present
 Language note
 English
 LC call number

 QA9
 QA8.910.3
 Literary form
 non fiction
 Nature of contents
 dictionaries
Context
Context of Logic, mathematics, and computer science : modern foundations with practical applicationsWork of
No resources found
No enriched resources found
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/vYHkQs9IfZM/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/vYHkQs9IfZM/">Logic, mathematics, and computer science : modern foundations with practical applications</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work Logic, mathematics, and computer science : modern foundations with practical applications
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/vYHkQs9IfZM/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/vYHkQs9IfZM/">Logic, mathematics, and computer science : modern foundations with practical applications</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>