مشخصات کتاب

Sets, logic and maths for computing

ویرایش: 2ed. 
نویسندگان: David Makinson   
سری: Undergraduate topics in computer science 
ISBN (شابک) : 9781447125006, 1447125002 
ناشر: Springer 
سال نشر: 2012 
تعداد صفحات: 302 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Sets, logic and maths for computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مجموعه ها، منطق و ریاضیات برای محاسبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مجموعه ها، منطق و ریاضیات برای محاسبات

این کتاب درسی که به راحتی قابل پیگیری است، زبان ریاضی، دانش و مهارت های حل مسئله را که دانشجویان کارشناسی برای مطالعه محاسبات به آن نیاز دارند، معرفی می کند. زبان تا حدی کیفی است، با مفاهیمی مانند مجموعه، رابطه، تابع و بازگشت/استقرا. اما تا حدی کمی است، با اصول شمارش و احتمال محدود. مفاهیم اساسی منطق و استفاده از آنها برای بازنمایی و اثبات با هر دو در هم آمیخته است. ویژگی ها: ریاضیات محدود را به عنوان زبانی برای تفکر، به همان اندازه دانش و مهارت هایی که باید به دست بیاورند، می آموزد. از یک رویکرد شهودی با تمرکز بر مثال ها برای تمام مفاهیم کلی استفاده می کند. تأثیر متقابل بین کمی و کیفی را در همه زمینه های تحت پوشش، به ویژه در درمان بازگشت و استقرا نشان می دهد. انتزاع و ملموس، اصول و شواهد، حقایق خاص و دیدگاه های کلی را با دقت متعادل می کند. شامل کادرهای برجسته است که پرس و جوهای رایج را مطرح می کند و سردرگمی ها را روشن می کند. تمرین های متعددی را با راه حل های انتخاب شده ارائه می دهد. ادامه مطلب... Sets, Logic and Mathsfor Computing; پیشگفتار؛ برای دانشجو؛ در این کتاب چیست؟ چگونه باید از آن استفاده کنید؟ برای مربی؛ نحوه ارائه؛ انتخاب موضوعات؛ دوره های خارج از علوم کامپیوتر; چاپ دوم؛ سپاسگزاریها؛ فهرست؛ فهرست ارقام؛ 1 جمع آوری چیزها با هم: مجموعه ها. 1.1 مفهوم شهودی یک مجموعه. 1.2 روابط اساسی بین مجموعه ها. 1.2.1 شمول; 1.2.2 هویت و شمول مناسب. 1.2.3 نمودارها; 1.2.4 راه های تعریف مجموعه. 1.3 مجموعه خالی. 1.3.1 خالی بودن; 1.3.2 مجموعه های از هم گسسته. 1.4 عملیات بولی در مجموعه ها. 1.4.1 تقاطع; 1.4.2 اتحاد 1.4.3 تفاوت و مکمل1.5 اتحاد و تقاطع تعمیم یافته; 1.6 مجموعه قدرت. خواندن منتخب؛ 2 مقایسه چیزها: روابط. 2.1 تاپل های سفارش داده شده، محصولات دکارتی و روابط. 2.1.1 تاپل های سفارش داده شده. 2.1.2 محصولات دکارتی; 2.1.3 روابط; 2.2 جداول و نمودارها برای روابط. 2.2.1 جداول; 2.2.2 نمودارها; 2.3 عملیات در روابط. 2.3.1 مکالمه; 2.3.2 Join, Projection, Selection; 2.3.3 ترکیب; 2.3.4 تصویر; 2.4 انعکاس و گذر. 2.4.1 بازتاب; 2.4.2 گذر. 2.5 روابط و پارتیشن های هم ارزی. 2.5.1 تقارن; 2.5.2 روابط هم ارزی 2.5.3 Partitions2.5.4 The Partition/Equivalence Correspondence; 2.6 روابط برای سفارش. 2.6.1 سفارش جزئی. 2.6.2 ترتیبات خطی. 2.6.3 دستورات دقیق. 2.7 بسته شدن با روابط. 2.7.1 بسته شدن گذرا یک رابطه. 2.7.2 بسته شدن یک مجموعه تحت یک رابطه. خواندن منتخب؛ 3 مرتبط کردن یک مورد با دیگری: توابع. 3.1 تابع چیست؟ 3.2 عملیات بر روی توابع. 3.2.1 دامنه و محدوده; 3.2.2 محدودیت، تصویر، بسته شدن. 3.2.3 ترکیب; 3.2.4 معکوس; 3.3 تزریقات، جراحات، تزریقات. 3.3.1 تزریقی. 3.3.2 سطح گرایی; 3.3.3 توابع دوطرفه 3.4 استفاده از توابع برای مقایسه Size3.4.1 Equinumerosity. 3.4.2 مقایسه کاردینال; 3.4.3 اصل کبوتر. 3.5 برخی از توابع مفید. 3.5.1 توابع هویت. 3.5.2 توابع ثابت. 3.5.3 توابع فرافکنی. 3.5.4 توابع مشخصه. 3.6 خانواده ها و توالی ها. 3.6.1 خانواده مجموعه ها. 3.6.2 توالی ها و موارد مشابه. خواندن منتخب؛ 4 خروجی بازیافت به عنوان ورودی: القاء و بازگشت. 4.1 القاء و بازگشت چیست؟ 4.2 اثبات با استقرای ساده در اعداد صحیح مثبت. 4.2.1 یک مثال؛ 4.2.2 اصل پشت مثال 4.3 تعریف با بازگشت ساده در اعداد صحیح مثبت 4.4 ارزیابی توابع تعریف شده توسط بازگشت. 4.5 القای تجمعی و بازگشتی. 4.5.1 تعاریف بازگشتی تجمعی. 4.5.2 اثبات با استقرا تجمعی. 4.5.3 بازگشت و القای همزمان. 4.6 بازگشت ساختاری و القاء. 4.6.1 تعریف مجموعه ها با بازگشت ساختاری. 4.6.2 اثبات با القای ساختاری. 4.6.3 تعریف توابع با بازگشت ساختاری در دامنه های آنها. 4.7 بازگشت و القاء در مجموعه های کاملاً بنیادی*; 4.7.1 مجموعه های مستقر؛ 4.7.2 اثبات با استقرا مستدل

توضیحاتی درمورد کتاب به خارجی

This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic and their use for representation and proof. Features: teaches finite math as a language for thinking, as much as knowledge and skills to be acquired; uses an intuitive approach with a focus on examples for all general concepts; brings out the interplay between the qualitative and the quantitative in all areas covered, particularly in the treatment of recursion and induction; balances carefully the abstract and concrete, principles and proofs, specific facts and general perspectives; includes highlight boxes that raise common queries and clear confusions; provides numerous exercises, with selected solutions. Read more... Sets, Logic and Mathsfor Computing; Preface; For the Student; What Is in This Book?; How Should You Use It?; For the Instructor; Manner of Presentation; Choice of Topics; Courses Outside Computer Science; The Second Edition; Acknowledgements; Contents; List of Figures; 1 Collecting Things Together: Sets; 1.1 The Intuitive Concept of a Set; 1.2 Basic Relations Between Sets; 1.2.1 Inclusion; 1.2.2 Identity and Proper Inclusion; 1.2.3 Diagrams; 1.2.4 Ways of Defining a Set; 1.3 The Empty Set; 1.3.1 Emptiness; 1.3.2 Disjoint Sets; 1.4 Boolean Operations on Sets; 1.4.1 Intersection; 1.4.2 Union 1.4.3 Difference and Complement1.5 Generalized Union and Intersection; 1.6 Power Sets; Selected Reading; 2 Comparing Things: Relations; 2.1 Ordered Tuples, Cartesian Products and Relations; 2.1.1 Ordered Tuples; 2.1.2 Cartesian Products; 2.1.3 Relations; 2.2 Tables and Digraphs for Relations; 2.2.1 Tables; 2.2.2 Digraphs; 2.3 Operations on Relations; 2.3.1 Converse; 2.3.2 Join, Projection, Selection; 2.3.3 Composition; 2.3.4 Image; 2.4 Reflexivity and Transitivity; 2.4.1 Reflexivity; 2.4.2 Transitivity; 2.5 Equivalence Relations and Partitions; 2.5.1 Symmetry; 2.5.2 Equivalence Relations 2.5.3 Partitions2.5.4 The Partition/Equivalence Correspondence; 2.6 Relations for Ordering; 2.6.1 Partial Order; 2.6.2 Linear Orderings; 2.6.3 Strict Orderings; 2.7 Closing with Relations; 2.7.1 Transitive Closure of a Relation; 2.7.2 Closure of a Set Under a Relation; Selected Reading; 3 Associating One Item with Another:Functions; 3.1 What Is a Function?; 3.2 Operations on Functions; 3.2.1 Domain and Range; 3.2.2 Restriction, Image, Closure; 3.2.3 Composition; 3.2.4 Inverse; 3.3 Injections, Surjections, Bijections; 3.3.1 Injectivity; 3.3.2 Surjectivity; 3.3.3 Bijective Functions 3.4 Using Functions to Compare Size3.4.1 Equinumerosity; 3.4.2 Cardinal Comparison; 3.4.3 The Pigeonhole Principle; 3.5 Some Handy Functions; 3.5.1 Identity Functions; 3.5.2 Constant Functions; 3.5.3 Projection Functions; 3.5.4 Characteristic Functions; 3.6 Families and Sequences; 3.6.1 Families of Sets; 3.6.2 Sequences and Suchlike; Selected Reading; 4 Recycling Outputs as Inputs: Induction and Recursion; 4.1 What Are Induction and Recursion?; 4.2 Proof by Simple Induction on the Positive Integers; 4.2.1 An Example; 4.2.2 The Principle Behind the Example 4.3 Definition by Simple Recursion on the Positive Integers4.4 Evaluating Functions Defined by Recursion; 4.5 Cumulative Induction and Recursion; 4.5.1 Cumulative Recursive Definitions; 4.5.2 Proof by Cumulative Induction; 4.5.3 Simultaneous Recursion and Induction; 4.6 Structural Recursion and Induction; 4.6.1 Defining Sets by Structural Recursion; 4.6.2 Proof by Structural Induction; 4.6.3 Defining Functions by Structural Recursion on Their Domains; 4.7 Recursion and Induction on Well-Founded Sets*; 4.7.1 Well-Founded Sets; 4.7.2 Proof by Well-Founded Induction

فهرست مطالب

1. Collecting things together: sets --
2. Comparing things: relations --
3. Associating one item with another: functions --
4. Recycling outputs as inputs: induction and recursion --
5. Counting things: combinatorics --
6. Weighing the odds: probability --
7. Squirrel math: trees --
8. Yea and nay: propositional logic --
9. Something about everything: quantificational logic --
10. Just supposing: proof and consequence.

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

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

دانلود کتاب Scientific Aids in Hospital Diagnosis

دانلود کتاب Grid Economics and Business Models: 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings

دانلود کتاب LA BELLE: CAVELIER DE LA SALLE L'EXPEDITION DE 1684/RECUEIL DES PLANCHES 2 VOLUME SET

دانلود کتاب A Guide to Lasers in Chemistry

دانلود کتاب Laser cooling: fundamental properties and applications