[Resoconto] Lezioni A.A. 2004/2005
Clicca QUI per vedere il messaggio nel forum |
| Dodo |
| Qui raccogliamo tutto quello che viene fatto lezione per lezione. |
| Dodo |
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!!! |
| Dodo |
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. |
| luna |
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. |
| Mifune |
[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. |
| luna |
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. |
| luna |
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. |
| luna |
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. |
| luna |
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 ;)) |
| luna |
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. |
|
|
|
