Search

Search courses, chapters, or pages...

Learn

Course page Home page Home page Courses

Search

Search courses, chapters, or pages...

Learn

Track truth across time | Zoonk

Logic

22. Track truth across time

Use temporal logic to describe what is always true, eventually true, true until something happens, or true next. This prepares you for reasoning about programs, protocols, and systems that change over time.

Chapter not available

This chapter hasn't been created yet.

Create chapter