عنوان
پدید آورنده
موضوع
رده
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
