5 درس منطق براي گرايش علوم كامپيوتر (كارشناسي ارشد)

مراجعي براي درس 1:

Logic in Computer Science: Modeling and Reasoning about Systems

Mathemtical Logic for Computer Science

مراجعي براي درس 2:

Automated Model Building

مراجعي براي درس 3:

Principles of Model Checking

مراجعي براي درس 4:

Multi Agent Programming, Languages, Tools, and Application

Artificial Intelligence through Prolog

مراجعي براي درس 5:

همين وبلاگ و كتابهاي معرفي شده در آن، از جمله

Multi Agent Systems

Swarm Intelligence

شبیه ساز ي چند عاملي Agent Based Simulation

در زير لينك چند شبيه سازي جند عاملي را مشاهده مي كنيد.

• ANYLOGIC
  
• BREVE
• REPAST
  
• SWARM
• MASS
• NETLOGO
• MASON
• LSD
• FRAMESTICKS
  

شبيه سازهاي چندعاملي به منظور شبيه سازي سيستم هاي پيچيده اجتماعي و اقتصادي طراحي مي شوند تا بتوان به كمك آنها استراتژي مطلوب را براي مديريت سيستم هاي پيجيده بدست آورد. كتاب زير مرجع خوبي براي اين منظور است.

Managing Business Complexity
Discovering Strategic Solutions With Agent Based Modeling and Simulation

همچنين آدرس هاي زير مي تواند براي علاقه مندان مفيد باشد

http://www.artificial-economics.org/

http://jasss.soc.surrey.ac.uk/index_by_issue.html