https://wiki.dsy.it/index.php?action=history&feed=atom&title=Filosofia_del_linguaggio_Turno_1%2F2005-2006Filosofia del linguaggio Turno 1/2005-2006 - Cronologia2026-05-10T00:23:47ZCronologia della pagina su questo sitoMediaWiki 1.31.16https://wiki.dsy.it/index.php?title=Filosofia_del_linguaggio_Turno_1/2005-2006&diff=14616&oldid=prevYoruno il 08:13, 27 lug 20062006-07-27T08:13:26Z<p></p>
<p><b>Nuova pagina</b></p><div>[[Categoria:Corsi 2005-2006]]<br />
<br />
== Informazioni generali ==<br />
<br />
Il corso intende essere una introduzione alla semantica dei linguaggi naturali e si suddivide in due parti, la prima orientata agli strumenti logici, la seconda alle tematiche più squisitamente linguistiche. Il corso non richiede particolari prerequisiti o propedeuticità.<br><br />
<br />
Parte Prima: Elementi essenziali di logica: linguaggi elementari e strutture, calcolo dei tableaux, cenni sulla sintassi del lambda-calcolo.<br> <br />
<br />
Parte Seconda: Introduzione alla semantica modellistica: principio di composizionalità, determinanti, sintagmi nominali, distinzioni di ambito, pronomi, aggettivi e modificatori, pronomi relativi, cenni sui costrutti intensionali.<br />
<br />
=== Docenti === <br />
Silvio Ghilardi, Giulio Pavesi<br />
<br />
=== Avvisi ===<br />
<br />
Il primo compitino si terrà martedì 29 novembre alle ore 10:30 in aula V1.<br />
<br />
=== Orari delle lezioni ===<br />
<br />
Turno 1<br><br />
<br />
Martedì 10:30-12:30 Aula V1 (333 posti, via Venezian 15)<br><br />
Giovedì 08:30-10:30 Aula V1 (333 posti, via Venezian 15) <br />
<br />
Turno 2<br><br />
<br />
Martedì 17:30-19:30 Aula V2 (116 posti, via Venezian 15) <br><br />
Venerdì 17:30-19:30 Aula V2 (116 posti, via Venezian 15)<br><br />
<br />
Non vi è obbligo di frequenza, si può seguire indifferentemente qualsiasi turno.<br />
<br />
=== Orario di ricevimento studenti ===<br />
<br />
Prof. S. Ghilardi: venerdì, h. 11.30, st. P130 <br><br />
dott.ssa A. Bucalo: martedì, h. 11.30<br />
<br />
===Sito del corso ===<br />
<br />
[http://homes.dsi.unimi.it/~bucalo/fdl/ http://homes.dsi.unimi.it/~bucalo/fdl/]<br />
<br />
=== Materiale didattico ===<br />
<br />
Sono disponibili sul sito del corso 2 dispense complete. <br><br />
Saranno inoltre pubblicati dei pacchetti esplicativi, lezione per lezione,ai quali si potrà accedere con una password che vi comunicheremo al più presto.<br />
<br />
=== Modalità d'esame ===<br />
<br />
Vi saranno 2 compitini in itinere relative alle due parti fondamentali del corso. Il primo intorno alla fine di ottobre e il secondo prima delle vacanze natalizie. La prova è sufficiente se entrambe le parti sono valutate con voto maggiore o uguale a 18/30. La votazione finale è data dalla media dei due voti riportati.<br />
<br />
== Diario del corso ==<br />
<br />
=== Lezione di Martedì 4-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LINGUISTICA''':<br />
<br />
- Introduzione<br><br />
- Competenza Linguistica (Sintattica-Semantica-Pragmatica)<br><br />
- Modello del Linguaggio Naturale (regole, simbologia e categorie lessicali)<br />
<br />
=== Lezione di Giovedì 6-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LOGICA''':<br />
<br />
- Logica del primo ordine <br><br />
- Connettivi logici e precedenze <br><br />
- Formule e sottoformule <br><br />
- Gerarchia dei simboli (alberi)<br />
<br />
=== Lezione di Martedì 11-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LINGUISTICA''':<br />
<br />
- Categorie lessicali e derivate <br><br />
- Grammatica libera dal contesto <br><br />
- Ambiguità sintattica e semantica<br />
<br />
=== Lezione di Giovedì 13-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LOGICA''':<br />
<br />
- Tavole di verità <br><br />
- Leggi di De Morgan e di distributività <br><br />
- Tautologie, formule soddisfacibili e contraddizioni<br />
<br />
=== Lezione di Martedì 18-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LINGUISTICA''':<br />
<br />
- Semantica<br><br />
- Funzione caratteristica<br><br />
- Lambda Riduzioni<br />
<br />
=== Lezione di Giovedì 20-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LOGICA''':<br />
<br />
- Modelli<br><br />
- Conseguenze logiche<br><br />
- Equivalenze logiche<br><br />
- Esercizi vari sulle tavole di verità, alberi <br />
<br />
=== Lezione di Martedì 25-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LOGICA''':<br />
<br />
(scambio con il prof ghilardi del giorno di lezione)<br><br><br />
- Sintassi del primo ordine<br><br />
- Insieme dei termini<br><br />
- Formule<br><br />
- Forme normali negative<br />
<br />
=== Lezione di Giovedì 27-10-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LINGUISTICA''':<br />
<br />
- Lambda riduzioni<br><br />
- Esercizi vari sulle lambda riduzioni<br />
<br />
=== Lezione di Giovedì 3-11-05 ===<br />
<br />
'''Argomenti trattati nella lezione di LOGICA''':<br />
<br />
- Interpretazioni<br><br />
- Calcolo delle Interpretazioni</div>Yoruno