Proof and Computation
Helmut Schwichtenberg
2012-ж. дек. · Nato ASI Subseries F 139-китеп · Springer Science & Business Media
Электрондук китеп
470
Барактар
reportРейтинг жана сын-пикирлер текшерилген жок Кеңири маалымат
Учкай маалымат
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
Бул электрондук китепти баалаңыз
Оюңуз менен бөлүшүп коюңуз.
Окуу маалыматы
Смартфондор жана планшеттер
Android жана iPad/iPhone үчүн Google Play Китептер колдонмосун орнотуңуз. Ал автоматтык түрдө аккаунтуңуз менен шайкештелип, кайда болбоңуз, онлайнда же оффлайнда окуу мүмкүнчүлүгүн берет.
Ноутбуктар жана компьютерлер
Google Play'ден сатылып алынган аудиокитептерди компьютериңиздин веб браузеринен уга аласыз.
eReaders жана башка түзмөктөр
Kobo eReaders сыяктуу электрондук сыя түзмөктөрүнөн окуу үчүн, файлды жүктөп алып, аны түзмөгүңүзгө өткөрүшүңүз керек. Файлдарды колдоого алынган eReaders'ке өткөрүү үчүн Жардам борборунун нускамаларын аткарыңыз.
