libcats.org
Главная →

Logics of time and computation

Обложка книги Logics of time and computation

Logics of time and computation

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Как обставить квартиру

 Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb

Сплавы палладия.

Автор:
Размер книги: 4.48 Mb
Только что пользователи скачали эти книги:

Промышленная очистка газов

 Автор:
Размер книги: 7.67 Mb

Drug Education Library Opium Drug Education Library

 Автор:
Категория: Chemistry
Размер книги: 6.85 Mb

Историческое обозрение Сибири

 Автор:
Категория: История
Размер книги: 33.34 Mb

Денежный шейкер

 Автор:
Категория: Эзотерика и теософия
Размер книги: 1 Kb

Juvenal and Persius (Loeb Classical Library)

 Автор: , Автор:
Размер книги: 13.51 Mb