התייחסו לקטע הבא ואז ענו על השאלה שאחריו באותה שפה כמו הקטע:  מעבר: תאוריית המשחקים משחקת תפקיד חשוב יותר ויותר בהיגיון ובמדעי המחשב. כמה תיאוריות לוגיות מבוססות על סמנטיקה של משחקים. בנוסף, מדענים במחשב השתמשו במשחקים כדי לדגם חישובים אינטראקטיביים. כמו כן, תיאוריית המשחקים מספקת בסיס תיאורטי לתחום מערכות רב-סוכנים. בנפרד, תיאוריית המשחקים שיחקה תפקיד באלגוריתמים מקוונים; בפרט, בעיית k-server, אשר בעבר נקראה משחקים עם עלויות נעות ומשחקים בקשה-תשובה. עיקרון יאו הוא טכניקה תיאורטית של משחקים להוכחת גבולות נמוכים יותר במורכבות החישוב של אלגוריתמים אקראיים, במיוחד אלגוריתמים מקוונים.  שאלה: במה מבוססת תיאוריית המשחקים?
סמנטיקה של משחקים