.dsy:it.
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Avviso] Secondo compitino (http://www.dsy.it/forum/showthread.php?threadid=10431)


Posted by Lunik on 27-04-2004 18:03:

[Avviso] Secondo compitino

Il 2° compitino si terrà l'11 Maggio.

Esercizi:
Un esercizio sul calcolo (il sequente sarà dimostrabile, quindi alla fine tutti dovremo avere degli assiomi)

Un esercizio di semantica (tipo quelli fatti in una vecchia lezione)

Domandine sul linguaggio proposizionale e predicativo (se ricordo bene)


Il tutto da fare in un'ora.

That's all.

__________________
Il DSY su Facebook!!!


Posted by cavamagie on 27-04-2004 18:44:

Red face

chi lo sa un esercizio sulla semantica??
io non me li ricordo... quando li abbiamo fatti e che forma hanno??

__________________
il suono si propaga nell aria
ma noi siamo pronti per carpirlo
cavamagie wawe


Posted by Lunik on 27-04-2004 19:24:

la lezione prima del 20 aprile.. io non c'ero :(

e il tipo non lo so.. devo vedere bene questa parte :roll:

__________________
Il DSY su Facebook!!!


Posted by ripe on 05-05-2004 10:14:

Bisogna firmare a lezione per fare il secondo compitino? La dispensa è da finire fino all'ultima pagina?

Grazieeeeeeeeee

:ciao:

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Lunik on 05-05-2004 16:32:

non penso proprio che serva la firma...faranno il 2° compitino solo quelli che han passato il primo...

x la dispensa... fai fino ai contromodelli compresi..lascia stare l'ultima parte con esempi e un altro argomento che non ha fatto

ciau!

__________________
Il DSY su Facebook!!!


Posted by ripe on 05-05-2004 18:08:

Grazie Astrid... gentile come sempre!! :)

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Lunik on 05-05-2004 18:23:

:thxthx:

:D

__________________
Il DSY su Facebook!!!


Posted by Deo on 07-05-2004 13:24:

Un' imocca al lupo sincero a tutti coloro che faranno il secondo compitino..
spero che un'ora sia davvero sufficiente..anche se ho qualche dubbio..

io sono tra quei fortunatissimi studenti che non sono passati al primo..e non per cattiveria..ma mi auguro che chi ha sostenuto in passato il metodo d'esame e il tempo dato..incappi negli stessi problemi che noi poveri mortali abbiamo avuto nel primo compitino..e si renda conto dello stato in cui ci troviamo al terzo anno d'università (non d'asilo)..

grazie per l'attenzione..

__________________
Di nuovo CAMPIONI!!!
GRANDE MILAAAN!


Posted by ripe on 09-05-2004 10:13:

Qualcuno di buon cuore ha qualche esempio di esercizio con relativo procedimento da postare?? Anche cose molto semplici... :)

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Lunik on 09-05-2004 11:02:

su che tipologia?

sulla dispensa ci sono esempi utili :)

__________________
Il DSY su Facebook!!!


Posted by ripe on 09-05-2004 11:28:

Si, ho già visto quelli sui sequenti e non è niente di complicatissimo rispetto al compitino precedente. Mi manca l'esercizio sulla semantica e non capisco che tipo di domandine potrebbe fare (validità e completezza?)! :?

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Lunik on 09-05-2004 11:34:

semantica: esercizietti pag.31
questo sarà un vero esercizio, niente crocette (così credo).

X le crocette...sarà sulla teoria dei contromodelli.... :)

__________________
Il DSY su Facebook!!!


Posted by ripe on 09-05-2004 11:39:

Quindi niente di teoria sui linguaggi, le strutture... ecc ecc (quelle 4 pagine di teoria fittissima con un milione di formule incomprensibili)! :D

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by ripe on 09-05-2004 11:40:

Ah, per la semantica sono quelli! Mica l'avevo capito! :asd:

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Lunik on 09-05-2004 13:10:

Originally posted by ripe
Quindi niente di teoria sui linguaggi, le strutture... ecc ecc (quelle 4 pagine di teoria fittissima con un milione di formule incomprensibili)! :D


beh la prof ha detto che avrebbe messo (uso "AVREBBE" visto che sono sempre un mistero...):
1) Sequente che termina (ricerca dimostrazione)
2) Esercizi semantica (pag. 31)
3) Domandine sul calcolo predicativo/proposizionale: differenze...sono cavolate....guarda l'introduzione al calcolo predicativo... una cosa importante è la storia dell'indicidibilità... :)
Contromodelli: solo teoria.... :roll:


:)

__________________
Il DSY su Facebook!!!


Posted by ripe on 10-05-2004 17:24:

Il compitino è alle 10.30???

Brancolo ancora nel buio... :(

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Elex on 10-05-2004 17:47:

si, in orario di lezione quindi alle 10.30 in aula alfa


Posted by Lunik on 11-05-2004 16:15:

qualcuno aveva negli esercizi della semantica
Esiste y (Per ogni x Esiste z.....) ? sia questo che l'altro mi sono venute 4 VERE...
so che ad alcuni in questi esercizi sono risultate tutte false...

__________________
Il DSY su Facebook!!!


Posted by Lunik on 11-05-2004 16:55:

scusate...ha detto quando usciranno i risultati più o meno???
me ne sono andata prima e non ho sentito se ha detto qualcosa a riguardo..
grassie!! :)

Off-Topic:
era fattibilissimo!!

__________________
Il DSY su Facebook!!!


Posted by ripe on 11-05-2004 17:19:

Io mi sa che l'ho cannato... :(

__________________
«And if you ever smell christian blood up in the mountains, then get your axe and chop them down!»


Posted by Lunik on 11-05-2004 17:29:

cosa? uno dei due esercizi?

i tipi di scritti erano diversi..quindi a un po' saran venuti tutti veri, ad altri tutti falsi, ad altri ancora un bel mix....

neppure io sono sicura al 100%

__________________
Il DSY su Facebook!!!


Posted by Loppi82 on 11-05-2004 17:33:

A me quei due esercizi sono venuti...a caso! Spero nel sequente e nella valutazione della domanda facoltativa, anche perchè se non l'ha messa per salvare qualche compito non ne capirei l'utilità...Sperem!!!

__________________
"In this country, you gotta make the money first. Then when you get the money, you get the power. Then when you get the power, then you get the woman."
The world is yours! T.M.

One ring to rule them all, One ring to find them, One ring to bring them and in the darkness bind them.


Posted by JaM on 11-05-2004 19:37:

ma negli esercizi della semantica (che a me risultavano tutti falsi) le interpretazioni con insieme vuoto come si "interpretavano"??

io non ne avevo mai viste prima e a senso consideravo la formula falsa se aveva interpretazione vuota....


Posted by Lunik on 12-05-2004 06:52:

quindi JaM sei uno tra quelli a cui venivano tutti falsi (finora siete in 3...)

Dunque insieme vuoto significa che non ci sono proprio elementi... quindi se nel sequente avevi
non Q(y) la interpretavi così: Q(y) è falso xè Q è vuoto, ma NON Q(y) è Vero ("non falso" = "vero")

Nel mio caso avevo R(x, z,y) ma R era vuoto... quindi qualsiasi cosa facessi prima della R... mi avrebbe dato cmq falso xè R è vuoto...

io finora ho sempre ragionato così!

__________________
Il DSY su Facebook!!!


Posted by JaM on 12-05-2004 11:32:

e' il ragionamento che avevo fatto io.. sia che ci sia un ogni o un esiste davanti a una funzione che ha interpretazione vuota da come risultato falso....

ecco il primo degli esercizi di semantica che avevo, secondo voi il ragionamento e' corretto?:

ognix(R(x) -> nonP(x)) -> ognixQ(x)

D={a,b}
I(P)=vuoto
I(Q)={a}
I(R)={a,b}

ognixR(x) = vero
ognixP(x) = falso perche' ha interpretazione vuota
ognixQ(x) = falso perche' ha solo a nell'interpretazione

quindi:
( vero -> non falso ) -> falso =
( vero -> vero ) -> falso =
vero -> falso =
falso


Posted by Lunik on 12-05-2004 11:38:

io avrei fatto un pochino diverso...ma è giusto!

__________________
Il DSY su Facebook!!!


Posted by cavamagie on 12-05-2004 12:06:

ma quando escono i risultati????

__________________
il suono si propaga nell aria
ma noi siamo pronti per carpirlo
cavamagie wawe


Posted by Lunik on 12-05-2004 12:12:

ah boh non ho sentito niente a riguardo..e non so se la prof.ssa abbia detto qualcosa...

A nessuno venivano tutte V??

__________________
Il DSY su Facebook!!!


Posted by mao on 12-05-2004 17:58:

la prof ha detto entro lun prox metterà i risultati.
anche a me venivano tutti falsi gli es di semantica.
ciao!


Posted by Lunik on 12-05-2004 18:32:

grazie Mao!!! :)

I miei esercizi di semantica erano:
1) Per ogni X (Q(x) -> P(x) ) -> Esiste x nonP(x)
1.a)D= a,b
P = vuoto
Q = a
R = a,b

2.a)D= a,b
P = vuoto
Q = a, b
R = a,b

2) esiste y(perOgniX EsisteZ R(x,z,y) v nonQ(y) ) v PerOgniX EsisteY P(x,y)
2.a) D=a,b
P = vuoto
Q = R = vuoto
2.b)P =aa, ba
Q = a, b
R = aab, bab

nessuno lo aveva?????????? :please:

__________________
Il DSY su Facebook!!!


Posted by cavamagie on 13-05-2004 01:02:

forse ho capito male...ma è vero che questo compito dovrebbe valere di più dell altro???
o tutto è frutto della mia immaginazione??:? :?

__________________
il suono si propaga nell aria
ma noi siamo pronti per carpirlo
cavamagie wawe


Posted by Lunik on 13-05-2004 06:20:

la prof aveva detto che questo valeva più dell'altro... basta pensare che si arriva al 30 se si facevan giusti il sequente e i due esercizi sulla semantica.... quindi.......

__________________
Il DSY su Facebook!!!


Posted by mao on 13-05-2004 19:27:

secondo voi quanto potrebbero valere le domande, l'esercizio facoltativo?
Forse massimo 3 punti così si arriva al 33(cioè 30 e lode)?


Posted by Lunik on 13-05-2004 19:29:

io ho capito così: se hai fatto giusti gli altri esercizi e fai in più, bene, la domanda facoltativa riesci a prendere 30 e lode... potrebbe valere anche un punto solo..... credo! :pensa:

__________________
Il DSY su Facebook!!!


All times are GMT. The time now is 20:37.
Show all 34 posts from this thread on one page

Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.