The Resource Sets, Logic and Maths for Computing, by David Makinson, (electronic resource)

# Sets, Logic and Maths for Computing, by David Makinson, (electronic resource) Resource Information The item Sets, Logic and Maths for Computing, by David Makinson, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.

Label
Sets, Logic and Maths for Computing
Title
Sets, Logic and Maths for Computing
Statement of responsibility
by David Makinson
Creator
Author
Author
Subject
Language
• eng
• eng
Summary
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduate students need to enter the world of computer and information sciences. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. In ten chapters on these topics, the book guides the student through essential concepts and techniques. The extensively revised second edition provides further clarification of matters that typically give rise to difficulty in the classroom and restructures the chapters on logic to emphasize the role of consequence relations and higher-level rules, as well as including more exercises and solutions. Topics and features: Teaches finite mathematics as a language for thinking, as much as knowledge and skills to be acquired Uses an intuitive approach with a focus on examples for all general concepts Brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction Balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives Includes highlight boxes that raise common queries and clear away confusions Provides numerous exercises, with selected solutions, to test and deepen the reader’s understanding This clearly-written text/reference is a must-read for first-year undergraduate students of computing. Assuming only minimal mathematical background, it is ideal for both the classroom and independent study. Dr. David Makinson is a Visiting Professor in the Department of Philosophy, Logic and Scientific Method at the London School of Economics, UK
Member of
Is Subseries of
Makinson, David
Dewey number
004.0151
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
XEZUpPCs2dM
Language note
English
LC call number
QA76.9.M35
Literary form
non fiction
Nature of contents
dictionaries
Series statement
• Undergraduate topics in computer science,
• Undergraduate Topics in Computer Science,
• Computational complexity
• Computer science
• Algebra
• Computer science
• Discrete Mathematics in Computer Science
• Mathematical Logic and Formal Languages
• Symbolic and Algebraic Manipulation
• Probability and Statistics in Computer Science
• Computational Mathematics and Numerical Analysis
Label
Sets, Logic and Maths for Computing, by David Makinson, (electronic resource)
Instantiates
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
• cr
Content category
text
Content type code
• txt
Contents
Collecting Things Together: Sets -- Comparing Things: Relations -- Associating One Item with Another: Functions -- Recycling Outputs as Inputs: Induction and Recursion -- Counting Things: Combinatorics -- Weighing the Odds: Probability -- Squirrel Math: Trees -- Yea and Nay: Propositional Logic -- Something about Everything: Quantificational Logic -- Just Supposing: Proof and Consequence
Dimensions
unknown
Edition
2nd ed.
Extent
1 online resource (301 p.)
Form of item
online
Isbn
9781447125006
Media category
computer
Media type code
• c
Other control number
10.1007/978-1-4471-2500-6
Specific material designation
remote
System control number
• (CKB)2670000000170382
• (EBL)884005
• (OCoLC)779937410
• (SSID)ssj0000641060
• (PQKBManifestationID)11380577
• (PQKBTitleCode)TC0000641060
• (PQKBWorkID)10615001
• (PQKB)11491463
• (DE-He213)978-1-4471-2500-6
• (MiAaPQ)EBC884005
• (EXLCZ)992670000000170382
Label
Sets, Logic and Maths for Computing, by David Makinson, (electronic resource)
Publication
Note
Description based upon print version of record
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
• cr
Content category
text
Content type code
• txt
Contents
Collecting Things Together: Sets -- Comparing Things: Relations -- Associating One Item with Another: Functions -- Recycling Outputs as Inputs: Induction and Recursion -- Counting Things: Combinatorics -- Weighing the Odds: Probability -- Squirrel Math: Trees -- Yea and Nay: Propositional Logic -- Something about Everything: Quantificational Logic -- Just Supposing: Proof and Consequence
Dimensions
unknown
Edition
2nd ed.
Extent
1 online resource (301 p.)
Form of item
online
Isbn
9781447125006
Media category
computer
Media type code
• c
Other control number
10.1007/978-1-4471-2500-6
Specific material designation
remote
System control number
• (CKB)2670000000170382
• (EBL)884005
• (OCoLC)779937410
• (SSID)ssj0000641060
• (PQKBManifestationID)11380577
• (PQKBTitleCode)TC0000641060
• (PQKBWorkID)10615001
• (PQKB)11491463
• (DE-He213)978-1-4471-2500-6
• (MiAaPQ)EBC884005
• (EXLCZ)992670000000170382

#### Library Locations

• Architecture Library
Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
35.205706 -97.445050
• Bizzell Memorial Library
401 W. Brooks St., Norman, OK, 73019, US
35.207487 -97.447906
• Boorstin Collection
401 W. Brooks St., Norman, OK, 73019, US
35.207487 -97.447906
• Chinese Literature Translation Archive
401 W. Brooks St., RM 414, Norman, OK, 73019, US
35.207487 -97.447906
• Engineering Library
Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
35.205706 -97.445050
• Fine Arts Library
Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
35.210371 -97.448244
• Harry W. Bass Business History Collection
401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
35.207487 -97.447906
• History of Science Collections
401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
35.207487 -97.447906
• John and Mary Nichols Rare Books and Special Collections
401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
35.207487 -97.447906
• Library Service Center
2601 Technology Place, Norman, OK, 73019, US
35.185561 -97.398361
• Price College Digital Library
Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
35.210371 -97.448244
• Western History Collections
Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
35.209584 -97.445414