Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Introduction to Combinators and (lambda) Calculus

Name: Introduction to Combinators and (lambda) Calculus
Brand: Cambridge University Press
SKU: 08031045
Price: 50.79 EUR
Availability: InStock
Author: J. P. Seldin
ISBN: 9780521268967

J. P. Seldin

Lingua

Inglese

Libro Rigido

Casa editrice Cambridge University Press

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the f... Descrizione completa

Codice Libristo: 08031045

124 b

50.79 €

50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

30 giorni per il reso

I clienti hanno acquistato anche

Farbenfrohe Papierschirme (Puzzle) Heinz Gutersohn

Gioco

35.79 €

P. Ovidius Nasoos Feestdagen, In Hollandts Dicht Vertaalt (1719) Publius Ovidius Naso

In brossura

23.39 €

La situación social en España (II) Navarro López

In brossura

43.29 €

La fisica en la medicina, II Maria Cristina Pina Barba

Adobe ePub DRM

2.79 €

Literacy in der Unterstützten Kommunikation

In brossura

30.89 €

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice.