книги Компьютеры и Интернет Операционные системы и сети Сети

Agda (theorem prover)

Код 1470195

Нет в продаже

Аннотация к книге "Agda (theorem prover)"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Agda is a proof assistant, i.e. a computer program that can check mathematical proofs. More specifically, it is an interactive system for developing constructive proofs in a variant of Per Martin-Lof's Type Theory. It can also be seen as a functional programming language with dependent types and was developed by Ulf Norell, a post-doc at Chalmers University of...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1331-4255-8
Объём: 120 страниц
Масса: 203 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Ajax Pascal Композиторы и исполнители Компьютеры и Интернет