Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Guy McCusker

Автор: Roman Murawski
Название: Recursive Functions and Metamathematics
ISBN: 0792359046 ISBN-13(EAN): 9780792359043
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science.

Автор: Annabelle McIver; Charles Carroll Morgan
Название: Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 1441923128 ISBN-13(EAN): 9781441923127
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .

Автор: Rogers, H.
Название: Theory of recursive functions and effective computability /
ISBN: 0262680521 ISBN-13(EAN): 9780262680523
Издательство: MIT Press
Рейтинг:
Цена: 56430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: (Reprint of the 1967 edition)

Автор: Roman Murawski
Название: Recursive Functions and Metamathematics
ISBN: 9048152984 ISBN-13(EAN): 9789048152988
Издательство: Springer
Рейтинг:
Цена: 181670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.