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 A - F > Filosofia del linguaggio > [Ghilardi] esercizi logica
Pages (3): [1] 2 3 »   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 [Ghilardi] esercizi logica

qualcuno ha fatto gli esercizi di logica dati nell'ultima lezione? per intenderci quelle tre formule da controllare la dimostrabilità...
ne ho fatte due, ma la terza mi dà qualche problema

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
13-11-2005 14:58
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Pupino
- D J -

User info:
Registered: Nov 2003
Posts: 4223 (0.54 al dì)
Location: Paese dei Balocchi
Corso: Buenos aires
Anno: 2008 :)
Time Online: 27 Days, 15:16:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Anche tu alle sue lezioni? Che faccia hai?


Io comunque non le ho fatte.. non le ho scritte, non so di cosa parli ne tu ne lui..

__________________

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

UN BLOG :look:
13-11-2005 21:37
Click Here to See the Profile for Pupino Click Here to See the Blog of Pupino Click here to Send Pupino a Private Message Visit Pupino's homepage! Find more posts by Pupino Add Pupino to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

dato che mi sono stati richiesti, ecco gli esercizi (scusate la scrittura):


__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
14-11-2005 13:12
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

qualche commento?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
14-11-2005 15:04
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
REQUIEM
TYPE A SECETOR

User info:
Registered: Jun 2006
Posts: 1102 (0.16 al dì)
Location:
Corso:
Anno:
Time Online: 53 Days, 5:38:53 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ma cazzo sono quei fogli? lettere minatorie di al qaeda? ;)
14-11-2005 19:48
Click Here to See the Profile for REQUIEM Click Here to See the Blog of REQUIEM Click here to Send REQUIEM a Private Message Find more posts by REQUIEM Add REQUIEM to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by REQUIEM
ma cazzo sono quei fogli? lettere minatorie di al qaeda? ;)


Off-Topic:
sono le istruzioni per gli anarchici che hanno spaccato la macchina a om4r sabato

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
14-11-2005 23:25
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
lisa
.fedelissimo.

User info:
Registered: Nov 2002
Posts: 49 (0.01 al dì)
Location:
Corso: com.digitale
Anno: 2
Time Online: 1 Day, 14:46:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

scusate...:?

c'è qualcuno che ha uno schema con le regole che usa x questi esercizi???

grazie 1000
15-11-2005 15:38
Click Here to See the Profile for lisa Click here to Send lisa a Private Message Find more posts by lisa Add lisa to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

cosa ha fatto a lezione oggi? ha fatto qualche esercizio?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
15-11-2005 19:27
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by lisa
scusate...:?

c'è qualcuno che ha uno schema con le regole che usa x questi esercizi???

grazie 1000


devi mettere le formule in fnn ( cioè se c'è non (non A)) diventa A, ecc.)

poi (v and, ^ or, Ex esiste x)

A v B diventa A,B

A ^ B fai due rami uno con A e uno con B

Ex A(x) diventa A(k) dove k costante arbitraria

perogni x A(x) diventa perogni x A(x), A(k) dove k costante già presente nella formula

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
15-11-2005 19:30
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
lisa
.fedelissimo.

User info:
Registered: Nov 2002
Posts: 49 (0.01 al dì)
Location:
Corso: com.digitale
Anno: 2
Time Online: 1 Day, 14:46:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

sono solo queste da usare???
16-11-2005 10:36
Click Here to See the Profile for lisa Click here to Send lisa a Private Message Find more posts by lisa Add lisa to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
supernova
Mad For It

User info:
Registered: May 2003
Posts: 403 (0.05 al dì)
Location: Milan, London
Corso: Digital Comunication
Anno: I Don't Know, Not Yet.
Time Online: 3 Days, 4:56:55 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ma sti esercizi in che parte delle slide di logica si possono rintracciare? Comprese le regole per risolverle.

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

16-11-2005 18:48
Click Here to See the Profile for supernova Click here to Send supernova a Private Message Find more posts by supernova Add supernova to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
lisa
.fedelissimo.

User info:
Registered: Nov 2002
Posts: 49 (0.01 al dì)
Location:
Corso: com.digitale
Anno: 2
Time Online: 1 Day, 14:46:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

è quello che vorrei sapere anch'io:?
17-11-2005 10:42
Click Here to See the Profile for lisa Click here to Send lisa a Private Message Find more posts by lisa Add lisa to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.22 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

queste regole non sono presenti nelle slide, le dispense contengono il metodo dei sequenti ( o come diavolo si chiama) che noi non abbiamo fatto.

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
17-11-2005 17:05
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
lisa
.fedelissimo.

User info:
Registered: Nov 2002
Posts: 49 (0.01 al dì)
Location:
Corso: com.digitale
Anno: 2
Time Online: 1 Day, 14:46:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

infatti sono le dispense dell'anno scorso....
17-11-2005 17:40
Click Here to See the Profile for lisa Click here to Send lisa a Private Message Find more posts by lisa Add lisa to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
hoffman
camuno

User info:
Registered: Jun 2002
Posts: 155 (0.02 al dì)
Location: milanoflowers
Corso: vita
Anno: oltre la barricata
Time Online: 4 Days, 11:58:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

REGOLE OFFICIAL X FORMA NORMALE NEGATIVA

- A-->B diventa nonA o B

- non(nonA) diventa A

- non(A o B) diventa nonA e nonB

- non(A e B) diventa nonA o nonB

- non(Esiste x di A) diventa Perogni x di non(A)

- non(Perogni x di A) diventa Esiste x di non(A)

- non(A-->B) diventa A e nonB

-----------------------------------------

- A1 e A2 si separano e si mette la virgola

- A1 o A2 si fanno i due rami

- Esiste x di A diventa A(k)...k=costante Nuova nn già presente nel ramo

-Perogni x A diventa Perogni x di , A(h)... h=costante già presente nel ramo

enjoy...

__________________
There is no higher religion than truth
17-11-2005 19:19
Click Here to See the Profile for hoffman Click here to Send hoffman a Private Message Find more posts by hoffman Add hoffman to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 00:19.    Post New Thread    Post A Reply
Pages (3): [1] 2 3 »   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.055 seconds (70.21% PHP - 29.79% MySQL) con 28 query.