Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Solving Higher-Order Equations

Name: Solving Higher-Order Equations
Brand: Springer, Basel
SKU: 02232796
Price: 39740 HUF
Availability: InStock
Author: Christian Prehofer
ISBN: 9781461272786

From Logic to Programming

Christian Prehofer

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 02232796

Kiadó Springer, Basel, október 2012

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expres... Teljes leírás

Libristo kód: 02232796

271 b

39 740 Ft

Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Tabu Ferdinand von Schirach

Puha kötésű

4 239 Ft

INTENTOS ESPIRITUALES-- AL LADO DE ANTONIO SOSA QUINTANA

Puha kötésű

6 294 Ft

Versicherungsenzyklopadie Walter Grosse

Puha kötésű

20 474 Ft

Opracowanie i ocena elektronicznego systemu pozyskiwania danych Gladimir Pinto da Silva

Puha kötésű

9 376 Ft

probabilistische Revolution in der Literatur Bernhard Kehler

Puha kötésű

13 884 Ft

Sache mit der Eitelkeit Karin Kirwa

Puha kötésű

3 170 Ft

Schamanismus der Seele Bianka Denise Albrecht

Kemény kötésű

6 970 Ft

Tan-Tan Therapy (Remastered) Tenniscoats

Audio CD

9 659 Ft

Blue Lock n? 07 KANESHIRO

Puha kötésű

4 401 Ft

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Solving Higher-Order Equations

Szerző Christian Prehofer

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2012

Oldalszám 188

EAN 9781461272786

ISBN 1461272785

Libristo kód 02232796

Kiadó Springer, Basel

Súly 320

Méretek 155 x 235 x 11

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára

Matematika és természettudomány > Matematika > Alkalmazott matematika

Számítástechnika és információtechnológia > Üzleti alkalmazások > Matematikai és statisztikai szoftverek

Számítástechnika és információtechnológia > Adatbázisok > Adatbefogás és elemzés

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére