.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- ??? Secondo compitino ??? (http://www.dsy.it/forum/showthread.php?threadid=38323)

??? 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


grazie a tutti

il secondo compitino è il 25 maggio..
x il terzo stiamo decidendo la data. le date probabili sono: 10 giugno o 15 giugno.

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

ps. sai se gli argometi trattati saranno quelli della dispensa "introduzione alla logica matematica"??

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.

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

sai ke sinceramente nn saprei dirti! nn l'avevo mai visto a lezione =>. lunedi chiederò cosa significa

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

al max se ho ulteriori dubbi tornerò a disturbarti

 

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

io spero di no...altrimenti sarà dura passare

 
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

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.

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.

carla hai notizie su quel simbolo "=>"???

allora=> vul dire implica ->.
tutte le condizioni prima del => le metti con la and -> tutte le condizioni prima le metti con la or.

scusami ma non ho capito bene

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 -->??