مراجعة و أعمال موجھة في المنطق التوافقي "الجزء الأول"
| dc.contributor.author | RAHMOUNI SALAH | |
| dc.date.accessioned | 2024-01-12T20:54:47Z | |
| dc.date.available | 2024-01-12T20:54:47Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | ان التقدم والتطور التكنولوجي الحاصل في العالم یرجع وبدرجة كبیرة الى علم الالكترونیات ، الذي یعتمد (علم الالكترونیات ) في تصنیع عناصره على المواد نصف الناقلة. ھذه الاخیرة یعتمد علیھا اعتمادا كلیا في صناعة الدرات المندمجة الرقمیة . في المنطق الریاضي ، المنطق التوافقي ھو نظریة منطقیة قدمھا Schönfinkel Moses في عام 1920 خلال مؤتمر وتم تطویره في عام 1929 بواسطة Curry Brooks Haskell لإزالة الحاجة إلى المتغیرات في الریاضیات ، تم استخدامھ في علوم الكمبیوتر كنموذج نظري للحساب وكأساس لتصمیم لغات البرمجة الوظیفیة. ُ الم وھو دالة ذات ترتیب أعلى ؛ یستخدم فقط تعیین المفھوم الأساسي للمنطق التوافقي ھو مفھوم دمج الوظائف وربما أدوات دمج أخرى لتحدید وظائف جدیدة ذات ترتیب أعلى. كل موحد قابل للطباعة ھو دلیل على غرار ھلبرت في المنطق الحدسي والعكس صحیح. وھذا ما یسمى بمراسلات كاري ھوارد یتطلب حل مشاكل المنطق التوافقي معرفة الجبر البولي. ھذا الجبر یجعل من الممكن ترجمة الإشارات (الكل أو لا شيء) إلى تعبیرات ریاضیة عن طریق استبدال كل إشارة أولیة بمتغیرات منطقیة ومعالجتھا بوظائف منطقیة. ستسمى ھذه الوظائف وظائف توافقیة وستقودنا دراسة المنطق التوافقي إلى صنع أجھزة تشفیر ومحولات وحتى دوائر حسابیة. بمجرد التجمیع ، ستؤدي ھذه الوظائف التوافقیة البسیطة إلى دوائر تؤدي عملیات معقدة للغایة تستخدم في تطویر المعالجات ، DSPs، ASICs، FPGAs ، إلخ. وبالتالي ، فإن ھذه الدورات مخصصة لمھندسي الإلكترونیات ومھندسي الأتمتة وعلماء الكمبیوتر في المستقبل الذین یرغبون في اكتساب المفاھیم الأساسیة المفیدة لمھنھم. من خلال الاقتراب من مفھوم المنطق التوافقي مع الجبر البولي كأداة ریاضیة ، ندرس التركیبات المنطقیة ًا ما تستخدم للأغراض التقنیة. الرئیسیة التي غالب یتم وصف وظائف المنطق الأساسیة المختلفة في خمسة أشكال: تمثیل منطقي: رمز منطقي ، تمثیل حسابي: جدول الحقیقة ، تمثیل جبري أو قانوني: معادلة الجبر البولي ، تمثیل زمني: كرونوجرام ، تمثیل كھربائي: مخطط سلم مطوریصاحب كل تطبیق العدید من الجداول والرسوم التخطیطیة الصغیرة. إن خصائص جبر بول (الترابطیة ، الخاصیة التبادلیة ، إلخ) ، قوانین MORGAN DE ، دون إغفال مخططات كارنو ، ستمكننا من حل مشاكل المنطق التوافقي ودراسة الحلول التوافقیة والتكنولوجیة المختلفة. وقد تضمنت ھذه المطبوعة مجموعة من التمارین العملیة لتحقیق الربط والتكامل مع المعلومات النظریة للوحدة وترسیخھا. و ھي موجھة خصیصا لطلبة التقني بالمدرسة العلیا للأساتذة تخصص ھندسة كھربائیة و ھندسة میكانیكیة أو في الجامعات تخصص الكترونیك ، الكتروتقني و آلیات بحیث یساعدھم على حل بسلاسة كل الأنشطة بمختلف مستویات الصعوبة ورفع وتحسین المستوى المعرفي لدى الطالب. ھذه المطبوعة تنقسم الى عدة مواضیع من سلاسل وحلول: - المنطق التوافقي. - العناصر المنطقیة على شكل دارة مندمجة. - وظیفة الترمیز وفك الترمیز. ونأمل ان یعود ھذا العمل المتواضع بالنفع والفائدة على طلابنا الأعزاء. والله ولي التوفیق | |
| dc.identifier.uri | https://dspace.enset-skikda.dz/handle/123456789/52 | |
| dc.language.iso | other | |
| dc.relation.ispartofseries | ENSET SKIKDA | |
| dc.title | مراجعة و أعمال موجھة في المنطق التوافقي "الجزء الأول" | |
| dc.type | Book |