Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
5Activity

Table Of Contents

2 La teoria ZF
3 Gli ordinali
4 Equivalenti dell’Assioma di Scelta
5 I cardinali
6 Operazioni su cardinali
8 Sintassi e semantica
10 Il Teorema di Herbrand - Versione semantica
12 Risoluzione al primo ordine
13 Il Teorema di unificazione
14 La regola di risoluzione al primo ordine
16 Il concetto intuitivo di funzione computabile
17 Flow charts
18 Macchine di Turing e funzioni Turing-computabili
19 Le funzioni parziali ricorsive
20 La tesi di Church
22 Codifiche ricorsive
23 Funzioni universali
25 Il Programa di Hilbert
26 Sistemi formali per l’aritmetica
27 Definibilit`a
28 Aritmetizzazione
29 Cenni di Teoria della Complessit`a
30 La classe P
31 La classe NP
32 Problemi NP-completi
0 of .
Results for:
No results containing your search query
P. 1
Franco Montagna - Fondamenti Di Logica

Franco Montagna - Fondamenti Di Logica

Ratings: (0)|Views: 58 |Likes:
Published by Sermark2

More info:

Published by: Sermark2 on Jan 07, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/18/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 41 are not shown in this preview.
You're Reading a Free Preview
Pages 45 to 102 are not shown in this preview.
You're Reading a Free Preview
Pages 106 to 123 are not shown in this preview.
You're Reading a Free Preview
Pages 127 to 134 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->