Teoria jocurilor a ajuns să joace un rol din ce în ce mai important în logica și în informatică. Mai multe teorii logice au o bază în semantică jocurilor. În plus, oamenii de știință din domeniul informaticii au folosit jocuri pentru a modela calcule interactive. De asemenea, teoria jocurilor oferă o bază teoretică pentru domeniul sistemelor multi-agent. În mod separat, teoria jocurilor a jucat un rol în algoritmi online; în special, problema k-server, care în trecut a fost denumită jocuri cu costuri în mișcare și jocuri cu cerere-răspuns. Principiul lui Yao este o tehnică teoretică de joc pentru a dovedi limitele inferioare ale complexității computaționale a algoritmilor aleatorii, în special algoritmii online. Întrebare: În ce se bazează teoria jocurilor?
semantica jocului