مشخصات کتاب

A first course in logic

ویرایش:  
نویسندگان: Lawson. Mark V  
سری:  
ISBN (شابک) : 9781351175357, 135117536X 
ناشر: CRC Press 
سال نشر: 2019 
تعداد صفحات: 233
[250] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Psychological Types: Why Are People So Different?: 64 Portraits in Socionics. How each of the 16 Jungian types varies in 4 main ways

دانلود کتاب Getting Started with Google BERT: Build and train state-of-the-art natural language processing models using BERT

دانلود کتاب Marking Maternity in Middle English Romance: Mothers, Identity, and Contamination

دانلود کتاب Comment devenir programmeur de jeux vidéo : Guide de survie: C'est quoi ce métier et comment l'apprendre sans aller à l'école ?

دانلود کتاب Washoku. L'arte della cucina giapponese. Tecniche e strumenti