Computabilità. Lambda, definibilità, ricorsività, indecidibilità
Moriconi Enrico,
Tesconi Laura,
Bellotti Luca
Momentaneamente non ordinabile
Dettagli Libro
- Titolo: Computabilità. Lambda, definibilità, ricorsività, indecidibilità
- Autore: Moriconi Enrico, Tesconi Laura, Bellotti Luca
- Curatore:
- Traduttore:
- Illustratore:
- Editore: Carocci
- Collana: UNIVERSITÀ
- Data di Pubblicazione: 2001
- Pagine: 274
- Formato:
- ISBN: 9788843019588
- Filosofia - Logica
Libri che ti potrebbero interessare
I libri più cercati
-
Il re dei ladri
Cornelia Funke -
Falsa testimonianza
Karin Slaughter -
Eredità di guerra
Smith Wilbur, Churchill David -
Nudi alla nostra età? Il sesso oltre i sessant'anni
Joan Price -
Il metodo di lavoro libero per gruppi
F. De Bartolomeis, Roger Cousinet, Francesco De Bartolomeis
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia