Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Scheme-based Theorem Discovery and Concept Invention

Name: Scheme-based Theorem Discovery and Concept Invention
Brand: LAP Lambert Academic Publishing
SKU: 12628658
Price: 58.3 EUR
Availability: InStock
Author: Omar Montaño Rivas
ISBN: 9783659886201

Rewriting theory-exploration

Omar Montaño Rivas

Език

Английски език

Книга С меки корици

Код Либристо: 12628658

Издателство LAP Lambert Academic Publishing, ноември 2015

This book describes an approach to automatically invent/explore new mathematical theories, with the... Цялото описание

Код Либристо: 12628658

141 b

58.30 €

114.03 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Tulisielut. Tarina Ulrike Meinhofista, Andreas Baaderista ja Joschka Fischeristä Katriina Lehto-Bleckert

С меки корици

44.88 € 87.77 лв

Barbapapa - Mes histoires Barbapapa Annette Tison

С твърди корици

14.15 € 27.67 лв

Schule des Augenblicks (German edition) JEFFREY IAN

С твърди корици

45.34 € 88.68 лв

DICT. DES AGENTS PATHOGENES PLANTES FIALA

Книга

54.95 € 107.47 лв

Невеличка драма Valer'jan Pidmogilnij

С твърди корици

12.80 € 25.04 лв

Alžbětka a její písničky

Аудио компактдиск

12.80 € 25.04 лв

COMIZAHUAL Leyendas, tradiciones y relatos de Honduras Medardo Mejía

С меки корици

11.82 € 23.12 лв

V Kalábrii Peter S. Beagle

С твърди корици

9.03 € 17.67 лв

Guerre Maritime Et Sous-Marine. T. 5 Driant-E-C

С меки корици

19.21 € 37.57 лв

La Tarragona silenciada : L'opressió de l'aparell franquista (1940-1965) Josep Recasens i Llort

С меки корици

22.31 € 43.63 лв

Los delitos de alzamiento de bienes en el código penal de 1995 Eva María Souto García

С меки корици

78.24 € 153.02 лв

El palestino Antonio Salas

С меки корици

16.37 € 32.01 лв

Grupo Auxiliar Administrativo de la Función Administrativa del Servicio Riojano de Salud. Temario. Volumen I *** Ojo *** Del Castillo Torres

С меки корици

73.80 € 144.34 лв

Abschied vom Mythos Hannes Bahrmann

С меки корици

17.14 € 33.53 лв

Public Private Partnerships Und Oeffentliche Verschuldung Nicolas Gatzke

С твърди корици

95.13 € 186.05 лв

Fantomes D'Hiver Kate Mosse

С меки корици

12.24 € 23.93 лв

La philosophie comme maniere de vivre Pierre Hadot

С меки корици

28.71 € 56.15 лв

Bal Du Pont Du Nord Orlan Mac

С меки корици

13.63 € 26.66 лв

This book describes an approach to automatically invent/explore new mathematical theories, with the goal of producing results comparable to those produced by humans, as represented, for example, in the libraries of proof assistants. The approach described is based on schemes, which are formulae in higher-order logic. It shows that it is possible to automate the instantiation process of schemes to generate conjectures and definitions. It also shows how the new definitions and the lemmata discovered during the exploration of a theory can be used, not only to help with the proof obligations during the exploration, but also to reduce redundancies inherent in most theory-formation systems. It describes how to exploit associative-commutative (AC) operators using ordered rewriting to avoid AC variations of the same instantiation. All ideas contained in this book are implemented in an automated tool, called IsaScheme, which employs Knuth-Bendix completion and recent automatic inductive proof methods. This systematic and comprehensive introduction to the scheme-based theory exploration will be welcome by researchers and graduate students alike.