دانلود کتاب A first course in logic – اولین دوره در منطق

• توضیحات
• نظرات (0)

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

————————————————————–

ترجمه ماشینی :

First Course in Logic مقدمه ای بر منطق مرتبه اول است که برای ریاضیدانان سال اول و دوم و دانشمندان کامپیوتر مناسب است. این درس سه جزء دارد: منطق گزاره ای. جبرهای بولی؛ و محمول/ مرتبه اول، منطق. منطق اساس برهان ها در ریاضیات است چگونه می دانیم آنچه می گوییم درست است؟ و همچنین از علوم کامپیوتر چگونه می توانم بدانم که این برنامه همان کاری را که من فکر می کنم انجام می دهد انجام خواهد داد؟ به طور شگفت انگیزی ریاضیات کمی برای یادگیری و درک منطق مورد نیاز است (این دوره شامل هیچ حساب دیفرانسیل نمی شود). پیش نیاز واقعی ریاضی توانایی دستکاری نمادها است: به عبارت دیگر جبر پایه. هر کسی که می تواند برنامه بنویسد باید این توانایی را داشته باشد. ادامه مطلب…