دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A first course in logic
دانلود کتاب اولین دوره در منطق
مشخصات کتاب
A first course in logic
ویرایش:
نویسندگان: Lawson. Mark V
سری:
ISBN (شابک) : 9781351175357, 135117536X
ناشر: CRC Press
سال نشر: 2019
تعداد صفحات: 233
[250]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب A first course in logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اولین دوره در منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اولین دوره در منطق
A First Course in Logic مقدمه ای بر منطق مرتبه اول است که برای
ریاضیدانان سال اول و دوم و دانشمندان کامپیوتر مناسب است. این
درس سه جزء دارد: منطق گزاره ای. جبرهای بولی؛ و محمول/ مرتبه
اول، منطق. منطق اساس اثبات در ریاضیات است - چگونه بفهمیم آنچه
می گوییم درست است؟ — و همچنین علوم کامپیوتر — چگونه می توانم
بدانم که این برنامه همان کاری را که من فکر می کنم انجام می دهد
انجام می دهد؟ به
طور شگفت انگیزی ریاضیات کمی برای یادگیری و درک منطق مورد نیاز
است (این دوره شامل هیچ حساب دیفرانسیل نمی شود). پیش نیاز واقعی
ریاضی توانایی دستکاری نمادها است: به عبارت دیگر جبر پایه. هر
کسی که می تواند برنامه بنویسد باید این توانایی را داشته
باشد. ادامه
مطلب...
چکیده: یک اولین دوره منطق مقدمه ای بر منطق مرتبه اول مناسب برای
ریاضیدانان سال اول و دوم و دانشمندان کامپیوتر است. این درس سه
جزء دارد: منطق گزاره ای. جبرهای بولی؛ و محمول/ مرتبه اول، منطق.
منطق اساس اثبات در ریاضیات است - چگونه بفهمیم آنچه می گوییم
درست است؟ - و همچنین علوم کامپیوتر - چگونه بدانم که این برنامه
همان کاری را که من فکر می کنم انجام خواهد داد؟ به طور شگفت
انگیزی ریاضیات کمی برای یادگیری و درک منطق مورد نیاز است (این
دوره شامل هیچ حساب دیفرانسیل نمی شود). پیش نیاز واقعی ریاضی
توانایی دستکاری نمادها است: به عبارت دیگر جبر پایه. هر کسی که
می تواند برنامه بنویسد باید این توانایی را داشته باشد
توضیحاتی درمورد کتاب به خارجی
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. Read
more...
Abstract: 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
