info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Turing-completezza linguaggio logica default
31 views
Skip to first unread message
Pete
Jan 5, 2012, 10:00:10 AM1/5/12
to
Ciao
vorrei aiuto sul problema in oggetto: devo verificare che il
linguaggio della logica di default (la logica con teorie delta=(W,D),
con W teoria del primo ordine e D insieme di default) sia Turing-
completo. Nota: sia in W che in D possono esserci simboli di funzione.
Come posso impostare il problema?
Grazie, ciao!
vorrei aiuto sul problema in oggetto: devo verificare che il
linguaggio della logica di default (la logica con teorie delta=(W,D),
con W teoria del primo ordine e D insieme di default) sia Turing-
completo. Nota: sia in W che in D possono esserci simboli di funzione.
Come posso impostare il problema?
Grazie, ciao!
io_x
Aug 6, 2012, 1:26:10 PM8/6/12
to
"Pete" <ilcecch...@yahoo.it> ha scritto nel messaggio
news:e19c666c-38bf-4a5f...@q11g2000vbq.googlegroups.com...
il problema è che se metto il nome del mio prof
di infomrmatica, quello che mi chiamo' NN
con il nome "printf(" non spunta un documento
neanche se ci metto "cout"...
ma in che linguaggio programmano questi?
dove sono le loro pubblicazioni?
scrivono codice i professori universitari
di informatica? se no che cosa scrivono
documenti di logica?
0 new messages