منابع و سرفصلهاي مصوب وزارت علوم
ارسال شده: پنجشنبه 26 دی 1387, 3:17 pm
طراحي الگوريتم
مروري بر مطالب مهم در درس ساختمان داده و تكميل نكات ارائه شده در خصوص: استقرا رياضي و روشهاي بازگشتي، پيچيدگي الگوريتمها و آناليز آنها، نمادهاي O، تتا، امگا، o و روشهاي حل مسئله: در هر روشي تعدادي مسئله مهم انتخاب و الگوريتمهاي هر يك گفته شده و اثبات و آناليز گردد. روش مستقيم و حل (مسائل: ماكزيمم و مينيمم يك آرايه، ضرب دو عدد nبيتي، روش strassen در ضرب ماتريسها، تورنمت بازيها، مرتب كردن براساس QuickSort)، روش برنامه سازي پويا(مسائل: ضرب ماتريسها، كوله پشتي، مثلث بندي بهينه يك چندضلعي، طولاني ترين زيرترتيب مشترك، حروف چيني يك پاراگراف)، روش حريصانه(مسائل:مسائل زمانبندي، خرد كردن پول، كدهافمن)، روشهاي مبتني بر جستجوي كامل و تكنيكهاي محدود كردن فضاي جستجو، استفاده از درخت بازي و Pruning، بازيهاي Puzzle، tic-tac-tac روشهاي مكاشفه اي براي حل مسائل مشكل(مسئله فروشنده دوره گرد) الگوريتمهاي گراف شامل: روشهاي جستجوي گراف(عمقي، سطحي) گرافهاي بدون جهت(الگوريتمهاي Dijkstra درخت پوشاي مينيمال، اجزا همبند، كاملا همبند و مسائل ديگر) گرافهاي جهت دار(الگوريتمهاي Floyd، مرتب كردن Topological، اجزا دو همبند و ...) شبكه هاي ماكزيمم جريان و مسائل مربوطه.
مراجع:
1- Neapolitan, Foundations of Algorithms.
2- CLRS) Cormen, leisersen, Rivert, Introduction to Algorithms)
3- Horowitz, Sahni, Fundamental of Computer Algorithms.
4- Aho, Hopctoft, Data Structure & Algorithms.
5- Udi Manber, Introduction to Algorithms.
6- Brassard, Fundamentals of Algorithms
اصول طراحي پايگاه داده
مقدمه، معرفي ومرور مباحث ذخيره و بازيابي اطلاعات
مفاهيم و تعاريف مديريت پايگاه داده (تعريف داده و اطلاعات، تعريف پايگاه داده، ضرورت پايگاه داده، استقلال داده اي، مدل هاي مختلف سيستم هاي پايگاه داده)
معماري يك سيستم پايگاه داده(معماري سه سطحي، سطح خارجي، سطح مفهومي، سطح داخلي، مدير پايگاه داده و مدير داده، مدير ارتباطات داده اي)
مدل هاي مختلف سيستم هاي پايگاه داده (مدل سلسله مراتبي، مدل رابطه اي، مدل شبكه اي)
مدل رابطه اي پايگاه داده ها(رابطه يا جدول، جداول مبنا و غيرمبنا، زبان پرس و جو)
عناصر مدل رابطه اي (دامنه، رابطه و انواع آن)
جامعيت مدل رابطه اي(كليد كانديد، كليد اوليه، كليد رقيب، كليد خارجي و قواعد آن، تهي بودن كليد خارجي و كليد اوليه)
جبر رابطه اي
حساب رابطه اي
زبان SQL
وابستگي تابعي (تعريف، وابستگي هاي جزئي، بستار مجموعه اي از وابستگي ها، مجموعه كاهش ناپذير از وابستگي ها)
نرمال سازي(1NF, 2NF, 3NF, BCNF وابستگي چند مقداري(MVD) و 4NF، وابستگي الحاقي (JD) و 5NF)
مرور مطالب پيشرفته تر (حفاظت، ترميم، همزماني، پايگاههاي داده شي گرا، پايگاه هاي داده استنتاجي).
مراجع:
1- Date, Introduction to Database Design
2- Elmasri, Fundamental of Database systems
3- Abitebout, Foundations of Database
4- Korth and Silberchatz, Database System Concepts
ساختمان داده ها
آرايه ها، بردارها، ماتريسها، كاربرد ماتريسها مانند MAZE، ماتريسهاي خلوت و كاربرد آنها، پشته ها، صفها و كاربرد آنها، ليستها، ليستهاي پيوندي (خطي، حلقه اي، پيوند مضاعف، چند پيوندي) و كاربرد آنها، تعاريف و اصول مقدماتي درختها، درختهاي دودويي، نمايش و كاربرد (درختهاي تصميم گيري، بازي، جستجو و ...) روشهاي ايجاد درختهاي تسبيح و اره (TREADED TREES) گرافها (نمايش، روشهاي پيمايش، كاربرد)، درختهاي پوشا، روشهاي تخصيص حافظه هاي پويا و مقايسه آنها،الگوريتمهاي جستجو و مرتب كردن داخلي (حداقل 4 روش) و ادغام.
مراجع:
1- Horowitz and Sahni, Fundamental of Data Structure and Computer Algorithms
2- Tenenbawn, Data Structure Using Pascal
3- Wirth, Algorithms + Data Structure = Programs
اصول طراحي كامپايلر
مقدمات(انواع مترجم ها شامل كامپايلرها و مفسرها) ساختار و اجزاي كامپايلر(تحليل گر لغوي، نحوي، معنايي، مديريت جدول نمادها، توليد كد مياني و نهايي، بهينه سازي، مديريت خطاها)
بررسي انواع گرامرها و خواص عمومي زبانها(طبقه بندي Chomsky)، گرامرهاي گنگ، گرامر خالص(مختصر و مفيد)
تحليل لغوي، عباريات منظم براي نمايش الگوي توكن ها، اصلاح خطاهاي لغوي، گرامرهاي تفسير حالت قطعي و غيرقطعي
روشهاي تحليل نحوي (بالا به پايين، (LL(1 ، پياده سازي RecursiveDescent و جدول تجزيه پايين به بالا(OP-SP)، روشهاي (LL(1 شامل (SLR(1 و (LALR(1 و (CLR(1 و اصلاح جدول (LR(1 در مورد گرامرهاي گنگ)
روشهاي اصلاح خطاهاي نحوي
تحليل معنايي(تستهاي ايستا و پويا)
مديريت جدول نمادها و ساختار آنها
روشهاي تحصيص حافظه (ايستا و پويا)
توليد كد مياني و نهايي و روشهاي توليد كد مانند Syntax Directed يا Tree Walking با استفاده از كنش هاي مفهومي و علايم كنش
ترجمه تعدادي از ساختارهاي زبانهاي امري مانند عبارتها ، ساختارهاي كنترلي، فراخواني روال ها
مختصري در مورد بهينه سازي كد مياني
مراجع:
1- Aho, Sethi, Compilers: Principles, Techniques and Tools
2- Trembly, The Theory and Practice of Compiler Writing
3- Pittman and Petersm The Art of Compiler Design
4- Mack, Writing Compilers and Interpreters
رياضي گسسته
مقدمه : منطق رياضي، جبرگزاره ها، فرمولهاي خوش ساخت، مروري بر نظريه مجموعه ها، روشهاي اثبات
روابط و توابع: روابط دوتايي، روابط سازگاري و هم ارزي، ماتريس نمايش دهنده روابط، گراف رابط، توابع،توابع پوشا، توابع يك به يك
روابط بازگشتي،استقرا، حل روابط بازگشتي، تابع مولد
ساختمانهاي جبري، نيمگروهها و منويدها، گرامرها و زبانها، نشانه گذاري لهستاني، گروهها،همومورفيسم، ايزومورفيسم، لاتيسها(شبكه ها)، جبربول، جدول كارنو، زبان و دستور زبان، دستور زبان بعنوان مثالي از منويدها
آناليز تركيبي:اصل لانه كبوتر، آشنايي با الگوريتمهاي تركيبي،توابع بازگشتي و كاربرد آنها
تئوري گراف: گرافهاي جهت دار، گرافهاي بي جهت، مسيرهاي اويلري و هميلتوني، مسيرهاي بهينه اپتيمال، الگوريتم يافتن مسيرهاي بهينه اپتيمال، گرافهاي همبند، ماتريس ارتباط و قضاياي مربوطه، كاربرد گرافها در تجزيه و تحليل فعاليتها
درختها : درختهاي پوشاي مينيمال، پيمايش درختها، كاربرد درختها، عبارات جبري و نمايش درختها.
مراجع:
1- Johnson Baugh,Discerte Mathematics
2- Grassman And Tremblay, Logic and Discrete Mathematics
3- Termblay, Discrete Mathematical Structures with Applications to computer science
4- Keneth, Rossen and Charles R.B,Wright, Discrete Mathematics
5- Grimaldi, Discrete and Combinatorial Mathematics
6- Michael Alberison, Discrete Mathematics with Algorithms
زبان تخصصي نرم افزار
با توجه به كاربرد وسيع زبان انگليسي به عنوان زبان رايج متون علمي و جزوات راهنما و اكثريت نرم افزارها و Help آنها و خصوصا كاربرد رايج آن د رشبكه هاي اطلاع رساني به ويژه Internet، سعي براين است تا در اين درس با مروري بر مطالب عنوان شده در زبان تخصصي مقطع كارداني، دانشجويان با مفاهيم پايه و گرامري مرتبط با علم كامپيوتر،واژگان مورد استفاده در حوزه نرم افزار، سخت افزار، اينترنت و شبكه هاي كامپيوتري و اطلاع رساني آشنا شده و با نحوه ترجمه متون علمي و نحوه نگارش اين متون آشنا شوند.
آشنايي با پيغامهاي ارسالي متدوال توسط سيستم عامل هاي رايج و در هنگام مراحل نصب نرم افزارها، زبانهاي برنامه نويسي،اختصارات متدوال در نامه نگاري الكترونيكي و chat و ... اصطلاحات و واژگان رايچ در موتورهاي جستجواينترنت و بهرگيري از دفترچه هاي راهنما و مراجع و ...
ترجمه متون مختلف تخصصي و نگارش ساده متون علمي در حوزه رايانه و اطلاع رساني.
سيستمهاي خبره
معرفي سيستمهاي خبره، ساختار و ويژگي هاي سيستمهاي خبره، پياده سازي سيستمهاي خبره، چگونگي تشكيل پايگاه دانش، سيستمهاي خبره مبني بر قوانين، سيستمهاي خبره مبني بر Frame، منطق و استدلال خودكار اصول استدلال قاعده مند، سيستمهاي خبره نادقيق(Bayesian، تئوري اطمينان، سيستمهاي خبره فازي) چرخه عملي سيستمهاي خبره، تعيين خواسته ها رد طراحي سيستمهاي خبره، اكتساب دانش و پياده سازي آن، روشهاي يادگيري اتوماتيك دانش، وارسي و اعتبارسنجي، بكارگيري يك زبان طراحي سيستمهاي خبره و مهندسي دانش.
مراجع:
1- Durkin, Expert systems
2- Gonzalez and Dankel, The Engineering of knowledge Based System theory and practice
3- Waternan, A Guide to Expert systems
4- Jackson, Introduction to Expert Systems
هوش مصنوعي
هوش مصنوعي چيست؟ مباني و تاريخچه هوش مصنوعي و مرزهاي دانش در هوش مصنوعي
عاملين (Agents) هوشمند، ساختار و عملكرد، عاملين هوشمند، محيط ها
حل مسئله، حل مسئله از طريق جستجو، فرموله كردن مسايل، چند مثال جستجو براي جواب، روشهاي جستجو
روشهاي جستجو آگاهانه (informed) جستجوي Best-first توابع Heuristic جستجوي حافظه محدود، ساير روشهاي جستجوي بهبود يافته
عاملين مبتني بر دانش، عامليني كه منطقي استدلال مي كنند، نمايش منطق، منطق گزاره اي، استدلال
منطق رتبه اول، استنتاج در اين منطق، قوانين استنتاج، استنتاج زنجيره اي به جلو و عقب
برنامه ريزي(Planning)، از حل مسئله به برنامه ريزي، نمايشهاي ساده براي برنامه ريزي، مهندسي دانش براي برنامه ريزي
عدم قطعيت (Uncertainty)، نحوه عمل كردن در شرايط عدم قطعيت، كاربرد و نحوه استحصال احتمالات
معرفي برخي كاربردها در سيستمها خبره، پردازش زبان طبيعي، بينائي ماشين و رباتيك
مراجع:
1- Russell and Nowig, Artificial Intelligence: A modern approach.
2- Rich, Artificial intelligence
3- Bratko, Prolog Programming for AI
4- Nilsson, Principles of Artificial Intelligence
5- Sterling and Shapiro, Art of Prolog
طراحي پياده سازي زبانها
ويژگي هاي عمومي زبانهاي برنامه نويسي، پردازنده هاي زبانهاي برنامه سازي و مقايسه انواع آنها ويژگي هاي انواع داده ها و پياده سازي آنها در زبانهاي سطح بالا، روشهاي تعيين ترتيب اجراي دستورات و پياده سازي آنها، كنترل داده ها(Data Control) ، روشهاي تخصيص نشانوندهاي (Arguments) يك تابع (برنامه فرعي) و پياده سازي آنها، روشها مديريت حافظه در زبانهاي سطح بالا، انتزاع(تجريد) داده ها.
مراجع:
1- Pratt, Programming Language and Implementation
2- Horowitz, Fundamental of Programming Language
مروري بر مطالب مهم در درس ساختمان داده و تكميل نكات ارائه شده در خصوص: استقرا رياضي و روشهاي بازگشتي، پيچيدگي الگوريتمها و آناليز آنها، نمادهاي O، تتا، امگا، o و روشهاي حل مسئله: در هر روشي تعدادي مسئله مهم انتخاب و الگوريتمهاي هر يك گفته شده و اثبات و آناليز گردد. روش مستقيم و حل (مسائل: ماكزيمم و مينيمم يك آرايه، ضرب دو عدد nبيتي، روش strassen در ضرب ماتريسها، تورنمت بازيها، مرتب كردن براساس QuickSort)، روش برنامه سازي پويا(مسائل: ضرب ماتريسها، كوله پشتي، مثلث بندي بهينه يك چندضلعي، طولاني ترين زيرترتيب مشترك، حروف چيني يك پاراگراف)، روش حريصانه(مسائل:مسائل زمانبندي، خرد كردن پول، كدهافمن)، روشهاي مبتني بر جستجوي كامل و تكنيكهاي محدود كردن فضاي جستجو، استفاده از درخت بازي و Pruning، بازيهاي Puzzle، tic-tac-tac روشهاي مكاشفه اي براي حل مسائل مشكل(مسئله فروشنده دوره گرد) الگوريتمهاي گراف شامل: روشهاي جستجوي گراف(عمقي، سطحي) گرافهاي بدون جهت(الگوريتمهاي Dijkstra درخت پوشاي مينيمال، اجزا همبند، كاملا همبند و مسائل ديگر) گرافهاي جهت دار(الگوريتمهاي Floyd، مرتب كردن Topological، اجزا دو همبند و ...) شبكه هاي ماكزيمم جريان و مسائل مربوطه.
مراجع:
1- Neapolitan, Foundations of Algorithms.
2- CLRS) Cormen, leisersen, Rivert, Introduction to Algorithms)
3- Horowitz, Sahni, Fundamental of Computer Algorithms.
4- Aho, Hopctoft, Data Structure & Algorithms.
5- Udi Manber, Introduction to Algorithms.
6- Brassard, Fundamentals of Algorithms
اصول طراحي پايگاه داده
مقدمه، معرفي ومرور مباحث ذخيره و بازيابي اطلاعات
مفاهيم و تعاريف مديريت پايگاه داده (تعريف داده و اطلاعات، تعريف پايگاه داده، ضرورت پايگاه داده، استقلال داده اي، مدل هاي مختلف سيستم هاي پايگاه داده)
معماري يك سيستم پايگاه داده(معماري سه سطحي، سطح خارجي، سطح مفهومي، سطح داخلي، مدير پايگاه داده و مدير داده، مدير ارتباطات داده اي)
مدل هاي مختلف سيستم هاي پايگاه داده (مدل سلسله مراتبي، مدل رابطه اي، مدل شبكه اي)
مدل رابطه اي پايگاه داده ها(رابطه يا جدول، جداول مبنا و غيرمبنا، زبان پرس و جو)
عناصر مدل رابطه اي (دامنه، رابطه و انواع آن)
جامعيت مدل رابطه اي(كليد كانديد، كليد اوليه، كليد رقيب، كليد خارجي و قواعد آن، تهي بودن كليد خارجي و كليد اوليه)
جبر رابطه اي
حساب رابطه اي
زبان SQL
وابستگي تابعي (تعريف، وابستگي هاي جزئي، بستار مجموعه اي از وابستگي ها، مجموعه كاهش ناپذير از وابستگي ها)
نرمال سازي(1NF, 2NF, 3NF, BCNF وابستگي چند مقداري(MVD) و 4NF، وابستگي الحاقي (JD) و 5NF)
مرور مطالب پيشرفته تر (حفاظت، ترميم، همزماني، پايگاههاي داده شي گرا، پايگاه هاي داده استنتاجي).
مراجع:
1- Date, Introduction to Database Design
2- Elmasri, Fundamental of Database systems
3- Abitebout, Foundations of Database
4- Korth and Silberchatz, Database System Concepts
ساختمان داده ها
آرايه ها، بردارها، ماتريسها، كاربرد ماتريسها مانند MAZE، ماتريسهاي خلوت و كاربرد آنها، پشته ها، صفها و كاربرد آنها، ليستها، ليستهاي پيوندي (خطي، حلقه اي، پيوند مضاعف، چند پيوندي) و كاربرد آنها، تعاريف و اصول مقدماتي درختها، درختهاي دودويي، نمايش و كاربرد (درختهاي تصميم گيري، بازي، جستجو و ...) روشهاي ايجاد درختهاي تسبيح و اره (TREADED TREES) گرافها (نمايش، روشهاي پيمايش، كاربرد)، درختهاي پوشا، روشهاي تخصيص حافظه هاي پويا و مقايسه آنها،الگوريتمهاي جستجو و مرتب كردن داخلي (حداقل 4 روش) و ادغام.
مراجع:
1- Horowitz and Sahni, Fundamental of Data Structure and Computer Algorithms
2- Tenenbawn, Data Structure Using Pascal
3- Wirth, Algorithms + Data Structure = Programs
اصول طراحي كامپايلر
مقدمات(انواع مترجم ها شامل كامپايلرها و مفسرها) ساختار و اجزاي كامپايلر(تحليل گر لغوي، نحوي، معنايي، مديريت جدول نمادها، توليد كد مياني و نهايي، بهينه سازي، مديريت خطاها)
بررسي انواع گرامرها و خواص عمومي زبانها(طبقه بندي Chomsky)، گرامرهاي گنگ، گرامر خالص(مختصر و مفيد)
تحليل لغوي، عباريات منظم براي نمايش الگوي توكن ها، اصلاح خطاهاي لغوي، گرامرهاي تفسير حالت قطعي و غيرقطعي
روشهاي تحليل نحوي (بالا به پايين، (LL(1 ، پياده سازي RecursiveDescent و جدول تجزيه پايين به بالا(OP-SP)، روشهاي (LL(1 شامل (SLR(1 و (LALR(1 و (CLR(1 و اصلاح جدول (LR(1 در مورد گرامرهاي گنگ)
روشهاي اصلاح خطاهاي نحوي
تحليل معنايي(تستهاي ايستا و پويا)
مديريت جدول نمادها و ساختار آنها
روشهاي تحصيص حافظه (ايستا و پويا)
توليد كد مياني و نهايي و روشهاي توليد كد مانند Syntax Directed يا Tree Walking با استفاده از كنش هاي مفهومي و علايم كنش
ترجمه تعدادي از ساختارهاي زبانهاي امري مانند عبارتها ، ساختارهاي كنترلي، فراخواني روال ها
مختصري در مورد بهينه سازي كد مياني
مراجع:
1- Aho, Sethi, Compilers: Principles, Techniques and Tools
2- Trembly, The Theory and Practice of Compiler Writing
3- Pittman and Petersm The Art of Compiler Design
4- Mack, Writing Compilers and Interpreters
رياضي گسسته
مقدمه : منطق رياضي، جبرگزاره ها، فرمولهاي خوش ساخت، مروري بر نظريه مجموعه ها، روشهاي اثبات
روابط و توابع: روابط دوتايي، روابط سازگاري و هم ارزي، ماتريس نمايش دهنده روابط، گراف رابط، توابع،توابع پوشا، توابع يك به يك
روابط بازگشتي،استقرا، حل روابط بازگشتي، تابع مولد
ساختمانهاي جبري، نيمگروهها و منويدها، گرامرها و زبانها، نشانه گذاري لهستاني، گروهها،همومورفيسم، ايزومورفيسم، لاتيسها(شبكه ها)، جبربول، جدول كارنو، زبان و دستور زبان، دستور زبان بعنوان مثالي از منويدها
آناليز تركيبي:اصل لانه كبوتر، آشنايي با الگوريتمهاي تركيبي،توابع بازگشتي و كاربرد آنها
تئوري گراف: گرافهاي جهت دار، گرافهاي بي جهت، مسيرهاي اويلري و هميلتوني، مسيرهاي بهينه اپتيمال، الگوريتم يافتن مسيرهاي بهينه اپتيمال، گرافهاي همبند، ماتريس ارتباط و قضاياي مربوطه، كاربرد گرافها در تجزيه و تحليل فعاليتها
درختها : درختهاي پوشاي مينيمال، پيمايش درختها، كاربرد درختها، عبارات جبري و نمايش درختها.
مراجع:
1- Johnson Baugh,Discerte Mathematics
2- Grassman And Tremblay, Logic and Discrete Mathematics
3- Termblay, Discrete Mathematical Structures with Applications to computer science
4- Keneth, Rossen and Charles R.B,Wright, Discrete Mathematics
5- Grimaldi, Discrete and Combinatorial Mathematics
6- Michael Alberison, Discrete Mathematics with Algorithms
زبان تخصصي نرم افزار
با توجه به كاربرد وسيع زبان انگليسي به عنوان زبان رايج متون علمي و جزوات راهنما و اكثريت نرم افزارها و Help آنها و خصوصا كاربرد رايج آن د رشبكه هاي اطلاع رساني به ويژه Internet، سعي براين است تا در اين درس با مروري بر مطالب عنوان شده در زبان تخصصي مقطع كارداني، دانشجويان با مفاهيم پايه و گرامري مرتبط با علم كامپيوتر،واژگان مورد استفاده در حوزه نرم افزار، سخت افزار، اينترنت و شبكه هاي كامپيوتري و اطلاع رساني آشنا شده و با نحوه ترجمه متون علمي و نحوه نگارش اين متون آشنا شوند.
آشنايي با پيغامهاي ارسالي متدوال توسط سيستم عامل هاي رايج و در هنگام مراحل نصب نرم افزارها، زبانهاي برنامه نويسي،اختصارات متدوال در نامه نگاري الكترونيكي و chat و ... اصطلاحات و واژگان رايچ در موتورهاي جستجواينترنت و بهرگيري از دفترچه هاي راهنما و مراجع و ...
ترجمه متون مختلف تخصصي و نگارش ساده متون علمي در حوزه رايانه و اطلاع رساني.
سيستمهاي خبره
معرفي سيستمهاي خبره، ساختار و ويژگي هاي سيستمهاي خبره، پياده سازي سيستمهاي خبره، چگونگي تشكيل پايگاه دانش، سيستمهاي خبره مبني بر قوانين، سيستمهاي خبره مبني بر Frame، منطق و استدلال خودكار اصول استدلال قاعده مند، سيستمهاي خبره نادقيق(Bayesian، تئوري اطمينان، سيستمهاي خبره فازي) چرخه عملي سيستمهاي خبره، تعيين خواسته ها رد طراحي سيستمهاي خبره، اكتساب دانش و پياده سازي آن، روشهاي يادگيري اتوماتيك دانش، وارسي و اعتبارسنجي، بكارگيري يك زبان طراحي سيستمهاي خبره و مهندسي دانش.
مراجع:
1- Durkin, Expert systems
2- Gonzalez and Dankel, The Engineering of knowledge Based System theory and practice
3- Waternan, A Guide to Expert systems
4- Jackson, Introduction to Expert Systems
هوش مصنوعي
هوش مصنوعي چيست؟ مباني و تاريخچه هوش مصنوعي و مرزهاي دانش در هوش مصنوعي
عاملين (Agents) هوشمند، ساختار و عملكرد، عاملين هوشمند، محيط ها
حل مسئله، حل مسئله از طريق جستجو، فرموله كردن مسايل، چند مثال جستجو براي جواب، روشهاي جستجو
روشهاي جستجو آگاهانه (informed) جستجوي Best-first توابع Heuristic جستجوي حافظه محدود، ساير روشهاي جستجوي بهبود يافته
عاملين مبتني بر دانش، عامليني كه منطقي استدلال مي كنند، نمايش منطق، منطق گزاره اي، استدلال
منطق رتبه اول، استنتاج در اين منطق، قوانين استنتاج، استنتاج زنجيره اي به جلو و عقب
برنامه ريزي(Planning)، از حل مسئله به برنامه ريزي، نمايشهاي ساده براي برنامه ريزي، مهندسي دانش براي برنامه ريزي
عدم قطعيت (Uncertainty)، نحوه عمل كردن در شرايط عدم قطعيت، كاربرد و نحوه استحصال احتمالات
معرفي برخي كاربردها در سيستمها خبره، پردازش زبان طبيعي، بينائي ماشين و رباتيك
مراجع:
1- Russell and Nowig, Artificial Intelligence: A modern approach.
2- Rich, Artificial intelligence
3- Bratko, Prolog Programming for AI
4- Nilsson, Principles of Artificial Intelligence
5- Sterling and Shapiro, Art of Prolog
طراحي پياده سازي زبانها
ويژگي هاي عمومي زبانهاي برنامه نويسي، پردازنده هاي زبانهاي برنامه سازي و مقايسه انواع آنها ويژگي هاي انواع داده ها و پياده سازي آنها در زبانهاي سطح بالا، روشهاي تعيين ترتيب اجراي دستورات و پياده سازي آنها، كنترل داده ها(Data Control) ، روشهاي تخصيص نشانوندهاي (Arguments) يك تابع (برنامه فرعي) و پياده سازي آنها، روشها مديريت حافظه در زبانهاي سطح بالا، انتزاع(تجريد) داده ها.
مراجع:
1- Pratt, Programming Language and Implementation
2- Horowitz, Fundamental of Programming Language