.dsy:it. - {2003/2004}[diario del corso]Logica

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > {2003/2004}[diario del corso]Logica

Pages (5): « 1 2 [3] 4 5 »

Last Thread Next Thread

Author

Thread Expand all | Contract all

Bulma

.grande:maestro.

User info:

Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Lezione del 27/10

Argomenti trattati nella lezione di oggi:
- Struttura globale del prover:
* regole di riduzione: taut, sub, mmr
* clausole Worked Off e Usable
* clausola data

Avviso: La lezione di mercoledì 29 è sospesa.
Giovedì, in orario di lezione, si terrà un seminario per coloro interessati a seguire il corso di Logica II.

__________________
The man in black fled across the desert and the gunslinger followed.

27-10-2003 14:42

Click here to Send Bulma a Private Message

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 03/11

Argomenti trattati nella lezione di oggi:
- Esempio di un protocollo di sicurezza verificato tramite dimostrazione logica
- Sistemi di riscrittura:
* Problema della parola uniforme
* Teorema
* Proprietà di terminazioe e proprietà di Church-Rosser
* Regola di riscrittura
* TRS

Avviso: La lezione di mercoledì 5 novembre è sospesa.

__________________
The man in black fled across the desert and the gunslinger followed.

03-11-2003 15:30

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 10/11

Argomenti trattati nella lezione di oggi:
- Sistema di riscrittura
- Relazioni di riscrittura (chiusura transitiva ecc.) e teorema
- Congiungibilità
- Proprietà di Church-Rosser
- Terminazione
- Confluenza
- Sistema canonico
- Forma normale
- Confluenza locale e Lemma di Newmann
- Ordine stretto e ordine stretto terminante
- Multiinsiemi
- Ordine di riscrittura e ordine di riduzione

__________________
The man in black fled across the desert and the gunslinger followed.

10-11-2003 15:47

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 12/11

Durante la lezione odierna il prof. Ghilardi ha illustrato il funzionamento di SPASS, tramite alcuni esempi svolti al calcolatore.

Off-Topic:
Miiii come sono professionale!!!

__________________
The man in black fled across the desert and the gunslinger followed.

12-11-2003 14:52

recoil

dsy adminz

User info:

Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

sapete dove andare a prendere degli esercizi tipo quello del lupo mannaro? non ho assolutamente intenzione di prendere il libro ma mi piacerebbe risolvere esercizi di quel tipo piuttosto che esercitarmi con delle formule "crude" come quelle allegate con SPASS

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm

12-11-2003 19:22

Click here to Send recoil a Private Message

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 17/11

Durante la lezione di oggi sono stati trattati i seguenti argomenti:
- Teorema: sistema di riscrittura terminante
- Ordine di riduzione
- Teorema di Kruskal
- Ordinamento LPO
- Ordinamento KBO

__________________
The man in black fled across the desert and the gunslinger followed.

17-11-2003 16:32

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 19/11

Argomenti trattati nella lezione di oggi:
- Coppia critica: definizione e teorema
- La procedura di completamento di Knuth-Bendix

__________________
The man in black fled across the desert and the gunslinger followed.

19-11-2003 16:05

0m4r

.grande:maestro.

User info:

Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Re: Lezione del 19/11

Originally posted by Bulma
- La procedura di completamento di Knuth-Bendix

ecco come si scrive! grazie!

__________________
http://www.twitter.com/0m4r

19-11-2003 22:20

Click here to Send 0m4r a Private Message

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

lezione del 24/11

Argomenti trattati nella lezione di oggi:

- Completamento di Knuth-Bendix-Huet
- Definizione di esecuzione
- Equazioni e regole persistenti
- Equazioni e regole generate
- Fallimento di un'esecuzione
- Esecuzione fair e teorema

__________________
The man in black fled across the desert and the gunslinger followed.

24-11-2003 17:01

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 26/11

Durante la lezione di oggi sono stati svolti alcuni esempi alla lavagna e al calcolatore.

__________________
The man in black fled across the desert and the gunslinger followed.

Last edited by Bulma on 27-11-2003 at 13:12

26-11-2003 16:44

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 3/12

Argomenti trattati nella lezione di oggi:

- Problema della non orientabilità di alcune equazioni
- Definizione di un TRS ordinato
- TRS ground C-R
- Termini ground-congiungibili
- TRS localmente confluente in senso ground
- Coppie critiche estese

__________________
The man in black fled across the desert and the gunslinger followed.

03-12-2003 16:04

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 10/12

Argomenti trattati nella lezione di oggi:

- Vincoli e soluzioni
- Superposition calculus: descrizione delle regole (Superposition Right, Superposition Left, Equality Resolution, Equality Factoring)
- Esempi

__________________
The man in black fled across the desert and the gunslinger followed.

10-12-2003 17:02

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 15/12

Argomenti trattati nella lezione di oggi:

- Clausole ridondanti
- Inferenze ridondanti
- Derivazioni
- Clausole generate e clausole persistenti
- Derivazione fair
- Teorema di completezza
- Tautologia, Sussunzione e Demodulazione

__________________
The man in black fled across the desert and the gunslinger followed.

15-12-2003 13:52

Bulma

.grande:maestro.

Post actions:

Edit | Report | IP: Logged

Lezione del 17/12

Argomenti trattati nella lezione di oggi:

- Selezione dei letterali negativi
- Esempi conclusivi

Ah, dimenticavo di dirvi che questa è stata l'ultima lezione del corso.

__________________
The man in black fled across the desert and the gunslinger followed.

17-12-2003 14:14

holylaw

.grande:maestro.

User info:

Registered: Feb 2003
Posts: 3142 (0.37 al dì)
Location: milano
Corso: Magistrale Informatica
Anno: bella domanda
Time Online: 88 Days, 5:30:09: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

per una serie di quo pro quo non sono riuscito a seguire questo corso, ma dato che non ho voglia e tempo di darlo l'anno prossimo, avevo intenzione di provarci all'appello di giugno-luglio (sperando che ci siano..). Ora:
la presenza e' (era) obbligatoria??
e' fattibile sta cosa secondo voi?? le dispense sono fatte bene, chiare e sufficienti per passare e magari prendere un bel voto?
da quanto ho capito l'esame si svolge con un progetto e uno scritto... il progetto e' fattibile fatto da solamente da uno che non ha mai seguito con solo le dispense??
o e' pura pazzia?

__________________
La mia epoca ed io non siamo fatti l'uno per l'altro:questo è chiaro. Ma è da vedere chi di noi due vincerà il processo di fronte al tribunale dei posteri.
AV MJØDEN VART DU VIS OG KLOK, SÅ DREKKA MER!!!!
Le persone sagge parlano perché hanno qualcosa da dire.
Le persone sciocche perché hanno da dire qualcosa.

12-02-2004 15:09