Над 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: 154.33 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

373 b

154.33 €

301.85 лв

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

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

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

HISTORIA DE ESPAÑA CONTADA PARA ESCEPTICOS JUAN ESLAVA GALAN

Книга

24.36 € 47.64 лв

El estado social en Espa?a ALMAGRO CASTRO

С меки корици

32.58 € 63.72 лв

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

С меки корици

35.68 € 69.79 лв

Das Muratorische Fragment Joachim Orth

С меки корици

32.01 € 62.61 лв

Animales del mundo Arredondo

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

6.41 € 12.53 лв

Zdánlivé pochybnosti Jan Kameníček

С меки корици

8.32 € 16.28 лв

SHANNON SHANNON

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

14.68 € 28.72 лв

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

С меки корици

15.87 € 31.05 лв

Hitze Sina de Malafosse

С меки корици

11.43 € 22.35 лв

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

С меки корици

21.72 € 42.48 лв

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

С меки корици

10.44 € 20.42 лв

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

С меки корици

26.48 € 51.78 лв

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

С меки корици

16.96 € 33.17 лв

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

С меки корици

16.55 € 32.36 лв

Litterature Contemporaine. Serie 5 Sans Auteur

С меки корици

21.25 € 41.57 лв

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

С меки корици

15.56 € 30.44 лв

Les Mohicans de Paris.Tome 11 Alexandre Dumas

С меки корици

23.94 € 46.83 лв

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

С меки корици

33.41 € 65.34 лв

Rolle und Identitat im Wunderland Viktoria Freya Weigel

С меки корици

17.11 € 33.47 лв

Analyse fachinhaltlicher Anteile der Lernbegleitung in offenen experimentellen Situationen Sebastian Sutor

С меки корици

38.37 € 75.05 лв

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

С меки корици

25.91 € 50.67 лв

Verwaltungsverfahrensgesetz (VwVfG) Sarastro Gmbh

С меки корици

9.05 € 17.69 лв

Freiheit Des Kolja Iwanow Friede Henriette Kraze

С меки корици

32.99 € 64.53 лв

Karriere-Kehrwert Uwe Olschewski

С меки корици

17.11 € 33.47 лв

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 .