mii-community/UsenetArchiveIT-conversations huggingface dataset:
Newsgroup: it.scienza.informatica
Titolo: aiuto tesi (urgente)

sapete indirizzarmi verso siti o risorse(libri,riviste,ecc) che trattino
della generazione automatica di diagramma delle classi, di diagramma ER,
schemi o simili  a partire dalle specifiche dei requisiti utente espressi in
linguaggio naturale??
Anche se siete a conoscenza di qlc di utile( quindi non precisamente la mia
richiesta) ditemelo, ci penserò io a scartare eventualmente il materiale.
Grazie infinitamente.
Vi prego aiutatemi

 espressi in linguaggio naturale??
Cosa intendi per modellazione automatica?
Se cerchi un tool, ti do una spiacevole notizia, non esistono,
tranne la possibilita' di reverse-eng. a partire dal codice.
Purtroppo la modellazione di un sistema e' un'attivita' creativa,
impari la teoria e poi la applichi a manina santa.
Prova a cercare materiale sul sito di Rational Rose oppure con
google cerca le specifiche UML.
Per i diagrammi ER puoi consultare un qualsiasi testo di basi di 
dati ("Basi di Dati" di Atzeni-Ceri-Paraboschi per es.)
 
-- 
"difficilmente riusciremo ad arginare la diffusione dei virus finche' 
 esisteranno programmi come  u(z1...zn)=sel1(u z1...zn)=u" - Kleene

 impari la teoria e poi la applichi a manina santa.
Bhe non sono d'accordo. Premetto che non sono esperto in materia.
Mi ricordo un programma per trasformare il linguaggio naturale in una lista di 
requisiti formalizzata.
http://circe.di.unipi.it/Circe/index.html
Non e` esattamente quello che cerca vasco81, ma qualcosa che (credo) comprenda 
anche quello.

 cerca vasco81, ma qualcosa che (credo) comprenda anche quello.
Formalizzare una specifica di requisiti non e' una cosa banale,
il cliente potrebbe essere anche incapace di comprendere un linguaggio
differente dal suo linguaggio business - vedi fase di validazione -
e potrebbe anche essere difficile per un 'tecnico' leggere e 
manutenere un documento troppo formalizzato.
Vediamola sotto un altro punto di vista... se diamo un documento SRS
a 10 analisti diversi questi ci consegneranno 10 analisi del sistema
differenti.
Tra queste versioni se ne distingueranno alcune molto simili e altre 
che 'partono per la tangente' ^_^
Il problema ora e': un tool di sviluppo automatico a quale di questi
analistiti tipo assomigliera' di piu'? Quale di questi analisti ha
centrato il problema e 'rischia di incontrare' i requisiti?
Aggiungiamoci pure il fatto che molte volte il SRS e' ambiguo, presenta
lacune, lo stesso cliente non sa nemmeno lui cosa cerca ecc. ecc.
otteniamo 'na schifezza ^_^

Newsgroup: it.scienza.informatica
Titolo: [ot] domotica?

So di essere palesemente of-topic ma ci provo lo stesso, fidando anche sul
fatto che molti di voi bazzicano in ambienti universitari.
Conoscete link o persone che si occupano di questo argomento (domotica)? Io
personalmente da ing elettronico con un minimo di esperienza lavorativa
nell'ambito dell'automazione sono piuttosto interessato sia alle tecnologie
connesse sia alla loro applicazione ed installazione. Soprattutto, esistono
organi che stiano pensando alla definizione di standard per l'interazione di
differenti device e la loro organizzazione all'interno di una rete
domestica?
Grazie e scusate l'ot (se eventualmente il moderatore decidesse di
pubblicare il mio msg)
Trini.
----------TAF----------
Se ti disegnassi una linea in faccia sembreresti proprio un culo
Trini alla frutta aka potenza del pesante (abbonato nord n°833)
ICQ number 15461418
Homepage 
http://utenti.lycos.it/triniallafrutta

Un paio di giorni fa sono stato al CNR e si parlava proprio di questo.
Il sito di riferimento è questo:
http://www.isti.cnr.it/ResearchUnits/Labs/dom-lab/
---
Debug me for email
Federico Colla,
CS Student, Università di Pisa
narcisiss.openglforums.com

>Conoscete link o persone che si occupano di questo argomento (domotica)? Io
Se scrivi alla Merloni (marchi Ariston, Indesit etc) saranno sicuramente
lieti di darti dei riferimenti
in merito ai loro prodotti, alle fiere dove parteciapno etc.
E da lě scopri gli altri attori...
Ciao!
Ruben

Conoscete link o persone che si occupano di questo argomento (domotica)? 
esiste il gruppo free.it.discussioni.domotica

> esiste il gruppo free.it.discussioni.domotica
Ma ci sei mai entrato?...
Trini.
Newsgroup: it.scienza.informatica
Titolo: truduttore

Io sto cercando programmi di esempio  in grado di fare delle traduzioni
dall'inglese all'italiano o voceversa, perchè devo poi utilizzarli in un
programma che sfrutti gli algoritmi genetici.
Se qualcuno ha qualche idea o qualche consiglio mi scriva subito.

 wrote in message
8jtdlc$1l9$1...@fe2.cs.interbusiness.it...


Se qualcuno ha qualche idea o qualche consiglio mi scriva subito.
Tieni presente che se vuoi traduttori in grado di tradurre correttamente 
testo reale, non ce ne sono: chiunque cerchi di propinartene uno e' un 
illuso se va bene, o un truffatore se va male.
Ci sono, tuttavia, sistemi basati su vari gusti di grammatiche ad 
unificazione che traducono correttamente frasi semplici; e possono servire 
come guida o "sgrossatura" per testi reali (anche se spesso fanno piu' 
casino che altro). 
Ad alphaworks (
www.alphaworks.com
) trovi la demo di uno di essi, con cui le 
pagine di alphaworks stesso sono tradotte su richiesta, che ti da un'idea 
del meglio che si riesca ad ottenere al momento.
-- 
God is Real, unless declared Integer.
ObjectZone - 
http://space.tin.it/computer/csadun

 del meglio che si riesca ad ottenere al momento.
Ciao Cristiano, hai mai provato a dare in pasto testi semplici a Babelfish?
Tempo fa quando bazzicavo su un ng dedicato a Tolkien si era provato a passare
l'inno nazionale inglese da inglese a francese a inglese a tedesco a ... poi
non mi ricordo, ma ci siamo fermati quando il testo divenne a dir poco
inquietante. ;)
Ciao,
 Stefano
----------
"X WindowSSS, teSSSoro mio... lo odieremo per SSSempre"
Bill Gollum
----------

il testo divenne a dir poco inquietante. ;)
Del resto, non serve certo un traduttore automatico per avere traduzioni 
inquietanti. Ricordo un manuale dell'IBM - non so piu' di che macchina - in 
cui nelle istruzioni per la pulizia del mouse, si parlava di estrarne la 
pallina, ma il traduttore aveva tradotto mouse con "topo"... ;-)


 pallina, ma il traduttore aveva tradotto mouse con "topo"... ;-)
Ah ah si me lo ricordo... l'ho letto pure io... 'Estrarre la palla dal vostro
topo č una operazione complicata' ah ah che fave! Vabbč chiuderei qui il thread
visto che č un po' OT (parliamo di hw e non di sw); meno male che almeno non
possiamo proporre agli altri frequentatori di guadagnare ricevendo a casa o sul
cellulare le palle del topo! :)


 inquietante. ;)
Mai sentito parlare di "propagazione dell'errore"...?
--
 Ciao, Bianco.
 Reply to 
luca....@tiscalinet.it

o sul cellulare le palle del topo! :)
Eheh, per riportare il thread vagamente IT, ho provato una frase simile su 
babelfish, e - pur traducendo "mouse" con topo - "ball" diventa "sfera".. ;-)
Ah, la tecnologia avanzata. :)
-- 
God is Real, unless declared Integer.
ObjectZone - 
http://space.tin.it/computer/csadun/

 Mai sentito parlare di "propagazione dell'errore"...?
Si. E tu di "sarcasmo"? :)


Se qualcuno ha qualche idea o qualche consiglio mi scriva subito.
C'e un programma che si chiama Babylon.
Newsgroup: it.scienza.informatica
Titolo: Notazione RPN

"3 2 /"   significa "3/2" oppure "2/3"?

> "3 2 /"   significa "3/2" oppure "2/3"?
3/2
-- 
Stefano Balocco
RIPE handle:	6BONE-SB27
ID:             8EF05AB2
Fingerprint:    DF65 A9E5 E307 D647 9E41  1CD1 9265 BF7D 8EF0 5AB2
Key:            
http://www.denialofservice.it/stefano/stefanobalocco.asc
Keyserver:      
http://keyserver.linux.it


in RPN, cosě come la ricordo, non cambia l'ordine degli operandi
ma solo la posizione dell'operatore, quindi "3 2 /" == "3 / 2"
die

 "3 2 /"   significa "3/2" oppure "2/3"?
3/2 , la mia HP conferma
http://www.hpmuseum.org/rpn.htm#what
L.

Newsgroup: it.scienza.informatica
Titolo: quale libreria per la programmazione lineare?

Mi piacerebbe dedicarmi alla programmazione lineare.
Per fare questo vorrei utilizzare delle librerie gratuite.
So che non saranno potenti come il C-plex ma non importa...
.... i problemi da risolvere sono 'ludici'.
la cosa a cui tengo č che siano free... e ovviamente piů potenti possibile.
Quali mi consigliate, in quale linguaggio sono scritte?
Dove posso trovarle? sono semplici da utilizzare nei propri programmi?
Grazie in anticipo, Mario.

 sono semplici da utilizzare nei propri programmi?
Si
Curlus

 Grazie in anticipo, Mario.
prego in posticipo
-- 
questo messaggio non contiene nulla di vero

 Dove posso trovarle? sono semplici da utilizzare nei propri programmi?
Internet


 Dove posso trovarle? sono semplici da utilizzare nei propri programmi?
Internet


Newsgroup: it.scienza.informatica
Titolo: aiutatemi vi pregoooooo e importantissimo

Sul prezzo di un prodotto viene praticato lo sconto del 3% se costa
meno di 500€ e del 5% per prezzi uguali o superiori a 500€. Calcola
il prezzo da pagare.


Scusate, post approvato per errore. E` palesemente fuori tema oltre che
senza capo ne coda.
Giorgio.
moderatore di it.scienza.informatica
Newsgroup: it.scienza.informatica
Titolo: Algoritmo mediana

Ciao a tutti,qualcuno saprebbe mostrami un algoritmo che trova l'elemento 
mediano in un array non ordinato in tempo lineare? Sarebbe gradito lo 
pseudocodice o anche la spiegazione dell'algoritmo. Grazie a tutti! 

Capitan Harlock wrote:

E' un algoritmo che spezza ricorsivamente l'array di input e cerca il valore
da trovare solo in uno dei due sottoarray generati (a differenza, ad
esempio, del quicksort che continua a lavorare su entrambi i sottoarray
generando una complessità di O(n lgn) )
Non trova semplicemente la mediana, ma permette di trovare l'i-esimo
elemento più piccolo (quindi anche la mediana), in tempo lineare.
Sfrutta la funzione Randomized-Partition(A,p,r) che è una versione
randomizzata d Partition(A,p,r).
Partition divide l'array A (dall'indice p all'indice r) in 2 sottoarray
[p ... q] e [q+1 ... r] in modo che ogni elemento del primo è minore o
uguale ad ogni elemento del secondo.
La randomizzazione sta nel prendere in modo casuale l'indice q.
Questo partizionamento richiede tempo O(n)
Non vado avanti con le osservazioni, perché, essendo ricorsivo, rischio di
continuare fino a domani e purtroppo non posso.
Però ti scrivo il codice in modo che puoi studiarlo.
Per trovare il mediano di un array di 9 elementi, la funzione varrà chiamata
così: Randomized-Select(A,0,8,4)
Randomized-Select(A,p,r,i)
{
   if   p=r
        then return A[p]
   q=Randomized-Partition(A,p,r)
   k=q-p+1
   if   i<=k
        then return Randomized-Select(A,p,q,i)
        else  return Randomized-Select(A,q+1,r,i-k)
}
Randomized-Partition(A,p,r)
{
   i=Random(p,r)  //un numero casuale nel range (p,r)
   scambia (A[p], A[i])
   return Partition(A,p,r)
}
Partition(A,p,r)
{
   x=A[p]
   i=p-1
   j=r+1
   while (true)
      do  repeat  j=j-1
                until  A[j]<=x
             repeat  i=i+1
                until  A[i]>=x
             if  i<j
                then scambia(A[i],A[j])
                else return j
}
Spero di non aver sbagliato nessun indice o_O
Ciao
.
Newsgroup: it.scienza.informatica
Titolo: URGENTE! INFO SU CALCOLI

Vorrei sapere come potrei calcolare la media, varianza e fare l'analisi dei
residui di una serie storica, utilizzando Matlab
E' giusto secondo voi usare matlab oppure mi consigliate qualche altro modo?
Mi potete far vedere lo script per matlab?
Se potete, per favore aiutatemi.
PS: potete rispondermi pure a 
de...@mall.it
?
Saluti.

 residui di una serie storica, utilizzando Matlab
Dai un'occhiata all'help on line di Matlab:
matlab\datafun. E' quasi tutto pronto.
Ciao.
--
Nando Iavarone
Gruppo Telerilevamento
Dipartimento Interateneo di Fisica
Via Amendola, 173
70126 BARI
ITALY
Tel.: +39 80 5443166
Fax.: +39 80 5443165
e_mail: 
iava...@axpba0.ba.infn.it

Mi potete far vedere lo script per matlab?
Devi guardare l' Help in linea di Matlab alla voce:
MATLAB/DATAFUN -  Data analysis and Fourier transform  functions.
  Basic operations.
     max          Largest component.
     min          Smallest component.
     mean         Average or mean value.
     median       Median value.
     std          Standard deviation.
     sort         Sort in ascending order.
     sum          Sum of elements.
     prod         Product of elements.
     cumsum       Cumulative sum of elements.
     cumprod      Cumulative product of elements.
     trapz        Numerical integration using trapezoidal method.
   Correlation.
     corrcoef     Correlation coefficients.
     cov          Covariance matrix.
     subspace     Angle between subspaces.
Ti segnalo inoltre che esistono dei NG sul Matlab.
Newsgroup: it.scienza.informatica
Titolo: Microsoft Outlook

E' inutile, non riesco a configurarlo. Io volevo verificare
se presenta "vantaggi" rispetto a altre soluzioni di invio e
ricezione della posta................ ma non ne vengo capo.
Qualcuno è pratico di questo programma?
Mille grazie
Raffaella

...

Non sono sicuro, ma se posti problemi di configurazione precisi magari una
mano te la posso dare...(forse ;-))
Ciao Dade
mastr...@iol.it

Raffaella S. ha scritto:
RS >E' inutile, non riesco a configurarlo. Io volevo verificare
..
RS >Qualcuno è pratico di questo programma?
io non l'ho mai provato, ma ricevo posta da molti che lo usano: cose orrende,
ognuno ha un problema diverso nella codifica dei caratteri. 
IMHO è meglio passare ad un altro client di posta.
Ciao
Marco
-- 
I tre porcellini si presentano da Mike Bongiorno e chiedono: 
<<Scusi, ha delle domande da porci?>> (A.A.)

Mi occorrerebbero delle informazioni in piů per aiutarti.
Grazie.

Qualcuno è pratico di questo programma?
Io l'ho sto usando da tre mesi a questa parte... cos'è che non capisci?
--
Luca Falugiani --- mailto:
luca...@tin.it
   ICQ UIN: 7590124
----------------------------------------------------------------------------
---------------
Pare perciò che Einstein sbagliasse doppiamente quando
disse: "Dio non gioca a dadi". La considerazione dell'emis-
sione di particelle da parte di buchi neri sembrerebbe
suggerire che Dio non solo gioca a dadi, ma a volte li getta
dove non li si può vedere      -------- S.Hawking ---------
Newsgroup: it.scienza.informatica
Titolo: Modem

cerco il maggior numero di informazioni sulle funzionalita del modem.
stringhe di connessione,stringhe di forzatura, metodi di traslazione dati
avanzati ecc.
insomma, tutto quello che avete datelo.
è di vitale importanza nel mio lavoro
lu...@tin.it

 wrote:

Ciao Luca, all'URL che riporto qui stotto, alla voce modem, trovi
qualche informazione
Un saluto
Francesco Longo
--------
dizionario informatico:
www.dsi.unive.it/~flongo/diz
--------

Newsgroup: it.scienza.informatica
Titolo: Nevanlinna o Turing?

Salve,
ho una domanda un po' insolita e forse un po' OT:
Quale tra Premio Nevanlinna e Premio Turing e' secondo voi il premio
piu' prestigioso? Quello a cui un informatico puo' ambire come
traguardo massimo in questo settore?
C'e' da dire che il primo premia scoperte di tipo "info-matematico"
mentre il secondo premia risultati di natura forse piu' applicativa ed
e' chiamato anche "Premio Nobel del calcolo automatico" e quindi non
proprio legato all'informatica in quanto scienza.
Grazie



A quale di questi aspireresti?

> A quale di questi aspireresti?
Tra i 2, credo che il piu' prestigioso sia il premio Turing.
Tu?



Entrambi e` meglio.
Newsgroup: it.scienza.informatica
Titolo: Archivio algoritmi

Mi sento di riprendere parola, fra una capatina all'Università e
l'altra...
- Il sito consigliato da "il prof" è veramente bello. Le "numerical
recipes" sono fra le migliori funzioni di calcolo matematico, e inoltre
sono anche molto ben documentate, quindi volendo si possono usare anche
soltanto per motivi di studio. Il loro più grande difetto è che sono
copyright dell'Università di Harvard.
- Se qualcuno ha un'idea su come trovare il posto per il newsgroup o la
mailing list, mi sembra che tutta questa discussione si possa FIN D'ORA
spostare in quella sede. Siamo già in un po', non mi sembra male
continuare. Semmai, potremmo fare qualche riassunto da mandare agli
amici di it.scienza.informatica, per ricordar loro che esistiamo.
Personalmente, preferirei il modello mailing-list: è più comodo da
scaricare, e non hai il problema di vedere se il newsgroup è mirrorato
sul tuo server...
- Ovviamente ogni algoritmo può puntare ad altri, non si riscrive tutto
il lavoro. Buona l'idea di rendere alcuni "link" generici, come
nell'esempio del "sort" che si può fare nel modo che si preferisce.
Buon lavoro a tutti e grazie dell'attenzione.
                            Matteo
--
E-mail: 
merlin...@comune.cento.fe.it

spostare in quella sede.
Prova 
http://www.makelist.com
 ho appena iniziato una mailing list e mi
sembra offra un ottimo servizio.
--
Fabio Forno
"Vi aspetta l'esplorazione delle ignote possibilita' 
dell'esistenza" - Q in "All Good Things..."
=============================================
scia...@inorbit.com
http://rampage.ml.org/sector1/~sciasbat/

sul tuo server...
Ripeto: restate in linea. MakeList come consigliato da Fabio e' buono,
ma forse riesco ad avere gia' tutto in un colpo solo (spazio ML,
archivio, web ed ftp) il che non sarebbe affatto male... ^_^
Bye, Luca.
--
Luca Ugolotti
E.PRO.M. s.r.l.
epro...@tin.it

Newsgroup: it.scienza.informatica
Titolo: Lista server news

    Chi sa dirmi dove trovare una lista si server di news?
Vi ringrazio
Max


Su    it.faq

 Max
Prova a guardare qui 
http://www.jammed.com/~newzbot/
 dovrebbero
essercene abbastanza...
Ciao,Luca.
-- 
*******************************************************
  "C'e' un vecchio detto a riguardo delle reti che    
  recita: i problemi di banda possono essere risolti  
  con il denaro. I problemi di latenza sono piu' dif- 
  ficili poiche' la velocita' della luce e' una cos-  
  tante e non e' possibile corrompere Dio."           
 
                                     David Clark, MIT 
  Reply to 
bia...@maganet.net
*******************************************************
Newsgroup: it.scienza.informatica
Titolo: equazioni di ricorrenza

Ciao a tutti,
vorrei sapere come si risolve e che soluzione ha la seguente equazione
di ricorrenza:
T(n)= 3*T(n/3)+b per  n>=3 e T(n)=a per n=1,2, con a,b costanti.
Grazie!!!

Provo ad esprimere in formula chiusa la ricorrenza:
         |  T(2)=a
T(n) =|
         |  T(n)=3T(n/3) + b per n>=3
sperando di non aver fatto errori.
***Esprimo SUM (j=c;p(j);k) come la sommatoria che va da j=c
fino a k di p(j)*********************************************
****mi riferisco a log indicado sempre un logaritmo di base 3***
1)Riscrivo la parte induttiva ponendo n=3^m ottenendo
               T(3^m)=3T(3^(m-1))+b
2)Sostituisco ad m 0)m+0; 1)m+1; 2)m+2......i)m+i
                0)T(3^m)= 3T(3^(m-1))+b
                1)T(3^(m-1))= 3T(3^(m-2))+b
                2)T(3^(m-2))= 3T(3^(m-3))+b
                 .
                 .
                 .
                i)T(3^(m-i))= 3T(3^-(i+1))+b
3)Effettuando sostituzioni si ha

Newsgroup: it.scienza.informatica
Titolo: La trasposta di una matrice

Un problemino facile facile...
Chi mi sa suggerire un algoritmo che faccia la trasposta di una
matrice (dimensioni dell'ordine del centinaio di MB) memorizzata per
righe in modo da minimizzare gli accessi al disco e l'utilizzo della
memoria virtuale?
Grazie
___
Fabio Forno
"Vi aspetta l'esplorazione delle ignote possibilita' 
dell'esistenza" - Q in "All Good Things..."
=============================================
scia...@inorbit.com

Ci ho pensato un po', la matrice è molto grande, ti devo fare una domanda:
la matrice trasposta la devi leggere tutta per righe o ti serve solo qualche
dato qua e là? Perché la soluzione più veloce ed economica che mi viene in
mente è leggere la stessa identica matrice con un altro algoritmo che la
interpreti per colonne, senza dover quindi creare un'altra matrice.
Fammi sapere, mi hai stuzzicato la curiosità!
Michele

...


 
In ogni caso le matrici grandi andrebbero memorizzate per blocchi, non
per righe o per colonne...
-- 
# Giorgio Vecchiocattivi.
# Dip. Informatica, Universita` di Pisa. 
---
E` in corso la CFV per la moderazione di it.scienza.informatica.
Se siete interessati leggete l'aritcolo su it.news.annunci

per righe o per colonne...
Rispondo a tutti qui precisando il problema. La matrice e'
rettangolare ed e' composta (per fare dei numeri che precisino il
problema) da 100 righe di 100000 valori (sono 100 vettori che posso
calcolare nella parte precedente del programma solo sequenzialmente).
Per come viene calcolata quindi non posso fare a meno che salvarla per
righe. Il problema e' che tutte le elaborazioni successive usano
pesantemente i 100000 vettori che costituiscono le colonne,
costringendomi a 100 accessi al disco ciascuno... Dovendo fare solo
questi tipi di accessi mi sembra logico memorizzarla per colonne, ma
non trovo nessun metodo efficiente per la trasformazione....


per righe o per colonne...
Naturalmente
Ciao

Newsgroup: it.scienza.informatica
Titolo: Progettare un software: ci vuole un ingegnere?

Ciao,
per preparare e firmare un progetto di un impianto di rete LAN,
secondo la Legge 109/91, un professionista deve essere iscritto ad un
albo, quindi di fatto sono gli ingegneri le persone abilitate a farlo
(o forse anche i periti).
Nell'ambito dello sviluppo software ï¿œ la stessa cosa?
Esistono dei casi nei quali solo un ingengere puï¿œ firmare
un progetto di un software?
Grazie.

 un progetto di un software?
No.

 No.
E' importante questa discussione perch�
mi � capitato spesso di sentirmi dire
che l'ingegnere informatico pu� firmare
progetti ed il dottore in informatica no.

 progetti ed il dottore in informatica no.
Si, l'ho sentito anche io.
ognuno tira acqua al suo mulino, e ci sono associazioni che pagano
cene a deputati e senatori.
e tra l'altro chi parla di "firmare" un progetto di informatica
tipicamente non ha la piu` pallida idea di che diavolo sta parlando
(firmare che?)
Ciao

 (firmare che?)
Infatti, ma a volte � imbarazzante sentirsi dire
che l'ingegnere sarebbe "superiore" a tutti gli altri.
Nel corso di uno stage sullo sviluppo software,
a cui ho partecipato presso un'azienda del Gruppo
Siemens, ho incontrato tra i tutor esclusivamente
o quasi ingegneri.
Sembra che molte realt� aziendali preferiscano chi
� iscritto ad un albo, in questo caso ingeneria,
rispetto a tutti gli altri.
Forse mi sbaglio...

 rispetto a tutti gli altri.
Guarda che per iscriverti all'albo nel settore "Informazione" non devi
essere per forza Dottore in Ingegneria. Puoi essere anche Dottore in
Informatica.
-- 
-riko

Enrico Franchi ha scritto:

Ho scritto che i dottori in informatica non possono
fare l'esame di stato per diventare ingegneri?
Inoltre, per diventare ingegnere devi appunto superare l'esame di stato,
ma per farlo � necessario studiare di pi�, in quanto il corso
di laurea in informatica e quello di ingegneria informatica
non sono del tutto sovrapponibili, dal punto di vista dei piani
di studio intendo.

 di studio intendo.
I piani di studio variano da leggermente diversi a decisamente diversi.
Ma vai a vedere cosa ti viene richiesto per l'esame di stato e dimmi
cosa tipicamente non si fa ad informatica.
-- 
-riko

 cosa tipicamente non si fa ad informatica.
Cosa viene richiesto? Scrivilo.

 Cosa viene richiesto? Scrivilo.
Perche' dovrei? C'e' materiale in rete mi sembra, prove di esempio,
whatever. Provato ad usare google?
Sei in vena di maldestro trolling?
-- 
-riko

Newsgroup: it.scienza.informatica
Titolo: HP

Devo comprare una stampante HP.
Sono indeciso sui seguenti modelli:
1) HP 710 472.000 £ (i.i.)
2) HP 890 620.000 £ (i.i.)
3) HP 895 CXI 684.000 £ (i.i.)
Qualcuno ha gia' uno dei precedenti modelli?
Grazie
Giuseppe Vatinno

...

Newsgroup: it.scienza.informatica
Titolo: Mini Disk SONY

salve a tutti,
qualcuno sa se č possibile usare i minidisk della SONY come dischetti per il
computer?? e se sě, come?
grazie
Federico

 computer?? e se sě, come?
Anzitutto sei mostruosamente OT (fuori tema), visto che qui si tratta
l'informatica teorica - che nulla ha a che fare con il minidisk SONY.
Detto ciň, mi duole comunicarti che il minidisk č *magneto-ottico*, ovvero il
metodo di "incisione" č quello dei CD-RW; ovviamente ciň implica che un floppy
magnetico da PC (anche quelli da 100Mb) non potranno assolutamente andare bene.
saluti,
	Denis
Newsgroup: it.scienza.informatica
Titolo: File system

Cerco qualsiasi notizia riguardante i File system di linux, windows NT e Unix.
Ringrazio fin d'ora tutti quelli che mi aiutino.

 Ringrazio fin d'ora tutti quelli che mi aiutino.
Sull'ext2fs c'e' un articolo questo mese sul Pluto Journal,
lo trovi a 
http://www.pluto.linux.it
-- 
Davide   |`. /\      
albe...@usa.NO-SPAM.net
      | PGP KeyID:
Alberani |__)~~\ 
http://members.xoom.com/alberanid/
 | 0xD0354739

Questa e una domanda non molto chiara. Faccio qualche commentario, e doppo si e
sul questo discorso che ne vuoi possiamo farlo piu profondo. Si no, sia un puo piu
specifico per potter aiutarlo meglio.
Prima, devo chiedere scisi, pero da anni che sto in Brasile, e non so piu scrivere
italiano.
L'Unix (anche il Linux) viene da un lungo periodo di sviluppo per diverse
univercitta e aziende. Allora, esistono norme internazionalle a rispetto di
diverse caracteristiche dal sistema operativo, pero, niente specialle tra i file
server. Questo per che, comme ci sonno degli standard per CD-ROM (CDFS), nastri
(tar e cpio), pel il File Transfer (NFS) ed altre, non ce bisogjo utilizzare lo
stesso sistema di file server, perche i file possono essere scambiatti
normalmente.
Cosi tutti implementazione dell"Unix ce il suo proprio FS, perche questo non
centra alla operazione, e cosi i fornitori svillupano quello che voglinno,
vendendo soluzione che possano essere piu sicure e/o veloci.
Il NT puo lavorare con la FAT o il NTFS.
La FAT, non racommandatta per non avvere sicurezza e la stessa dell'antico DOS. Il
NTFS e una evoluzione sul HPFS svillupato con la IBM durante il progetto dell
OS/2. con relazione a questo, la diferenza e la sicurezza, o sia, nel NTFS si puo
restringere l'acesso i file o diretorio.

Newsgroup: it.scienza.informatica
Titolo: Beta-testing

Scusate, qualcuno mi potrebbe spiegare che cos'è un beta-testing?
Grazie ciao
cpb...@tin.it

Grazie ciao
questo termine è usato quando qualcuno prova un programma ancora in versione
beta.
Molte volte fra amici facciamo programmi e ci chiediamo fra noi chi vuole
fare da beta-testing, cioè quella persona che prende il programma creato, lo
testa e ti informa dei risultati ed eventuali bug riscontrati ecc.....
Insomma è aiuto per il programmatore che poi dovrà (se necessario)
correggere quanto suggerito e distribuire la versione finale del programma.
Ti saluto......alle prossime !!
Buon millennio !!
Antonio Tarolla

Scusate, qualcuno mi potrebbe spiegare che cos'è un beta-testing?
Il beta-testing e' il test su strada di un programma.
Generalmente una casa software, prima di rilasciare la versione
definitiva di un programma, lo manda a diversi suoi collaboratori
sparsi in tutto il mondo per farlo testare. La versione di questo
programma e' quindi chiamata "beta", nel senso che non e' ancora
affidabile e durante questo periodo vengono riportati i vari bug.
Una volta che i bug vengono messi a posto, il programma e' pronto per
uscire in versione ufficiale.
--
Andrea Laforgia
andrea_...@bigfoot.com

 
cpb...@tin.it
di solito quando si realizza un programma complesso e' necessario provarlo
in modo esteso per molte ragioni, la prima e' quella di riscontrare
eventuali inevitabili errori, ma e' molto importante anche valutare la bontà
e l'utilizzazbilità della interfaccia, la partabilità su diversepiattaforme
e su hardware diverso ed ilcomnportamento con dati reali.
Per tutto questo non appena pronta una versione appena appena funzionanete
viene numerata ed indicata con una sigla che inizia con la lettera alfa per
indicare che il test dovrà essere fatto all'interno della organizzazione che
ha scritto il programma
Quando le cose sono mature si passa alle versioni beta che sono ancora
preliminari e sono distribuite a organizzazioni e persone all'esterno della
sofdtware house che si impegnano a riportare propblemi e fornire
suggerimenti.
L'uso di copie alfa o beta all'infuori di un contratto specifico oltre che
illegale puo' essere molto pericoloso.
--
Roberto Dadda
rob...@dadda.it
http://roberto.dadda.it

Newsgroup: it.scienza.informatica
Titolo: Quale linguaggio funzionale

Mi serve un consiglio:
vorrei affrontare la programmazione funzionale,
secondo la vostra esperienza da dove mi conviene iniziare? 
quale linguaggio prendere in considerazione?
-- 
BGM



Lisp, Caml, OCaml
Di questi ho usato solo Caml e mi e' bastato. ;)
  Raffaello

> > quale linguaggio prendere in considerazione?
Haskell va forte di questi tempi


Potresti cominciare leggendo il sicp.
Praticamente è il testo su cui si basano i corsi del MIT.
Lo trovi anche online: 
http://mitpress.mit.edu/sicp
Parla in generale di programmazione. In particolare di programmazione 
funzionale. Accenna a Lisp e altri. Ma è abbastanza incentrato su Scheme 
(che è un linguaggio funzionale semplice e potente).
Newsgroup: it.scienza.informatica
Titolo: clustering

Problema: ho migliaia di punti in uno spazio 2D caratterizzati dalla loro
posizione (valore,possibilità) e dalla loro molteplicità
Li visualizzo in un diagramma a bolle in cui il raggio di ogni bolla
rappresenta la molteplicità
I punti tendono ad addensarsi in 2 o più zone (visivamente)
Mi servirebbero delle informazioni (algoritmi, metodi, ...) su come
determinare quali sono queste zone tramite un'analisi dei dati (l'elenco dei
punti)
Qualcuno ha qualcosa a riguardo? (in particolare mi servirebbe
un'implementazione capibile di un algoritmo di fuzzy clustering tipo il
cmeans)
Grazie


Proporrei una rete neurale.
Se sai già quante sono le zone, una feed-forward con back-prop fa al caso
tuo.
Altrimenti una rete di Kohonen
Se ti colleghi al NG comp.ai.neural-nets e scarichi le FAQ, trovi tutto,
software gratuiti compresi.
Devi ovviamente studiarti un pochino come funzionano, ma se devi solo usarle
credo tu possa fare in fretta.
--
Alessandro Monti

 I punti tendono ad addensarsi in 2 o più zone (visivamente)
prova con una rete neurale SOM (SelfOrganizedMap) dovrebbe funzionare. Il
grosso problema di queste reti è il non sapere a priori quanti sono i
cluster, ma non è il tuo caso.
Se vuoi due dati in più scrivimi e ti rispondo.
ciao
  ste
stes...@libero.it

Newsgroup: it.scienza.informatica
Titolo: Iterazione vs Ricorsione

Ciao a tutti,
ho "ereditato" del codice da modificare/estendere/mantenere/blablabla. 
All'interno di questo codice (in C#) c'è un metodo di cui sto testando 
il funzionamento. Tale metodo è ricorsivo e funziona *bene*. Analizzando 
bene l'algoritmo però mi sono reso conto che anche una soluzione 
iterativa sarebbe possibile.
Vi chiedo: ha senso scegliere una implementazione iterativa piuttosto 
che lasciare quella ricorsiva?
Ciao,
Giulio
-- 
http://www.giuliopetrucci.it
http://www.myspace.com/fujikomonamourtheband

che lasciare quella ricorsiva?
Se funziona bene, a che scopo modificarlo?
Personalmente lo modificherei solo in uno dei due seguenti casi:
-Se il profiling rileva che tale metodo e' un collo di bottiglia,
nella speranza che l'implementazione iterativa risulti piu' efficente.
-Se ci sono rischi di riempire troppo lo stack di chiamata.
Ciao,
Natale Fietta
Newsgroup: it.scienza.informatica
Titolo: sviluppo di un algoritmo generico (parte 2)

Innanzitutto grazie per le risposte che mi avete fornito.
Per quanto riguarda il problema cerco di spiegarmi meglio:
Io voglio creare 2 insiemi A e B in cui A contiene le stringhe in
"chiaro" mentre B le corrispondenti "cifrate".
Per quanto riguarda la biunivocita' intendevo dire che la stringa
dell'insieme B convertita (cifrata) da una dell'insieme A deve
permettermi di risalire a quella dell'insieme A senza ambiguità .
Dalle prime risposte ottenute penso che potrei mettere dei vincoli
tali da ridurre il numero di combinazioni possibili in A ad essere
uguale a quello in B.
In poche parole sto' cercando di capire come si deve ragionare nella
conversione di un codice in chiaro in uno cifrato e viceversa.
grazie
saluti

 uguale a quello in B.
Se l'algoritmo può essere mantenuto segreto (ipotesi spesso ragionevole, se
l'applicativo è sufficientemente "piccolo"), un semplice algoritmo di
compressione può bastare, e non hai bisogno di vincoli.
Altrimenti puoi semplicemente "numerare" le stringhe ammissibili ed usare
quel numero come cifratura. Nota che o predisponi un array di 10^10
elementi, oppure esegui la numerazione tramite un algoritmo che tieni
segreto.
Se invece l'algoritmo non può considerarsi segreto (ed è il caso delle
codifiche "reali"), allora dovresti cercare in letteratura, ma prima di
tutto devi specificare bene i vincoli. Nota che potresti ancora pensare di
"numerare" le stringhe ammissibili, e poi cifrare quel numero.
Ciao
--
Alessandro Monti
Newsgroup: it.scienza.informatica
Titolo: SIntesi sonora e PC

Vorrei capire più approfonditamente come si possa realizzare la sintesi
sonora con l'aiuto di un elboratore elettronico.
Mi incuriosisce in particolare le SIntesi a Modelli Fisici.
Purtroppo i testi che ho trovato sull'argomento sono complicati e di non
semplice accesso poichè danno troppe cose per scontate.
Qualcuno saprebbe consigliarmi un sito o un testo da cui partire ?

Cosa intendi? Sintesi vocale? Se si scrivimi in privato.

Newsgroup: it.scienza.informatica
Titolo: dove trovare le normative? privacy dei dati..leggi per relative all'informatica?

Salve,
Spesso si scrivono programmi ignorando alcune problematiche come ad
esempio:
-problemi di privacy per i dati delle persone in un database
-responsabilità per cose scritte nei siti (vedi forum ecc...)
-comunicazione di dati di altre persone
-gestione di informazioni
ecc...
Vorrei conoscere di piu' su questi lati "oscuri" e spesso dimenticati dai
programmatori.
Come posso fare?
Dove posso prendere informazioni.
Grazie,
Mario. 

 programmatori.
Ottima iniziativa.
La miglior cosa da fare e' studiare direttamente le normative, tra cui ad
esempio quelle relative a:
*) privacy e protezione dei dati - 
http://www.garanteprivacy.it/
Rif.: D.Lgs 196/2003 e L.675/1996 
*) accessibilita' siti - 
http://www.pubbliaccesso.it/
Rif.: L. 9 gennaio 2004, n. 4 (Legge Stanca)
*) diritto d'autore; editoria...
Rif.: L. 633/41 e successive modifiche; L. 62/01
Per chi fosse interessato a contattarmi, la mia email e' a disposizione...
Link: 
http://discussioni-ingegneria.forumcommunity.net/
-- 
questo articolo e` stato inviato via web dal servizio gratuito 
http://www.newsland.it/news
 segnala gli abusi ad 
ab...@newsland.it

 programmatori.

Newsgroup: it.scienza.informatica
Titolo: Verificare le tautologie

Vorrei sapere come posso fare per verificare se una espressione
logica (per esempio   (a and b) or c -> d) ) è una tautologia
cioè è sempre vera indipendentemente dai valori che si andranno
ad associare alle variabili logiche.
Il punto cruciale è che non posso generare l'intera tabella di verità
dell'espressione.
Grazie a tutti.
Davide.
-> it.scienza.informatica (Moderated)
%followup-to
it.scienza.informatica

Salve
puoi provare che non lo e' ovvero che esiste almeno
un assegnamento di valori per cui l'espressione e'
falsa...
Cheers
Yuri


 dell'espressione.
Credo che il tuo sia un problema NP-completo, pertanto
non dovrebbe esistere un algoritmo deterministico per
risolverlo.


 risolverlo.
ome ho tentato di scrivere in passato (il post e` stato cassato per 
ragioni misteriose) e` NP-completo (e` un problema famoso si chiama
problema di Satify... o SAT) ed e` risolvibilissimo in modo deterministico
ma non in tempo polinomiale. Esiste anche un algoritmo relativamente
efficente dovuto a putnam e davies per risolverlo.
Ciao R. "che la prossima volta che viene cassato sarebbe carino spiegargli
il perche`"
-- 
E-Mail 
rc37...@silab.dsi.unimi.it
 | "CARLO HA TORTO: QUESTA E` LA MIA FEDE"
Roberto Corda, detto anche Coso    | "Gli ultimi esami non finiscono mai"


 dell'espressione.
Se scarichi quine20.zip da un qualsiasi sito Simtelnet (puoi
individuarlo con 
http://ftpsearch.lycos.com
), trovi, all'interno
del file, il programma tfeval.pas. Data una formula del calcolo
proposizionale, il programma determina se essa sia valida (cioe`
una tautologia), contradditoria o non-contraddittoria. Anche se il
problema generale e` NP-complete, in pratica, per formule con un
numero realistico di variabili, l'algoritmo usato (quello, di tipo
"branch and bound", descritto da Quine in _Methods of Logic_) e`
estremamente veloce.
Il programma e` in Standard Pascal e si dovrebbe poter compilare con
qualsiasi compilatore. Non sarebbe neanche difficile tradurlo, se
necessario, in un altro linguaggio. Il codice e` di pubblico dominio e
quindi si puo` utilizzare liberamente.
-- 
   Gianfranco Boggio-Togna
   Milano 

Newsgroup: it.scienza.informatica
Titolo: aiuto

Per favore qualcuno potrbbe essere così gentile da spiegarmi cosa devo fare
per installare quei programmi scaricati via internet che
quando li vado ad aprire si aprono con notepad o wordpad e risultano essere
un guazzabuglio di geroglifici  incomprensibili?
Cosa devo fare per installarli?

Per favore qualcuno potrbbe essere cosě gentile da spiegarmi cosa devo fare


>Per favore qualcuno potrbbe essere così gentile da spiegarmi cosa devo




>    qual'e'  l'estensione di questi file? (ES: .zip)
Appunto....... se e' un .zip devi avere pkzip, oppure winzip o qualcosa di
simile per aprirli........in ogni caso devi vedere a quale programma e'
collegata l'estesione .........forse e' un problema di configurazione
.......
CIAO!
===========================================
"Questa è una nave moderna....... ma ha un nome antico e glorioso.........
trattala come una signora........ e ti tiporterà sempe a casa"
ri...@interplanet.it
numerou...@yahoo.com
will_h...@geocities.com

>Per favore qualcuno potrbbe essere cosě gentile da spiegarmi cosa devo




Allora:
.rar     è un metodo di compressione tipo PKZIP o ARJ e per aprirli devi
avere un utility apposta.
.001, .002, .003, .004 ecc... potrebbero (quasi sicuramente) essere archivi
ARJ. Anche quì dovresti avere l'utility arj (ARJ.EXE) che si trova facilemte
in rete (in shareware).
.exe    Non penso che si possano scaricare direttamente file .exe. Ma,
comunque per farli partire una volta che si hanno in una cartella basta
cliccarci sopra 2 volte (o se usi il dos, scrivere il nome del file e dare
l'invio).
Unico appunto...mi sembra molto strano che tu abbia trovato siti che
forniscono file compressi con un così desueto metodo di compressione (arj e
rar). Io non li vedo più da quando ero a scuola...(sebbene continui ad
usarli!!!).
Ciao Dade
----------------------------------------------------------------------------
-----------
ATTENZIONE: PREMENDO  IL TASTO 'REPLY TO'
TROVERETE UN INDIRIZZO FITTIZIO ANTI SPAM.
CONSULTARE   LA   FIRMA    ELETTRONICA  PER
RISPONDERE IN PRIVATO.
----------------------------------------------------------------------------
------------
Davide 'Dade' Mastromatteo
dadem...@geocities.com
IRC Nickname: Ass0
WebMaster del primo sito Italiano di Jimmy Somerville
www.geocities.com/SunsetStrip/Backstage/8059/
js...@geocities.com
MastrOSoft : Heaven is Here (And the Hell too!)
www.geocities.com/Eureka/Concourse/1947/
mastr...@iol.it
Abbiamo Costituito Una Zona Neutrale Che Regnerà Per Sempre
www.geocities.com/Soho/Museum/9133/
------------------------------------------------
A volte abbiamo bisogno di fare tutto quello che ci salta in
testa per capire quello che vogliamo......
The best Internet's sailor...




Newsgroup: it.scienza.informatica
Titolo: Computer quantistico

Ciao a tutti!
Tempo fa si era parlato di computer quantistici, ma erano rimasti
(almeno a me dei dubbi) che ora ho chiarito. Per chi e' ancora
interessato, fornisco la risposta all'ultimo quesito/dubbio rimasto.
Gli algoritmi noti sono pochi. Uno di questi e' l'algoritmo di Shor
per fattorizzare un numero in fattori primi. E' noto che tale problema
e' NP (ma non NP-completo!), ma un computer quantistico lo risolve in
tempo polinomiale.
Ad ora, gli algoritmi risolvibili in tempo polinomiale da un CQ sono
tutti nella classe NP.
Nessuna soluzione quantistica a problemi NP-Completi e' per ora nota.
La classe di problemi NP-completi rimane quindi ancora "insoluta" sia
nel regno classico che in quello quantistico.
Per ora almeno le cose stanno cosi', in futuro si vedra'!
Ciao!

 Per ora almeno le cose stanno cosi', in futuro si vedra'!
Ciao, ti ringrazio per aver riaperto la questione, in effetti il dubbio mi
era rimasto!
Hai qualche riferimento interessante?
-- 
http://icaro.blogspot.com
°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°
                        "Dove andiamo?"......"Sempre a casa"....
°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°~.,_,.~°

 Hai qualche riferimento interessante?
Purtroppo non ricordo l'articolo in questione e il resto per quanto
riguarda i CQ lo ho letto da una tesi di dottorato in fisica.
In rete c'e' comunque veramente tanto e se vuoi leggere facilmente
qualche articolo, anche non troppo tecnico, fai una ricerca su
xxx.lanl.gov
 per argomento.
Ciao!

> > Hai qualche riferimento interessante?
Quantum computation  and quantum information, nielsen and chuang
Ciao!

Newsgroup: it.scienza.informatica
Titolo: Ricerca Operativa

Qualcuno conosce un qualche programma per la risoluzione dei problemi di
Programmazione Lineare usando il metodo del Simplesso??
Grazie  Luca

Programmazione Lineare usando il metodo del Simplesso??
Quanti ne vuoi: guarda per esempio
http://plato.la.asu.edu/guide.html
http://www-unix.mcs.anl.gov/otc/Guide/faq/linear-programming-faq.html
                                    Ciao
                                    Antonio
P.S. Ci sono anche altri metodi, a parte il Simplesso, che in molti casi
     vanno pure meglio. Si, lo so, nei corsi non si insegnano ancora, ma
     ci sono.
Antonio Frangioni                      Research Associate  |  I have gained ...
Dip. di Informatica - Corso Italia 40 - 56125 Pisa, Italy  |  the colour of the
Ph +039-50-887216                
www.di.unipi.it/~frangio
  |  corn.   [Exupery]

LILO, dispnobile in demo
Lo trovi con altavista o 
shareware.com
Cheers
Yuri
PS La moderazione fa "aonco a' bahi"
Traduco: "fa schifo ai bachi"
Newsgroup: it.scienza.informatica
Titolo: Programmi che generano programmi.

Ho sentito parlare per caso di "programmi che generano programmi" si
tratta forse di UML, o qualcosa di piu` innovativo?
Grazie.

 tratta forse di UML, o qualcosa di piu` innovativo?
no, si tratta di cose molto piu' vecchie :D
UML è carta che genera carta (IMHO)
-- 
Under construction

 no, si tratta di cose molto piu' vecchie :D
Di cosa si tratterebbe?


si infatti sta cosa la ricordo quando studiavo Assembler all'università 


Senza arrivare a programmi di intelligenza artificiale che
si auto-modificano, l'esempio piu banale sono i compilatori
ed i compilatori-di-compilatori (lex, yacc, ecc. ecc.), ma
anche molta altra roba che non sembra un compilatore ma invece ...
Es. 1: La maggior parte dei centri di lavoro (macchine utensili
        che fresano, forano, cambiano utensile in automatico, ecc.
        ecc.) riceve dei veri e propri programmi (i part program, di
        solito scritti in un qualche dialetto G-code dello standard
        RS-274 ) che descrivono tutti i movimenti da fare.
        Spesso quei programmi sono generati automaticamente
        da programmi che analizzano i disegni 3D dei pezzi da ottenere
        oppure che ricevono in forma visuale le operazioni da eseguire
        (es: al disegno "base" l'operatore aggiunge un elemento
             che corrisponde ad una foratura ed il programma poi
             genera il part program che esegue la foratura
             su quel tipo di pezzo tenendo conto delle sue dimensioni
             e del tipo di utensile da utilizzare);
Es. 2: programmi tipo IsAGraf "compilano" i diagrammi ladder
        e function block (vedi standard IEC-61131-3) in codice C
        oppure codice interpretato da eseguire su PLC;
Es. 3: i programmi per la progettazione di chip
        (l'operatore "disegna" schemi circuitali ed il programma
         genera la RTL che da scaricare sull' FPGA oppure
         per generare le maschere per "implementare in hardware"
        lo schema);
Es. 4: i virus polimorfici, oltre a replicare se stessi
        si auto-modificano in modo da rendere piu difficile la
        loro identificazione.
L. Micheletto

Mi permetto di fare una piccola aggiunta, non tutti i programmi
possono essere generati, da altri programmi per il teorema di Rice, e
grazie a tale teorema noi informatici possiam lavorare tranquilli,
nessuna macchina ci potrà sostituire :P
Paggio
Newsgroup: it.scienza.informatica
Titolo: Programmazione Logica - alcune definizioni

Nella programmazione logica si parla si Universo e Base di Herbrand, che
fanno riferimento a predicati e funtori.
Qualcuno può spiegarmi come capisco in delle formule logiche cos'è un
predicato e cosa un funtore?


Dal... diciamo... "tipo"
un funtore (o funzione) prende elementi del dominio, e fornisce come 
risultato elementi del dominio
un predicato prendere elementi del dominio, e fornisce come risultato un 
vero/falso.
Quindi:
P(x) and P(f(x))
P sara' predicato, f sara' funzione.
-- 
/**
  * Mattia Belletti - Undergraduate student @ 
cs.unibo.it
  * ICQ: 33292311   - email: 
mbel...@cs.unibo.it
  * IRC: BluShine   - site(s): 
http://cs.unibo.it/~mbellett
  * Linux registered user 299762 @ Linux registered machine 213003
  */

Newsgroup: it.scienza.informatica
Titolo: Scaricare file Internet con FTP, come si fa?

Ho letto che tramite i server FTP è possibile fare il download dei file
facendoseli comodamente ,andare via posta elettronico, interi oppure
scomposti in tanti sottofile da ricomporre poi una volta ricevuti.
Vorrei però conoscere le metodologie per fare ciò, in modo particolare so
che  si deve inizialmente mandare un e-mail ad un server che consenta lo
scaricamento FTP (gli indirizzi si trovano con un motore di ricerca in
Internet), al quale devo specificare da dove prelevare il file che mi
interessa e a quale indirizzo e-mail mandarlo.
Il problema sta nel sapere l'indirizzo giusto dal quale prendere il file.
Vorrei saperne di più al riguardo, spero che qualcuno possa aiutarmi!
E-mail 
crist...@iol.it
 (fino al 22 Maggio)
Nuova e-mail: 
pag...@freemail.it

usa cuteftp
walter

...
|usa cuteftp
|walter
|
|

 richiesti tramite e-mail?
No, non e' possibile a meno che non sia un servizio del sito a cui ci si
collega. Comunque ho saputo che amalfinet (
www.amalfinet.it
?) fa un
servizio del genere, cioe' tu gli passi il file da scaricare e loro te
lo scaricano in batch e poi te lo inviano via posta, in modo che tu lo
possa scaricare alla massima velocita' consentita dal tuo provider.
						Ciao

richiesti tramite e-mail?
puoi farlo anche per il www... fai cosi':
procurati il testo "Accessing The Internet By E-Mail", ottenibile
tramite invio a
 
mail...@mailbase.ac.uk
 
di un messaggio con il body costituito dal solo comando
  send lis-iis e-access-inet.txt
ciao!
  gabriele
--
gabriele zugliani - student at pisa univ. (dept. of computer science)
linux docs: 
http://ildp.psy.unipd.it
 
http://sunsite.unc.edu/LDP
==> NOTE: TO REPLY PLEASE REMOVE "NZPM" FROM THE ADDRESS.

Newsgroup: it.scienza.informatica
Titolo: Problemi aperti Informatica

Quali sono secondo voi i problemi ancora irrisolti nel campo 
dell'informatica?

 dell'informatica?
Per esempio: P=NP.
( 
http://it.wikipedia.org/wiki/Classi_di_complessit%C3%A0_P_e_NP
 )
Buon divertimento.

 dell'informatica?
scherzosamente ma non tanto:
- gli utenti 
- i boss degli utenti
ciao 

 - i boss degli utenti
Questi sono problemi gia' risolti: hon ammettono soluzione.

 dell'informatica?
Windows