.dsy:it. - [Avviso] Primo compitino

Pages (8): [1] 2 3 4 5 » ... Last »
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] Primo compitino (http://www.dsy.it/forum/showthread.php?threadid=9715)

Posted by Lunik on 23-03-2004 17:17:

[Avviso] Primo compitino

Il primo compitino sarà il 2 APRILE in aula Beta dalle 13.30 fino alle 15.30.

Venite PUNTUALI!

Su cosa sarà lo scritto ce lo dirà martedì prossimo xè vuole vedere cosa riusciremo a fare martedì.
Sicuramente ci saranno 2 esercizi sulla sintassi (usare le regole di inferenza)...

X altre info, controllate questo topic.

ciau!

__________________
Il DSY su Facebook!!!

Posted by Lunik on 23-03-2004 17:49:

Dimenticavo due cose IMPORTANTI:

1) Solo chi si è iscritto sul foglio che è girato oggi in aula e che girerà MARTEDì PROSSIMO potrà fare il compitino. Quindi, chi NON è iscritto NON può farlo e farà SOLO l'orale.

2) Al compitino NON si possono consultare libri e appunti (quindi le formule di inferenza dobbiamo impararcele a memoria)
ehm le cose da ricordare erano 3

3) Per dubbi, problemi con esercizi la prof.ssa è disponibile a riceverci anche fuori orario di ricevimento (ufficio S215) oppure se ci sono dubbi chiaribili via e-mail lei ha detto che risponderà!

ehm le cose da ricordare erano 3

__________________
Il DSY su Facebook!!!

Posted by spina81 on 31-03-2004 09:05:

Aggiungo per chi non lo sapesse che la prof ha detto che il compitino durerà 45 minuti (eventualmente il limite sarà di 1 ora ma non di più); ci saranno 2 esercizi sulla sintassi, il più facile vale 10 punti, l'altro 12, poi ci saranno 4 domande di 2 punti ciascuna, x un totale, ovvio, di 30...(o meglio queste sono le previsioni della prof su come aveva intenzione di strutturare il compito)

Poi volevo chiedervi io un paio di cose:

-le 4 domande su cosa verteranno più o meno? calcolo del I° ordine? che altro?

-nei 2 esercizi ci chiederà qualche altra cosa oltre alla risoluzione?

insomma se sapete info più dettagliate, scrivete grazie...

CIAO

__________________
Ma si che poi in fondo mi piacciono gli assembramenti umani di finti attori e finte modelle e finti figli di papà infamezzati a cessi intasati musica R'n'B e puzza di ascelle; che ne diresti se io portassi un punteruolo particolarmente lungo e acuminato, potrei aggirarmi tra la folla fingendo di ballare e invece colpire alla giugulare qualche ragazza a caso qua e là, senza farmi vedere, uccidendone complessivamente che ne so una dozzina o un paio di dozzine e poi sedermi nel privè e ammirarle dall'alto mentre queste si accasciano lentamente sulla pista da ballo, zampillando sangue, illuminate da megaproiettori stroboscopici?

Posted by francesco2 on 31-03-2004 10:00:

Nessuno ha qualche esercizio svolto da mettere in rete? Ma chi ha capito il teorema di validità e di completezza?

__________________
r

Posted by Alis on 31-03-2004 10:27:

Scusate, la roba che ha spiegato ieri a lezione (linguaggi elementari, ecc...) è da fare per il primo compitino? Visto che ha detto che il linguaggio del I° ordine sarà trattato nel prossimo, mi è venuto un dubbio...

Posted by Lunik on 31-03-2004 13:18:

CALMA!
Uno alla volta... andiamo con ordine

x SPINA81

Le 4 domande verteranno su:
Teoremi validità/completezza
Tautologia, contraddizione, soddisfacibile
Termini, formule

Non ci sarà ALCUNA domanda del tipo "Definisci il teorema di.." "Spiega cos'è un termine"
MA ci descriverà delle situazioni (esempi, sequenti quel che vuole lei) e noi, usando la definizione, dovremo dire se sarà una tautologia o se si tratta del teorema di validità o altro.

Esempio che ha fatto ieri.
V1(A)=T
V2(A)=T
abbiamo 2 interpretazioni, entrambe vere e una formula. (una formula -> 2 interpretazioni, 2 formule -> 4 interpretazioni....)
Essendo TUTTE vere, è una tautologia.

Per i termini e formule dovremo dire se l'esempio che ci darà lei sarà corretto, se avremo termini o formule...e se sono formule indicare se sono atomiche.

Nei 2 esercizi ci chiederà nel caso non fossero dimostrabili di indicare un'interpretazione. (esempio fatto ieri in aula)

X FRANCESCO2:
Non ho lo scanner, se riesco domani faccio mettere su qualche cosa.
Teorema di validità: se un sequente è dimostrabile, non puoi avere un'interpretazione. Segue che se B è dimostrabile, (non)B è una tautologia.
Teorema di completezza: se un sequente non è dimostrabile, avrai un'interpretazione. Segue che se B non è dimostrabile, (non)B non è una tautologia.

X ALIS:
si, i termini e le formule sono da fare.... Sulla dispensa devi arrivare fino a pagina 28 (capitolo "Strutture" escluso)

That's all!!

__________________
Il DSY su Facebook!!!

Posted by lucaburry on 01-04-2004 10:01:

qualcuno può mettere esercizi svolti o con soluzioni? grazie sono nella cacca

Posted by devil on 01-04-2004 12:07:

Purtroppo non ho gli appunti delle lezioni e sulle dispense (a parte il calcolo degli alberi) mancano esempi e le cose sono poco chiare.

Qualcuno mi può rispondere a queste domande?

_Che esercizi può mettere sul teorema di validità e di completezza?

_Cosa si intende per interpretazione?

_Quand'è che si ha un interpretazione?

_Che esercizi mette sui termini e sulle formule?

__________________
: my Personal Site :
: : Community Aronese :

Posted by lucaburry on 01-04-2004 12:14:

il vero problema per me sono i due esercizi sulla sintassi (10 e 12 punti)!!! Non avendo seguito non ho nessun esrcizio di quel tipo svolto o con soluzioni...sarei veramente grato se qualcuno mettesse in rete esercizi di questo tipo!!! (non riesco a risolverli...magari avendo degli esempi...)
ciao e grazie

Posted by Lunik on 01-04-2004 13:16:

Originally posted by devil
Purtroppo non ho gli appunti delle lezioni e sulle dispense (a parte il calcolo degli alberi) mancano esempi e le cose sono poco chiare.

Qualcuno mi può rispondere a queste domande?

_Che esercizi può mettere sul teorema di validità e di completezza?

_Cosa si intende per interpretazione?

_Quand'è che si ha un interpretazione?

_Che esercizi mette sui termini e sulle formule?

1) Validità e completezza: aveva detto che ci dava un sequente (credo) e dovremo dire che teorema sarà.
2 e 3) (a parte che nello scritto la prof non farà domande di questo tipo) Interpretazione è una funzione V che può avere due valori: Vero e Falso.
In quest'ottica, in un esercizio di un sequente in cui devi verificare la dimostrabilità (ossia che le foglie dell'albero sono TUTTI assiomi), se finisci con l'avere una foglia in cui non hai un assioma (quindi hai per esempio: A, B => C) avrai un'interpretazione, ossia dovrai scrivere:
V(A)=V (xè la A sta a sx del sequente)
V(B)=V (Come sopra)
V(C)=F (xè la C sta a dx del sequente)

Questa è una interpretazione. Nell'esercizio poi dovrai sostituire nel sequente di partenza i valori V e F e verificare che avrai a sx una parte vera e a dx una parte falsa

4) Il testo sarà del tipo:
L ({P,R}, {a, b, f, g})
P ha arietà 1
R ha arietà 2
f ha arietà 1
g ha arietà 2

Dire se sono corrette grammaticalmente le seguenti espressioni, indicare quali sono i termini e quali le formule, in caso siano formule specificare se sono atomiche.

- P(a,b)
- P(a)
-R(f(a))
- R(a, f(b)) -> P(a)

La prima è sbagliata xè P ha arietà 1 quindi tra parentesi devo avere un solo elemento. In questo caso a e b sono termini e P è la formula.
La seconda è corretta xè P ha arietà 1 e c'è un solo elemento a che è un termine. P(a) però è una formula atomica.
La terza è sbagliata perchè R ha arietà 2 e invece c'è un solo elemento. Comunque a e f(a) sono termini
L'ultima non è una formula atomica perchè è composta da 2 formule. La prima formula è corretta xè R ha due elementi (arietà 2), la seconda è corretta xè P ha un solo elemento (era unaria).
Tutta l'espressione è corretta in quanto abbiamo una formula che implica una formula.
I termini sono: a, b, f(b). Le formule sono R(...) e P(a).

Questo è tutto,
ciao!

__________________
Il DSY su Facebook!!!

Posted by spina81 on 01-04-2004 14:28:

LUNIK 6 ER MEJO!!!

:lode: :lode: :lode: :lode: :lode: :lode: :lode: :lode: :lode: :lode:
:lode: :lode: :lode: :lode: :lode: :lode: :lode: :lode: :lode: :lode:

...ed io che volevo passare in studio dalla Bucalo...

Posted by Lunik on 01-04-2004 14:48:

grazie grazie :thxthx:

eh no basta con gli applausi

X altri chiarimenti... postate qua e rispondo :asd:

__________________
Il DSY su Facebook!!!

Posted by spina81 on 01-04-2004 18:29:

no, per ora basta... gli altri chiarimenti te li chiedo domani dalla una e mezza in avanti... :lol:

Posted by devil on 01-04-2004 18:53:

Io ho ancora qualche piccolo dubbio:

1)Quando la prof. chiede di dimostrare che il sequente è una tautologia, vuol dire che sviluppando l'albero ottengo tutti rami che hanno i termini sulla sinistra, giusto?

es.
A,B=>
C,B,A=>
B,C=>

(o devo sviluppare la tabella di verità per l'intero sequente?)

2)Quando sviluppando un albero ottengo 2 rami che sono assiomi e due rami che non lo sono tipo:

A,B=>C
C,A=>B

che interpretazione uso?

1a) A,B=vero
C=falso

2a) C,A=vero
B=falso

(Sostituendo sia la prima o la seconda l'esercizio mi esce corretto lo stesso...)

__________________
: my Personal Site :
: : Community Aronese :

Posted by Gigi on 01-04-2004 19:11:

Anche io avrei un dubbio ragazzi ... una formula è atomica quando è formata solo da un termine ? Se c'è un connettivo che introduce un'altro termine non è più atomica, giusto ?

Per arietà 1 si intende quando ho un solo elemento P(a) ? Per esempio arietà 3 P(a,b,c) ?

Grazie a tutti

All times are GMT. The time now is 14:38.

Pages (8): [1] 2 3 4 5 » ... Last »
Show all 114 posts from this thread on one page