libcats.org
Главная

Information and Knowledge: A Constructive Type-theoretical Approach

Обложка книги Information and Knowledge: A Constructive Type-theoretical Approach

Information and Knowledge: A Constructive Type-theoretical Approach

This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. It presents a newly formulated and conceptually developed presentation of the Problem of Analyticity, and a new interesting perspective on the constructive interpretation of knowledge processes.

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: