عنوان
پدید آورنده
موضوع
رده
QA9 .L37256 2018eb
QA9
.
L37256
2018eb
کتابخانه
محل استقرار
1351175351
135117536X
1351175378
1351175386
9781351175357
9781351175364
9781351175371
9781351175388
0815386648
0815386656
9780815386643
9780815386650
A first course in logic /
[Book]
Mark V. Lawson, Heriot-Watt University, Edinburgh.
Boca Raton, Florida :
CRC Press,
[2019]
©2019
1 online resource (xv, 233 pages)
Includes bibliographical references and index.
Propositional logic -- Boolean algebras -- First-order logic.
0
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.
Ingram Content Group
9781351175364
First course in logic.
9780815386643
Logic, Symbolic and mathematical, Problems, exercises, etc.
Logic.
Logic, Symbolic and mathematical.
Logic.
MATHEMATICS-- General.
MAT-- 000000
511
.
3
23
QA9
.
L37256
2018eb
Lawson, Mark V.
20200822134936.0
pn
مطالعه متن کتاب [Book]
Y
