مبانی برنامه نویسی: ریاضیات گسسته

مدرس Peggy Fisher

انتشار 2016/03/09

مدت زمان 3h 10m

سطح متوسط

فایل تمرینی دارد

آموزش Programming Foundations: Discrete Mathematics

ریاضی گسسته چیست و چگونه در برنامه نویسی کاربرد دارد؟ ریاضی بخش مهمی از همه برنامه نویسی است. ریاضیات گسسته مطالعه ساختارهای ریاضی منحصر به فرد (معروف به گسسته) است. به اعداد صحیح، نمودارها و عبارات منطقی فکر کنید - چیزهایی که ما در برنامه نویسی زیاد استفاده می کنیم. ریاضیات گسسته را می توان برای مشخصات طراحی نرم افزار، تجزیه و تحلیل الگوریتم ها و سایر کاربردهای عملی استفاده کرد، اما واقعاً ابزاری عالی برای توسعه به عنوان یک برنامه نویس است. به زبان ساده، این یک بلوک ساختمانی برای تفکر منطقی است.rnrn پگی فیشر به شما نشان می دهد چگونه مجموعه ای از داده ها را دستکاری کنید، برهان ها و جداول صدق را بنویسید، توالی داده ها را تجزیه و تحلیل کنید، و داده ها را با استفاده از تئوری گراف تجسم کنید. چالش های پایان هر فصل به شما امکان می دهد دانش خود را آزمایش کنید. در پایان دوره، شما باید بتوانید از تئوری به استفاده از ریاضیات گسسته در عمل جهشی داشته باشید: در زمان صرفه جویی کنید و در نتیجه کدهایی تمیزتر و راحت تر در طولانی مدت نگهداری کنید.

Discrete Mathematics Software Design

Introduction

Welcome ()

What you should know ()

Using the exercise files ()

1. Discrete Math Uses

Basics of discrete mathematics ()

Discrete math for programming ()

Real-world discrete math ()

Abstract discrete math ()

2. Sets

Challenge: Practice with sets ()

Solution: Practice with sets ()

Objects as sets ()

Set notation ()

Set operations ()

Power sets ()

Sequences and sums ()

Recursion ()

Cardinality, disjointness, and partitions ()

Sets from Cartesian products ()

3. Setting Up SML

Datatypes ()

Challenge: Learn SML ()

Solution: Create new data types ()

Functional programming ()

Characters and strings ()

Recursive functions ()

4. Analyzing Data Sequences

Challenge: Model a lunch order ()

Solution: Model a lunch order ()

Use SML to create lists ()

Perform functions on lists ()

Create datatypes that use lists ()

5. Effective Arguments and Defensible Decisions

Challenge: Write truth tables ()

Solution: Write truth tables ()

Valid reasoning and inference ()

Truth tables ()

Identify and evaluate predicates ()

Conditional propositions ()

Valid arguments ()

Rules of inference ()

Prove logical equivalence ()

6. Proofs Made Easy

Challenge: Write a proof ()

Solution: Write a proof ()

Write a general outline for a proof ()

Write subset proofs ()

Evaluate conditional proofs ()

Understand biconditional proofs ()

Prove with mathematical induction ()

7. Advanced Discrete Math Topics

Challenge: Advanced techniques ()

Solution: Advanced techniques ()

Visualize data with graph theory ()

Network optimization with trees ()

Event probability ()

Cryptography ()

Conclusion

Next steps ()

Ex_Files_Discrete_Mathematics.zip (1.1 MB)

دانلود فایل فشرده

با توجه به امکانات آموزش و همچنین امکانات بسته انتخاب شده لینک دانلود فایل فشرده آماده خواهد شد. با در نظر داشتن این شرایط لطفا بسته مورد نظر خود را انتخاب کرده و روی دکمه درخواست لینک دانلود کلیک کنید

در حال به روزرسانی اطلاعات

درخواست لینک دانلود

در حال به روزرسانی اطلاعات

لطفا قبل از فعالسازی لینک دانلود به موارد زیر توجه کنید:

پسورد فایل‌های فشرده است.
لینک‌های آماده شده تا 8 روز پس از فعالسازی منقضی خواهند شد.
حجم فایل‌ها تخمینی هستند.
در صورتی که لینک دانلود تا 15دقیقه پس از درخواست آماده نشد، از بخش پشتیبانی پیگیری نمایید.