 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
[Ghilardi] esercizi logica
Clicca QUI per vedere il messaggio nel forum |
| c3ru |
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 |
| Pupino |
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.. |
| c3ru |
dato che mi sono stati richiesti, ecco gli esercizi (scusate la scrittura):
 |
| REQUIEM |
| ma cazzo sono quei fogli? lettere minatorie di al qaeda? ;) |
| c3ru |
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 |
| lisa |
scusate...:?
c'è qualcuno che ha uno schema con le regole che usa x questi esercizi???
grazie 1000 |
| c3ru |
| cosa ha fatto a lezione oggi? ha fatto qualche esercizio? |
| c3ru |
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 |
| lisa |
| sono solo queste da usare??? |
| supernova |
| ma sti esercizi in che parte delle slide di logica si possono rintracciare? Comprese le regole per risolverle. |
| lisa |
| è quello che vorrei sapere anch'io:? |
| c3ru |
| queste regole non sono presenti nelle slide, le dispense contengono il metodo dei sequenti ( o come diavolo si chiama) che noi non abbiamo fatto. |
| lisa |
| infatti sono le dispense dell'anno scorso.... |
| hoffman |
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... |
| lisa |
EVVIVA.......EVVIVA......:razz:
Sono la persona + felice del mondo!!!!!!!!!!!!!!!!!!!!!!!!
Grazie chiunque tu sia........ |
| diddle83 |
Ciao, volevo chiedere se qualcuno potrebbe postare un esercizio sulla conseguenza logica... io non frequento e non ho ben capito come si fanno.
Grazie |
| sammino |
Giusto, bella idea! Tra l'altro visto che sono non frequentante neanche io qualcuno può dire i tipi di esercizi che metterà nel compito, perche quelli che faceva l'anno scorso erano differenti...e quelli che sono scannerizzati all'inizio del thread non li ho mai fatti...non so nemmeno dove sono le regole !
Grazie ! |
| supernova |
| Ma ci sono anche le regole ricorsive da sapere? Fate sapere! Grazie. |
| citrus |
scusate ragazzi, non è per fare sempre polemica..
ma cos'è sta storia che gli esercizi fatti a lezione non sono quelli delle dispense...
in effetti mi ballava un po' l'occhio....
porca miseria ma è così difficile avere un po' di serietà da questi corsi?
e i non frequentanti cosa diavolo fanno?
come al solito la prendono in quel posto....
no comment! |
| sammino |
sono d'accordo con te, la disinformazione e la non curanza penalizzano quelli che sono già di partenza svantaggiati...non per scelta magari (NON frequentante).
Farei molto voltentieri notare questo a chi di dovere...ma come si può fare...d'altronde se ci viene segnalato un certo tipo di materiale su cui studiare e poi finisce che a lezione si fa tutt'altro...QUESTO VUOL DIRE CHE IL CORSO è MAL GESTITO e a questo punto dovrebbe essere requisito fondamentale la possibilità di frequentare... |
| B-astard |
Originally posted by lisa
è quello che vorrei sapere anch'io:?
Si chiamano TABLOID [non so se se scrive così!!] |
| Pupino |
Qualcuno sa risolverla? Io mi blocco perchè al terzo passaggio mi trovo con tre Esiste x.... Devo prendere 3 costanti nuove? mi sembra strano... :sad:
not (perogni x (P (x) or Q (x)) implica (perogni x P(x) or perogni x Q (x))) |
| sammino |
Originally posted by Pupino
Qualcuno sa risolverla? Io mi blocco perchè al terzo passaggio mi trovo con tre Esiste x.... Devo prendere 3 costanti nuove? mi sembra strano... :sad:
not (perogni x (P (x) or Q (x)) implica (perogni x P(x) or perogni x Q (x)))
risolvere quale esercizio ? |
| Pupino |
Originally posted by sammino
risolvere quale esercizio ?
Come quale esercizio?:? |
| REQUIEM |
Originally posted by sammino
risolvere quale esercizio ?
forse quello che ha scritto sotto? che ne dici? ;) |
| francyghisla |
cmq a me viene che è soddisfacibile perchè alla fine un ramo rimane aperto
Vx (P(x) e Q(x)), P(b),Q(a), notP(a), notQ(b) |
| Jaco' |
Originally posted by B-astard
Si chiamano TABLOID [non so se se scrive così!!]
per la cronaca tableau, aleno se cercate logica e tableau si trova roba in rete pertinente anche si altri corsi, ma non chiedetemi link perchè mi basta impazzire sul poco che ci ha dato |
| hoffman |
secondo me non chiude...
un ramo chiude sempre ma sviluppando il peroni un ramo resta sempre..e stando a quello che ha detto la nicolini dopo aver provato a sostituire al peroni tutte e due le variabili si può dire che non chiude..
Ps
a me nel terzo passaggio escono due esiste e un perogni... |
| Pupino |
Originally posted by francyghisla
cmq a me viene che è soddisfacibile perchè alla fine un ramo rimane aperto
Vx (P(x) e Q(x)), P(b),Q(a), notP(a), notQ(b)
saresti così gentile da postarmi tutti i passaggi? :please: |
| Voodoo |
Originally posted by Pupino
Qualcuno sa risolverla? Io mi blocco perchè al terzo passaggio mi trovo con tre Esiste x.... Devo prendere 3 costanti nuove? mi sembra strano... :sad:
Effettivamente si,a me risulta alla fine che la forumla è soddisfacilbile perchè il per ogni è stato istanziato su tutte le variabili e quindi ci si ferma altrimenti si andrebbe avanti all'infinito...qui o sbagliamo in due o la Nicolini ha dato ai tempi uno degli esercizi che si sarebbero dovuti svolgere più avanti,per trattare questo nuovo argomento...
boh :?
:)
Originally posted by citrus
scusate ragazzi, non è per fare sempre polemica..
ma cos'è sta storia che gli esercizi fatti a lezione non sono quelli delle dispense...
in effetti mi ballava un po' l'occhio....
porca miseria ma è così difficile avere un po' di serietà da questi corsi?
e i non frequentanti cosa diavolo fanno?
come al solito la prendono in quel posto....
no comment!
Effettivamente ho guardato le prime 30 pagine della dispensa di logica e mi son perso un tantino,perchè dalla 10 alla 21 circa ci son argomenti non trattati o accennati(sequenti & Co). E comunque il tutto è fatto diversamente da come l'abbiamo fatto in aula.
Off-Topic:
Sinceramente,secondo il mio umile parere,non me ne vogliano i prof,ma sto corso è inutile per gente che lavorerà in ambito informatico.Piuttosto non si può metterlo nei complementari?? Va bene che comunicazione digitale c'è l'aspetto della "comunicazione" ma dopo aver fatto italiano,mi sembrava ci si potesse fermare :D |
| Bruzzanboy |
non è che gentilmente mi mettete magari lo svolgimento dell'esercizio?
sapete, io ci ho provato e non chiude ma non so se non chiude perchè io sono un incapace o se va bene così... |
| Quartermaster |
dovrebbe essere giusto.. spero.
edit:
azz hai ragione voodoo domani correggo. :oops: |
| Voodoo |
| A me risulta che ammetta contromodello,cioè che un ramo rimane aperto. Nella tua formula secondo me non hai considerato alla fine sulla destra e quando istanzi la "b" del per ogni,si sviluppa un altro "or",e quindi due rami,uno si chiude regolarmente come hai messo tu,ma l'altro no...sempre secondo me :) |
|
|
|
|
