.dsy:it. - [Resoconto] Lezioni A.A. 2004/2005

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Resoconto] Lezioni A.A. 2004/2005 (http://www.dsy.it/forum/showthread.php?threadid=13633)

Posted by Dodo on 29-09-2004 17:46:

[Resoconto] Lezioni 2004/2005

Qui raccogliamo tutto quello che viene fatto lezione per lezione.

Posted by Dodo on 01-10-2004 19:30:

[Lezione 1] Resoconto 29/09/2004

Prof. Ghilardi
Il prof ha dato un po' di informazioni sul corso che potete trovare qua

Il prof nella prima lezione ha fatto un introduzione alla linguistica.

Disponibili gli appunti di Luna, della lezione di oggi APPUNTI!!!

Prof. Bucalo

La prof. ha ripreso alcune nozioni di Insiemistica, introducendo la logica proposizionale

Disponibili gli appunti di Luna, della lezione di oggi APPUNTI!!!

Posted by Dodo on 06-10-2004 16:21:

[Lezione 2] Resoconto 06/10/2004

Prof. Bucalo
Durante la mattina, abbiamo ripreso il concetto di Prodotto Cartesiano. Abbiamo visto inoltre il concetto di Funzione Caratteristica. Poi abbiamo ripreso la Logica dove ha introdotto il linguaggio proposizionale. Ha parlato delle formule atomiche enunciando le loro regole. E infine ha spiegato come ottenere un Albero di formazione delle formule.
Alla fine ha dato alcuni esercizi su come ottenere un albero di formazione, di alcune formule.

Prof. Ghilardi

Il prof Ghilardi invece partendo dalla definizione di "frase" ha introdotto alcune regole sintattiche, introducendo il concetto di grammatica e di produzione della grammatica.

__________________
E' meglio essere ottimisti ed avere torto piuttosto che pessimisti ed avere ragione.

Albert Einstein

Posted by luna on 13-10-2004 17:44:

[Lezione 3] Resoconto 13/10/2004

Prof. Bucalo

La prof ha spiegato le convenzioni sulle notazioni, le sottoformule , la semantica bivalente. Ha inoltre spiegato le tabelle della verita' sui connettivi e ha dato la definizione di interpretazione,tautologia,contraddizione e soddisfacibile.

Prof. Ghilardi

Durante il pomeriggio il prof ha spiegato l'ambiguità sintattica, l'interpretazione semantica e la funzione caratteristica Xs , e le congiunzioni booleane.

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Posted by Mifune on 20-10-2004 14:58:

[Lezione 4] Resoconto 20/10/2004

Prof Bucalo

La prof ha spiegato : tautologia, come si determinano i modelli, il sequente.

Prof Ghilardi

Durante il pomeriggio il prof ha spiegato I sintagmi nominali Determinanti, ,Articolo Determinativi, Determinanti, Regole di traduzione.

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog

Posted by luna on 27-10-2004 12:19:

[Lezione 5] Resoconto 27/10/2004

Oggi c'e' stata solo la lezione al mattino della Prof. Bucalo.

Ha spiegato la nozione di multinsieme, il sistema deduttivo di K con assiomi e regole. Introdotto il concetto di dimostrazione con un esempio riguardante l'argomento.

Posted by luna on 03-11-2004 17:13:

[Lezione 6] Resoconto 03/11/2004

Prof. Bucalo

Stamattina la prof ha fatto alcuni esempi di dimostrazioni, ha spiegato il contromodello e il teorema di validità e completezza.
Abbiamo finito l'argomento sulla logica proposizionale. Infatti oggi ha spiegato il calcolo e il linguaggio del primo ordine e il concetto di arieta'.

Prof. Ghilardi

Nel pomeriggio il prof ha fatto un riassunto della lezione precedente fatta 15 giorni fa ripetendo il principio di lambda conversione,l'analisi semantica e il sintagma nominale.
Abbiamo fatto molti esercizi utilizzando la lambda conversione nel caso del verbo transitivo con due sintagmi nominali.

Posted by luna on 10-11-2004 11:12:

[Lezione 7] Resoconto 10/11/2004

Oggi c'e' stata solo lezione della prof Bucalo. La lezione del prof Ghilardi verra' recuperata piu' avanti

Gli argomenti visti a lezione:

Ha fatto un breve ripasso sui linguaggi elementari (del primo ordine). Ha spiegato i termini,le formule, la formula atomica, le sottoformule e la variabile vincolata.
Abbiamo anche visto le regole per i quantificatori che applicheremo nei vari esercizi.

Posted by luna on 17-11-2004 17:15:

[Lezione 8] Resoconto 17/11/2004

Prof. Bucalo

Oggi abbiamo fatto qualche esercizio applicando le regole dei quantificatori. Delle dispense abbiamo svolto l'esercizio 1 a pagina 38 e l'esercizio 39 a pagina 40.

Prof. Ghilardi

E' stato introdotto e spiegato il concetto di albero sollevato, svolgendo un pò di esercizi sull'argomento. Abbiamo anche fatto le regole di formazione della grammatica logica e le regole ricorsive facendo anche un esercizio. E' stato assegnato un esercizio per casa.
Pubblico in questo thread il testo (e' un esercizio dato in un tema d'esame , puo' essere molto utile )

Posted by luna on 24-11-2004 19:36:

[Lezione 9] Resoconto 24/11/2004

Prof Bucalo

Oggi abbiamo svolto esercizi con le regole dei quantificatori. Abbiamo anche visto l'utilizzo del contromodello nel caso in cui il sequente non sia dimostrabile.

Prof Ghilardi

Abbiamo svolto l'esercizio assegnato l'altra volta per casa,che era un vecchio tema d'esame. Il prof ha anche spiegato il pronome anaforico e non anaforico,con relativo esempio.
Oggi ha preso le firme!
Ci sara' un'altra possibilita' per chi era assente oggi di potersi iscrivere ai compitini tramite firme.

All times are GMT. The time now is 13:19.

Show all 10 posts from this thread on one page