عنوان
پدید آورنده
موضوع
رده
QA9 .L37256 2018eb
QA9
.
L37256
2018eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1351175351
(Number (ISBN
135117536X
(Number (ISBN
1351175378
(Number (ISBN
1351175386
(Number (ISBN
9781351175357
(Number (ISBN
9781351175364
(Number (ISBN
9781351175371
(Number (ISBN
9781351175388
Erroneous ISBN
0815386648
Erroneous ISBN
0815386656
Erroneous ISBN
9780815386643
Erroneous ISBN
9780815386650
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
A first course in logic /
General Material Designation
[Book]
First Statement of Responsibility
Mark V. Lawson, Heriot-Watt University, Edinburgh.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boca Raton, Florida :
Name of Publisher, Distributor, etc.
CRC Press,
Date of Publication, Distribution, etc.
[2019]
Date of Publication, Distribution, etc.
©2019
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xv, 233 pages)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Propositional logic -- Boolean algebras -- First-order logic.
0
SUMMARY OR ABSTRACT
Text of Note
A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic. Logic is the basis of proofs in mathematics -- how do we know what we say is true? -- and also of computer science -- how do I know this program will do what I think it will? Surprisingly little mathematics is needed to learn and understand logic (this course doesn't involve any calculus). The real mathematical prerequisite is an ability to manipulate symbols: in other words, basic algebra. Anyone who can write programs should have this ability.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Ingram Content Group
Stock Number
9781351175364
OTHER EDITION IN ANOTHER MEDIUM
Title
First course in logic.
International Standard Book Number
9780815386643
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical, Problems, exercises, etc.
Logic.
Logic, Symbolic and mathematical.
Logic.
MATHEMATICS-- General.
(SUBJECT CATEGORY (Provisional
MAT-- 000000
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
Book number
.
L37256
2018eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Lawson, Mark V.
ORIGINATING SOURCE
Date of Transaction
20200822134936.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
