This Course Presents The Theory of Knowledge in Distributed Systems And Illustrates Its Usage in The Design and Analysis of Distributed Computer Programs and of Multi-player Games. The Topics Covered Include# Possible-worlds Semantics For Modal Logics, Modelling Of Distributed Systems Via Interpreted Systems, Modal Logics of Knowledge And Time, Single-agent Knowledge, Common Knowledge And Other States of Group Knowledge, The Use of Knowledge in Game Theory, and Applications of Knowledge Theory in The Design And Analysis of Distributed Protocols and Games. Learning Outcomes# By The End of The Course The Students Will# - Posses Effective Tools For The Design and Analysis of Distributed And Multi-agent Systems Using The Notion of Knowledge and Its Erivatives.

Faculty: Computer Science
|Undergraduate Studies |Graduate Studies
Pre-required courses

(44268 - Int. to Data Structur and Algorithms and 234292 - Logic For Cs) or (44268 - Int. to Data Structur and Algorithms and 106156 - Mathematical Logic) or (44268 - Int. to Data Structur and Algorithms and 94204 - Distributed Data and Rational Agents) or (94204 - Distributed Data and Rational Agents and 234218 - Data Structures 1) or (94204 - Distributed Data and Rational Agents and 94226 - Introduction to Algorithms) or (94226 - Introduction to Algorithms and 106156 - Mathematical Logic) or (94226 - Introduction to Algorithms and 234292 - Logic For Cs) or (106156 - Mathematical Logic and 234218 - Data Structures 1) or (234218 - Data Structures 1 and 234292 - Logic For Cs)

Course with no extra credit

49026 - Knowledge and Games in Distributed Sys.

Semestrial Information

Weekly Hours

2 Academic Credit • 2 Lecture Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yoram Moses

Notes
  • הקורס יינתן בהנדסת חשמל 049026
  • הקורס מיועד לסטודנטים שצברו עד כה 65 נקז
  • אתר הקורס יהיה במודל.

Registration Groups
10
Lecture Monday 14:30 - 16:30 בנ.מאייר 352 | Yoram Moses
69
Enrollment Group No information regarding course hours
Weekly Hours

2 Academic Credit • 2 Lecture Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yoram Moses

Notes
  • הקורס משותף לקורס אשר ניתן בהנדסת חשמל 049026.
  • ההרצאה תתקיים בבנין מאייר חדר 351.

Registration Groups
10
Lecture Tuesday 13:30 - 15:30 | Yoram Moses
Weekly Hours

2 Academic Credit • 2 Lecture Hours

Go to Course Page

Go to Course Page


Responsible(s)

Yoram Moses

Notes
  • הקורס ינתן יחד עם הקורס 049026.

Exams
Session A: 28-02-2021 09:00 - 12:00 Session B: 22-03-2021 09:00 - 12:00
Registration Groups
10
Lecture Sunday 14:30 - 16:30 | Yoram Moses