Dsy Network>  www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > ??? Secondo compitino ???
Pages (2): [1] 2 »   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Question ??? Secondo compitino ???

salve a tutti....qualkuno per caso sa quando si svolgerà la seconda prova di logica??
e sopratutto...dove posso trovare dei temi d'esame di quest'ultima???
sul sito ci stanno soltanto quelle inerenti al primo compitino e al terzo :sad:


grazie a tutti
04-05-2009 20:18
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
carla86
.illuminato.

User info:
Registered: Dec 2006
Posts: 219 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 6 Days, 21:40:54 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

il secondo compitino è il 25 maggio..
x il terzo stiamo decidendo la data. le date probabili sono: 10 giugno o 15 giugno.
04-05-2009 21:27
Click Here to See the Profile for carla86 Click here to Send carla86 a Private Message Find more posts by carla86 Add carla86 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

grazie mille...io mi sarei preparato per l'11 maggio :D

ps. sai se gli argometi trattati saranno quelli della dispensa "introduzione alla logica matematica"??
04-05-2009 21:38
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
carla86
.illuminato.

User info:
Registered: Dec 2006
Posts: 219 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 6 Days, 21:40:54 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

gli argomenti del secondo compitino sono tutta la dispensa di "introduzione alla logica elementare" (praticamente quella cn il calcolo dei tableaux). Mentre il terzo è prolog.
05-05-2009 06:24
Click Here to See the Profile for carla86 Click here to Send carla86 a Private Message Find more posts by carla86 Add carla86 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

non è ke mi sapresti dire come si traduce la freccia "=>" degli esercizi ke stanno nelle dispense (pag 25) ???

leggo e rileggo la spiegazione ma non riesco a capire XD
06-05-2009 15:42
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
carla86
.illuminato.

User info:
Registered: Dec 2006
Posts: 219 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 6 Days, 21:40:54 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

sai ke sinceramente nn saprei dirti! nn l'avevo mai visto a lezione =>. lunedi chiederò cosa significa
06-05-2009 15:48
Click Here to See the Profile for carla86 Click here to Send carla86 a Private Message Find more posts by carla86 Add carla86 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ok..grazie mille....allora aspetto una tua risposta :D

al max se ho ulteriori dubbi tornerò a disturbarti :P
06-05-2009 15:51
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
darkshadow
Are You From The Past?

User info:
Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

 

scusate ma bisogna sapere tutte le definizioni e dimostrazioni oppure come nel primo ciìompito basta saper applicare i concetti??

perchè questa volta sono davvero una mazzata le definizioni/dimostrazioni!!!

__________________
by Ð@rk§h@ÐØw
06-05-2009 15:57
Click Here to See the Profile for darkshadow Click here to Send darkshadow a Private Message Find more posts by darkshadow Add darkshadow to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

io spero di no...altrimenti sarà dura passare
06-05-2009 15:58
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
darkshadow
Are You From The Past?

User info:
Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

 
non è che per caso qualcuno che sta frequentando può postare i suoi appunti?? sarebbero molto utili x chi non frequenta il corso (motivo: lavoro).

__________________
by Ð@rk§h@ÐØw
06-05-2009 16:05
Click Here to See the Profile for darkshadow Click here to Send darkshadow a Private Message Find more posts by darkshadow Add darkshadow to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
carla86
.illuminato.

User info:
Registered: Dec 2006
Posts: 219 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 6 Days, 21:40:54 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

la prof bucalo lunedi ha detto ke il secondo compitino sarà esattamente come il primo.
ci saranno dei test sui concetti/definizioni e poi ci saranno un paio d esercizi sui tableaux ossia:
1. il ragionamento in italiano da tradurre e da verificare cn il tableaux
2. direttamente la formula da verificare con il tableaux
ovviamente in tutti e due bisogna prima negare la formula, trasformarla in fnn e poi applicare le regole del tableaux.
06-05-2009 19:03
Click Here to See the Profile for carla86 Click here to Send carla86 a Private Message Find more posts by carla86 Add carla86 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
adlucio
.simpatizzante.

User info:
Registered: Jun 2008
Posts: 16 (0.00 al dì)
Location: milano
Corso: informatica
Anno: secondo
Time Online: 12:06:56 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ciao volevo chiedervi se potete spiegarmi come si risolve il tableaux o se potete postare qualche esercizio con eventuali spiegazioni. fino ad FNN riesco ad arrivarci. Xò non riesco ad andare avanti.
10-05-2009 11:55
Click Here to See the Profile for adlucio Click here to Send adlucio a Private Message Find more posts by adlucio Add adlucio to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

carla hai notizie su quel simbolo "=>"???:D
19-05-2009 16:33
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
carla86
.illuminato.

User info:
Registered: Dec 2006
Posts: 219 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 6 Days, 21:40:54 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

allora=> vul dire implica ->.
tutte le condizioni prima del => le metti con la and -> tutte le condizioni prima le metti con la or.
19-05-2009 18:02
Click Here to See the Profile for carla86 Click here to Send carla86 a Private Message Find more posts by carla86 Add carla86 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
niko_2307
.precettore.

User info:
Registered: May 2008
Posts: 95 (0.02 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

scusami ma non ho capito bene :D:D

nel 1° esempio che abbiamo a pag 25, ad esempio, come faccio a sostituire gli and ecc se già la formula è composta da and e -->??
19-05-2009 19:51
Click Here to See the Profile for niko_2307 Click here to Send niko_2307 a Private Message Find more posts by niko_2307 Add niko_2307 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 09:39.    Post New Thread    Post A Reply
Pages (2): [1] 2 »   Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts 		HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.073 seconds (73.98% PHP - 26.02% MySQL) con 25 query.