.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)
-- Ricapitolando Compitino (http://www.dsy.it/forum/showthread.php?threadid=22904)


Posted by B-astard on 04-11-2005 22:40:

Arrow Primo Compitino ]Primo Turno[

Il primo compitino sarà il 22 Novembre 2005.
Verrà dedicata una lezione per la preparazione al compitino, durante la quale svolgeremo esempi di prove che ci verranno sottoposte il giorno del compito. Presumibilmente la lezione pre-compitino sarà la precedente al suddetto. Vi sarò certezza appena posso!

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by 46Bors46 on 06-11-2005 09:56:

AVVISO

La prima prova parziale si svolgerà MARTEDÌ 22 NOVEMBRE, h. 10.30, aula V1, via Venezian 15. Per sostenere la prova è necessario iscriversi inviando un messaggio di posta elettronica all'indirizzo bucalo@dsi.unimi.it
L'oggetto del messaggio deve contenere esclusivamente
fdl iscrizione
Il messaggio deve contenere esclusivamente

COGNOME NOME MATRICOLA

messaggi inviati con modalità diverse da quelle indicate non saranno considerati utili per l'iscrizione.
Si ricorda che è necessario presentarsi muniti del tesserino universitario o di un documento d'identità


Posted by m@cCo on 06-11-2005 19:01:

Non è necessaria l'iscrizione tramite sifa?


Posted by ElEtAbbOZ on 07-11-2005 09:12:

Questo vale per il turno 2 o per il turno 1 o per entrambi?
Usate i tag per nel titolo del thread per identificare il corso per favore :)

__________________
Non cliccare!
MSN: eletabboz@hotmail.com


Posted by Brov84 on 07-11-2005 09:15:

Scusate ma che parte è da studiare nel primo compitino?Sarà teoria,logica o tutti e due?Aiuto!!!!! :(

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde


Posted by 46Bors46 on 07-11-2005 14:01:

Originally posted by ElEtAbbOZ
Questo vale per il turno 2 o per il turno 1 o per entrambi?
Usate i tag per nel titolo del thread per identificare il corso per favore :)


Avviso

Penso sia valido x entrambi i corsi visto che il sito di riferimento è lo stesso!! :)


Posted by Pupino on 07-11-2005 16:26:

Originally posted by 46Bors46
Avviso

Penso sia valido x entrambi i corsi visto che il sito di riferimento è lo stesso!! :)


eh ma la mail bisogna mandarla alla Bucalo.... :pensa:

niente SIFA quindi? :pensa:

__________________

PUPINO'S VIDEO
:asd:
FRANK JAY
:!:

UN BLOG :look:


Posted by Mizo on 07-11-2005 17:11:

probabilmente l'iscrizione al sifa la metteranno per il secondo compito cosicchè scremano quelli che non sono passati al primo

__________________
"Finchè la violenza di stato si chiamerà giustizia, la giustizia del popolo si chiamerà violenza."


Posted by 46Bors46 on 07-11-2005 17:22:

Speriamo che domani a lezione facciano un pò di chiarezza in merito a sto benedetto compitino così ci leviamo ogni dubbio!!!!


Posted by Brov84 on 08-11-2005 12:07:

Oggi ha detto che il primo compitino verterà su entrambe le parti (semantica e logica)...ma qualcuno ha idea di fin dove bisogna arrivare a studiare sulle due dispense? :?

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde


Posted by B-astard on 08-11-2005 13:36:

Iscrizione primo turno

Ancora non siamo stati informati presso chi o cosa dobbiamo iscriverci per il compitino.
L'esame verterà su entrambi, sia logica che semantica...
Credo che sia necessario studiare fino all'ultima lezione prima del 22 novembre.

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by ale83 on 08-11-2005 19:24:

L'iscrizione si dovrà fare tramite e-mail anche x il turno 1 CREDO. :shock:

Probabilmente metteranno x gennaio un appello fittizio al quale iscriversi x verbalizzare la media dei due compitini :D

__________________
... Di regola, le grandi decisioni della vita umana hanno a che fare più con l'istinto,
che con la volontà cosciente e la ragionevolezza ...


Posted by B-astard on 10-11-2005 21:28:

Anche per il primo turno la mail d'iscrizione deve essere inviata alla prof. Bucalo...
le informazioni sono sulla pagina del corso!

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by afroman on 14-11-2005 11:03:

scusatemi

ma per fare il compitino bisognava essere iscritti o avere le presenze??


Posted by 46Bors46 on 14-11-2005 12:16:

Re: scusatemi

Originally posted by afroman
ma per fare il compitino bisognava essere iscritti o avere le presenze??


Le presenze non le prende...devi solo mandare una mail come descritto in un mio post sopra!


Posted by josh on 15-11-2005 14:52:

- Scusate ma qualcuno sà fino a che pagina bisogna studiare delle 2 dispese x il 1' compitino?


- le due dispende corrispondo rispettivamente alle lezione di teoria e lab...oppure nn c'e distinzione tra le 2 trattano tutti e 2 gli argomenti mischiandoli...

- per questo ho un altro dubbio collegato, non avendo mai frequentato:ma gli argomenti e esercizi trattati nelle lezioni di teoria son gli stessi trattati dalla tipa di laboratorio?
oppure sono 2 argomenti "differenti"...


grazie!


Posted by sammino on 15-11-2005 15:18:

mi associo, anch'io avrei bisogno di sapere di preciso cosa bisogna studiare, o meglio fino a dove...visto che l'hanno scorso mi è andata male...RIPROVIAMOCI


Posted by m@cCo on 15-11-2005 18:22:

A quanto ho saputo/capito fino a pagina 30 per quanto riguarda le dispense di semantica e i paragrafi 1.1 1.2 2.1 per la parte di logica.


Posted by supernova on 15-11-2005 23:21:

Ragazzi, sto studiando le lezioni indicate nel wiki ma con tanti argomenti non riesco a racapezzarli a rintracciarli nelle slides, non è che una persona di buon cuore potrebbe postare le pagine degli argomenti nelle slide? Oppure avere la certezza fino a che pagina studiare. Grazie mille!

__________________
" So I Start The Revolution From My Bed ". Noel Gallagher


Posted by Brov84 on 15-11-2005 23:43:

Dispensa Semantica : da 1 a 30

Dispensa Logica: da 1 a 10 e da 22 a 32

ciao!

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde


Posted by sammino on 16-11-2005 09:13:

Già che ci siamo qualcuno potrebbe indicarmi fino a quale tipologia di esercizio siete arrivati ? avete già fatto la lmbda conversione ?


Posted by Brov84 on 16-11-2005 14:55:

Qualcuno può dirmi quali sono le 5 regole principali per risolvere gli esercizi di logica?O al massimo indicarmi dove lo posso trovare? Grazie 1000 :)

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde


Posted by sammino on 16-11-2005 15:23:

credo tu ti riferisca alle regole di inferenza, le trovi a pagina 16 delle dispense di logica


Posted by Brov84 on 16-11-2005 15:30:

Originally posted by sammino
credo tu ti riferisca alle regole di inferenza, le trovi a pagina 16 delle dispense di logica


Ehm a dir la verità non so se sono quelle...io cerco la regola del "per Ogni",la regola "dell'Implica"...non so se sono quelle li...ho una confusione con sto esame :D

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde


Posted by sammino on 16-11-2005 15:36:

...le altre regole le trovi a pagina 34...non so se cerchi quelle...


Posted by Brov84 on 16-11-2005 15:44:

No non sono quelle..cmq ho risolto,le hanno postate nell'altro thread..Grazie 1000 lo stesso!

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde


Posted by Quartermaster on 17-11-2005 08:49:

La prima prova parziale è stata posticipata a MARTEDÌ 29 NOVEMBRE, h. 10.30, aula V1, via Venezian 15. Per sostenere la prova è necessario iscriversi inviando un messaggio di posta elettronica all'indirizzo bucalo@dsi.unimi.it


Posted by ale83 on 17-11-2005 11:44:

Immagino che non dobbiamo inviare una nuova email.... O forse sì??? :shock:

__________________
... Di regola, le grandi decisioni della vita umana hanno a che fare più con l'istinto,
che con la volontà cosciente e la ragionevolezza ...


Posted by B-astard on 17-11-2005 15:01:

no, le mail per le iscrizioni non vanno rispedite..."ovviamente per chi si è già iscritto"...

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by josh on 21-11-2005 09:21:

Scusatemi forse pongo una banale domanda e gia postata...cmq...
il primo compitino del 29 e' lo stesso sia x gli studenti del primo che del secondo turno????


....grazie!


come mi sta in c... studiare ste cose inutili :-)


Posted by B-astard on 21-11-2005 14:25:

si è lo stesso!

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by Quartermaster on 21-11-2005 15:11:

Originally posted by josh
Scusatemi forse pongo una banale domanda e gia postata...cmq...
il primo compitino del 29 e' lo stesso sia x gli studenti del primo che del secondo turno????


....grazie!


come mi sta in c... studiare ste cose inutili :-)


Off-Topic:

inutili?
va che una delle prime cose che ti chiedono quando vai a lavorare è quella di analizzare il significato della frase "la vecchia porta la sbarra" ;)


Posted by lisa on 21-11-2005 15:32:

scusate

qualcuno parlava di wiki???qual 'è indirizzo esatto del sito???

grazie


Posted by diddle83 on 21-11-2005 16:34:

è questo il sito del wiki:
http://wiki.dsy.it/index.php/Filoso...guaggio_Turno_1


Posted by diddle83 on 21-11-2005 16:48:

Esercizi compitino

A lezione hanno detto o fatto esempi sulle tipogie di esercizi che saranno presenti nel compitino per la parte di logica?

Grazie


Posted by lisa on 21-11-2005 17:32:

grazie

Scusate....si parlava di slide, dove sono???si intende le dispense che si trovano sul sito ufficiale???


Posted by 46Bors46 on 21-11-2005 17:43:

Originally posted by lisa
grazie

Scusate....si parlava di slide, dove sono???si intende le dispense che si trovano sul sito ufficiale???


Sul sito ufficiale del corso ci sono queste 2 lezioni:
http://homes.dsi.unimi.it/~bucalo/fdl/Lezione1.pdf
http://homes.dsi.unimi.it/~bucalo/f..._logica_0506.ps

magari sono queste le famose slide......


Posted by supernova on 21-11-2005 18:28:

Quei 2 link sono dei sunti della prima lezione di semantica e delle prime 2 lezioni di logica.

__________________
" So I Start The Revolution From My Bed ". Noel Gallagher


Posted by shiffola on 21-11-2005 19:18:

scusate.. con cosa apro il file ps :look:


Posted by 46Bors46 on 21-11-2005 19:39:

Originally posted by supernova
Quei 2 link sono dei sunti della prima lezione di semantica e delle prime 2 lezioni di logica.


Tu non sai niente di ste benedette slide?


Posted by 46Bors46 on 21-11-2005 19:45:

Originally posted by shiffittary
scusate.. con cosa apro il file ps :look:


Lo puoi aprire con Gsview o Ghostscript....Non ricordo bene quale fosse dei due!!!:alsono:


Posted by c3ru on 21-11-2005 20:15:

www.ps2pdf.com

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita


Posted by nitro84 on 22-11-2005 09:48:

Originally posted by Brov84
Dispensa Semantica : da 1 a 30

Dispensa Logica: da 1 a 10 e da 22 a 32

ciao!


ovviamente gli argomenti da studiare restano sempre questi nonostante il posticipo dell'esame vero?


Posted by B-astard on 22-11-2005 14:15:

Talking

servono entrambi!

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by supernova on 24-11-2005 14:27:

Sarebbe utile scrivere anche per chi non segue, gli argomenti che saranno presenti nel compitino il 29. Le regole ricorsive sono da fare? Quelle a pagina 28 mi sembra delle slides di semantica. Grazie

__________________
" So I Start The Revolution From My Bed ". Noel Gallagher


Posted by ale83 on 24-11-2005 18:14:

Oggi a fare lezione x il turno 1 è venuta la prof Bucalo, e ha detto di prendere come riferimento x la semantica, le regole a pag 25 :-D

__________________
... Di regola, le grandi decisioni della vita umana hanno a che fare più con l'istinto,
che con la volontà cosciente e la ragionevolezza ...


Posted by supernova on 24-11-2005 20:16:

Quindi niente regole ricorsive di pagina 30? Levatemi sto dubbio per piacere? Poi un'altra gentilezza, metterà anche domande di teoria oltre che agli esercizi? Grazie mille!

__________________
" So I Start The Revolution From My Bed ". Noel Gallagher


Posted by sammino on 24-11-2005 22:49:

Le regole di pagina 25 SONO le regole ricorsive (se usi la numerazione stampata sulle pagine,oppure pagina 30 del file pdf)...a pagina 30 se guardi non c'è nulla


Posted by B-astard on 25-11-2005 10:57:

Smile REgole

Quelle sono le regole che durante il compitino si possono utilizzare...quindi martedi potete portarle in aula per svolgere il compitino!!!n :-D

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by m@cCo on 26-11-2005 10:42:

Ma la teoria su cosa verterà? Sarà presente?


Posted by B-astard on 26-11-2005 17:06:

Su tutto quello fatto fino alla scorsa lezione!
Precisamente Giovedi 24!

__________________
"E d'un tratto capii che il pensare e' per gli stupidi,
mentre i cervelluti si affidano all'ispirazione"~©

Questo business e' binario, o sei 1 o sei 0, vivo o morto, non esistono secondi classificati.


Posted by m@cCo on 26-11-2005 20:03:

Ah...ma allora i riferimenti di prima sono ancora validi?
O si sono aggiunte pagine?
Nel caso qualche anima pia potrebbe postare i propri appunti per chi, come me, non ha potuto presenziare alle ultime 2/3 lezioni?

Grazie


Posted by sammino on 27-11-2005 13:17:

All'alba di due giorni prima dell'esame vengono pubblicati gli esercizi su sito della Bucalo...Complimenti per il tempismo...Non frequenquentanti sempre avantaggiati


Posted by fill on 27-11-2005 13:48:

ciao, ma gli esercizi saranno solo sui tableaux o c'e' dell'altro?


Posted by sammino on 27-11-2005 13:54:

Lightbulb Ricapitolando Compitino

Per ricapitolare e avere un'idea chiara :

Semantica teoria : da pag 1 a pag 30
Logica teoria : da pag 1 a pag 10 e da pag 22 a pag 32

Di logica gli esercizi che proporrà saranno tipo quelli illustrati nelle slide (http://homes.dsi.unimi.it/~bucalo/fdl/tableaux.pdf) e basta o ci sono altri tipi ?

Di semantica gli esercizi sono la costruzione degli alberi e la relativa interpretazione e basta ?

Qualcuno sa se hanno specificato come sarà composto il compitino ?


Posted by c3ru on 27-11-2005 14:14:



ma come diavolo è possibile il passaggio segnato in rosso?
non si deve sostituire una variabile già presente nel per ogni x? la a da dove salta fuori?

p.s. ultimo esercizio delle dispense

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita


Posted by sammino on 27-11-2005 15:05:

Siccome la variabile già presente non c'è, bisogna metterne una "provvisoria" nuova nel penultimo passaggio puoi vedere che la regola che dici tu è stata rispettata perchè c'era una variabile già presente che nel secondo passaggio non c'era


Posted by c3ru on 27-11-2005 15:26:

Originally posted by sammino
Siccome la variabile già presente non c'è, bisogna metterne una "provvisoria" nuova nel penultimo passaggio puoi vedere che la regola che dici tu è stata rispettata perchè c'era una variabile già presente che nel secondo passaggio non c'era


quindi se non c'è nessuna costante già presente ne metto una io a caso?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita


Posted by sammino on 27-11-2005 15:32:

si, poi ti ritroverai quasi certamente a dover utilizzare un'altra volta una costante già presente nel ramo...in tal caso potrai utilizzare quella che "non lecitamente" hai inserito precedentemente


Posted by c3ru on 27-11-2005 15:34:

Originally posted by sammino
si, poi ti ritroverai quasi certamente a dover utilizzare un'altra volta una costante già presente nel ramo...in tal caso potrai utilizzare quella che "non lecitamente" hai inserito precedentemente


ok grazie

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita


Posted by m@cCo on 27-11-2005 16:28:

E allora che regola è?


Posted by sammino on 27-11-2005 16:35:

"che regola è" COSA ?


Posted by m@cCo on 27-11-2005 17:13:

Se il Vx richiede una costante già esistente ma quando questa non è presente possiamo inventarne una da utilizzare a piacimento, che regola è?


Posted by hoffman on 27-11-2005 20:29:

nell'esempio di c3ru non viene modificata la prima delle due variabili poiche fuori c'è esiste x e lui infatti cambia quella con x e lascia invariata la prima poiche è esiste y, variabile sulla quale non ha valore il perogni x....

__________________
There is no higher religion than truth


Posted by sammino on 27-11-2005 21:05:

Originally posted by hoffman
nell'esempio di c3ru non viene modificata la prima delle due variabili poiche fuori c'è esiste x e lui infatti cambia quella con x e lascia invariata la prima poiche è esiste y, variabile sulla quale non ha valore il perogni x....


fuori non c'è esiste x ma per ogni x ? cosa intendi dire, non capisco


Posted by hoffman on 27-11-2005 21:22:

si scusa, perogni x, che appunto agisce solo sul secondo termine, all'interno della parentesi che è legato a x, nel primo c'è y e quindi su di lui non agisce il perogni x esterno , quindi lo lascia invariato.

__________________
There is no higher religion than truth


Posted by sammino on 27-11-2005 21:30:

Originally posted by hoffman
si scusa, perogni x, che appunto agisce solo sul secondo termine, all'interno della parentesi che è legato a x, nel primo c'è y e quindi su di lui non agisce il perogni x esterno , quindi lo lascia invariato.


...adesso è tutto più chiaro...non riuscivo a trovare una spiegazione...

Grazie !


Posted by hoffman on 27-11-2005 21:39:

de nada

:-)

__________________
There is no higher religion than truth


Posted by afroman on 28-11-2005 10:01:

mi dite ora e luogo del compitino di domani?


Posted by afroman on 28-11-2005 10:09:

teoria nn c'e' nel compitino?


Posted by sammino on 28-11-2005 10:24:

Originally posted by afroman
mi dite ora e luogo del compitino di domani?


La prima prova parziale si svolgerà MARTEDÌ 29 NOVEMBRE, h. 10.30, aula V1, via Venezian 15. Gli studenti di Ingegneria del software saranno ammessi alle 11.30 purché consegnino una dichiarazione firmata dal docente che attesti la partecipazione alla prova parziale del corso suddetto.
Per sostenere la prova è necessario iscriversi inviando un messaggio di posta elettronica all'indirizzo bucalo@dsi.unimi.it
L'oggetto del messaggio deve contenere esclusivamente

fdl iscrizione

Il messaggio deve contenere esclusivamente

COGNOME NOME MATRICOLA

messaggi inviati con modalità diverse da quelle indicate non saranno considerati utili per l'iscrizione.
Si ricorda che è necessario presentarsi muniti del tesserino universitario o di un documento d'identità.


Posted by Pupino on 28-11-2005 10:46:

La Enrica un giorno ci ha fatto fare un esercizio del genere:

A, B contraddizione

i) A implica B è contraddizione
ii) A or B è soddisfacibile
iii) not B or A è tautologia


A parte il fatto che non capisco cosa voglia dire A, B. Vuol dire che sia A che B sono negative?
E poi.. in questo caso cosa vuol dire soddifacibile? Dato che una formula per essere soddisfacibile deve avere almeno un V, in questo caso dato che la risposta è unica non sarebbe identico dire è tautologia?

Grazie miiiiiiiiiiiiiiiiiiiiiiiiiiiiiiillllllllllllllllle
eeeeeeeee

__________________

PUPINO'S VIDEO
:asd:
FRANK JAY
:!:

UN BLOG :look:


Posted by Voodoo on 28-11-2005 19:17:

Originally posted by Pupino
La Enrica un giorno ci ha fatto fare un esercizio del genere:

A, B contraddizione

i) A implica B è contraddizione
ii) A or B è soddisfacibile
iii) not B or A è tautologia


A parte il fatto che non capisco cosa voglia dire A, B. Vuol dire che sia A che B sono negative?
E poi.. in questo caso cosa vuol dire soddifacibile? Dato che una formula per essere soddisfacibile deve avere almeno un V, in questo caso dato che la risposta è unica non sarebbe identico dire è tautologia?

Grazie miiiiiiiiiiiiiiiiiiiiiiiiiiiiiiillllllllllllllllle
eeeeeeeee


Osservando le risposte che ha dato in classe,intendeva dire che sono entrambe contraddizioni,quindi:


  1. F --> F è una tautologia,ma qui si afferma che è una contraddizione,quindi si risponde falso;
  2. F o F è soddisfacilbile: è evidente che non lo è,in quanto la formula è contraddizione;
  3. V or F dà vero,quindi complessivamente è una tautologia.


Riguardo al secondo quesito,rispondo che una tautologia è necessariamente una formula soddisfacibile,ma non è vero il contrario. Per questo che lei può chiederti così,per trarti in inganno ;)

__________________
GET DROPBOX
# il grado di lentezza è direttamente proporzionale all'intensità della memoria;il grado di velocità è direttamente proporzionale all'intensità dell'oblio (Kundera) #
BLOG: Byte Strike
ChRiS :ciao:


All times are GMT. The time now is 09:06.
Show all 73 posts from this thread on one page

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