Theory of Knowledge in Distributed Systems and Its Application To The Design of Distributed Protocols and The Modelling Of Multi-party Games. Possible-world Sematics, Modeling Distributed Systems. Modal Logics of Knowledge and Time, Knowledge Of Individuals, Common Knowledge and Related State of Knowledge Of Groups, Knowledge in Games, Application to The Design and Analysis Of Distributed Protocols and Games.

Faculty: Electrical and Computer Engineering
|Graduate Studies
Course with no extra credit

236026 - Knowledge in Distributed Systems

Semestrial Information

Weekly Hours

2 Academic Credit • 2 Lecture Hours

Responsible(s)

Yoram Moses


Registration Groups
10
Lecture Tuesday 13:30 - 15:30 בנ.מאייר 351 | Yoram Moses
Weekly Hours

2 Academic Credit • 2 Lecture Hours

Responsible(s)

Yoram Moses


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 אולמן 603 | Yoram Moses
Weekly Hours

2 Academic Credit • 2 Lecture Hours

Responsible(s)

Yoram Moses

No Registration Groups