Pastāsti draugiem par šo preci:
Type Theory and Formal Proof: An Introduction Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)
Cena
€ 116,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 10. - 18. sept.
Saņemiet paziņojumus par jauniem Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Type Theory and Formal Proof: An Introduction
Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
490 pages, 35 b/w illus. 125 exercises
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2014. gada 6. novembris |
| ISBN13 | 9781107036505 |
| Izdevēji | Cambridge University Press |
| Lapas | 466 |
| Izmēri | 177 × 254 × 29 mm · 1,03 kg |
| Valoda | Angļu |
