Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Logic, Meaning and Computation

Name: Logic, Meaning and Computation
Brand: Springer
SKU: 05323253
Price: 162.88 EUR
Availability: InStock
Author: C. Anthony Anderson
ISBN: 9789401038911

Essays in Memory of Alonzo Church

C. Anthony Anderson

Michael Zelëny

Език

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

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

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

Издателство Springer, октомври 2012

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles... Цялото описание

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

394 b

162.88 €

318.56 лв

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

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

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

HISTORIA DE ESPAÑA CONTADA PARA ESCEPTICOS JUAN ESLAVA GALAN

Книга

42.92 € 83.94 лв

Schnittmuster fur die Liebe Eva Kah

Adobe ePub DRM

3.41 € 6.67 лв

El estado social en Espa?a ALMAGRO CASTRO

С меки корици

37.74 € 73.81 лв

Evaluation Des Performances Des Enseignants Dans Le Service d'Education Du Ghana Isaac Ampofo Atta Junior

С меки корици

37.79 € 73.91 лв

Das Muratorische Fragment Joachim Orth

С меки корици

32.10 € 62.77 лв

Animales del mundo Arredondo

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

7.55 € 14.77 лв

Zdánlivé pochybnosti Jan Kameníček

С меки корици

8.33 € 16.29 лв

SHANNON SHANNON

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

14.96 € 29.25 лв

Les crimes de l'armée française en Algérie 1954-1962 Pierre Vidal-Naquet

С меки корици

16.15 € 31.58 лв

Hitze Sina de Malafosse

С меки корици

12.06 € 23.58 лв

Dislexia, disortografía y disgrafía María del Pilar Fernández Fernández

С меки корици

25.47 € 49.81 лв

Chut... je t'aime ! Bourgois Книга

С меки корици

10.71 € 20.95 лв

LES NEO-PAGANISMES ET LA NOUVELLE DROITE (1980-2006) : POUR UNE AUTRE APPROCHE STEPHANE

С меки корици

26.56 € 51.94 лв

Küresel Kapitalizm ve Göcmenlik Mustafa Peköz

С меки корици

16.98 € 33.20 лв

Historique Des Evenemens Qui Se Sont Passes A La Basse-Terre, Ville Capitale de l'Ile Guadeloupe SANS AUTEUR

С меки корици

16.56 € 32.39 лв

Litterature Contemporaine. Serie 5 Sans Auteur

С меки корици

21.27 € 41.61 лв

Episode de l'Invasion de 1870 A Provins Bourquelot-E

С меки корици

16.56 € 32.39 лв

Les Mohicans de Paris.Tome 11 Alexandre Dumas

С меки корици

25.21 € 49.31 лв

Nouveau Dictionnaire Universel, (Ed.1869) Maurice La Chatre

С меки корици

34.17 € 66.82 лв

Rolle und Identitat im Wunderland Viktoria Freya Weigel

С меки корици

17.13 € 33.51 лв

Analyse fachinhaltlicher Anteile der Lernbegleitung in offenen experimentellen Situationen Sebastian Sutor

С меки корици

40.64 € 79.48 лв

Desarrollo de una cepa etanologenica a partir de B. subtilis Susana Romero García

С меки корици

27.49 € 53.76 лв

Verwaltungsverfahrensgesetz (VwVfG) Sarastro Gmbh

С меки корици

9.57 € 18.72 лв

Freiheit Des Kolja Iwanow Friede Henriette Kraze

С меки корици

34.94 € 68.34 лв

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .