- Добавил: literator
- Дата: 23-10-2021, 01:52
- Комментариев: 0
Название: Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Автор: Wolfgang Schreiner
Издательство: Springer
Год: 2021
Страниц: 660
Язык: английский
Формат: pdf (true)
Размер: 10.8 MB
The purpose of this book is to outline some basic principles that enable developers of computer programs (computer scientists, software engineers, programmers) to more clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs for continuously executing systems. In practice, thinking about these artifacts is often muddled by not having a suitable mental framework at hand, i.e., a language to appropriately express this thinking. The core message that we want to convey is that clear thinking about programs can be expressed in a single universal language, the formal language of logic.
Автор: Wolfgang Schreiner
Издательство: Springer
Год: 2021
Страниц: 660
Язык: английский
Формат: pdf (true)
Размер: 10.8 MB
The purpose of this book is to outline some basic principles that enable developers of computer programs (computer scientists, software engineers, programmers) to more clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs for continuously executing systems. In practice, thinking about these artifacts is often muddled by not having a suitable mental framework at hand, i.e., a language to appropriately express this thinking. The core message that we want to convey is that clear thinking about programs can be expressed in a single universal language, the formal language of logic.